• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations

DMCA

Structured Objects in OWL: Representation and Reasoning (2008)

Cached

  • Download as a PDF

Download Links

  • [web.comlab.ox.ac.uk]
  • [www.cs.man.ac.uk]
  • [www.cs.ox.ac.uk]
  • [hermit-reasoner.com]
  • [www.hermit-reasoner.com]
  • [www.cs.man.ac.uk]
  • [web.comlab.ox.ac.uk]
  • [www.cs.ox.ac.uk]
  • [www2008.org]
  • [www.ra.ethz.ch]
  • [www.cs.ox.ac.uk]
  • [hermit-reasoner.com]
  • [www.hermit-reasoner.com]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Boris Motik , Bernardo Cuenca Grau , Ulrike Sattler
Citations:20 - 5 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Motik08structuredobjects,
    author = {Boris Motik and Bernardo Cuenca Grau and Ulrike Sattler},
    title = {Structured Objects in OWL: Representation and Reasoning},
    year = {2008}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

Applications of semantic technologies often require the representation of and reasoning with structured objects—that is, objects composed of parts connected in complex ways. Although OWL is a general and powerful language, its class descriptions and axioms cannot be used to describe arbitrarily connected structures. OWL representation of structured objects can thus be underconstrained, which reduces the inferences that can be drawn and causes performance problems in reasoning. To address these problems, we extend OWL with description graphs, which provide for the description of structured objects in a simple and precise way. To represent conditional aspects of the domain, we also allow for SWRL-like rules over description graphs. Based on a novel observation about the nature of structured objects, we ensure decidability of our formalism. We also present a hypertableau-based decision procedure, which we implemented in the HermiT reasoner. To evaluate its performance, we extracted description graphs from the GALEN and FMA ontologies, classified them successfully, and even detected a modeling error in GALEN. 1

Keyphrases

structured object    description graph    novel observation    conditional aspect    hermit reasoner    semantic technology    complex way    powerful language    modeling error    swrl-like rule    fma ontology    class description    performance problem    precise way    hypertableau-based decision procedure    owl representation   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University