Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/www2008/paper/424> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- 424 creator bernardo-cuenca-grau.
- 424 creator boris-motik.
- 424 creator ulrike-sattler.
- 424 type InProceedings.
- 424 label "Structured Objects in OWL: Representation and Reasoning".
- 424 sameAs 424.
- 424 abstract "Applications of semantic technologies often require the representation of and reasoning with structured objects---objects composed of many parts connected in complex ways. Although OWL is a general language, its class descriptions and axioms cannot be used to describe arbitrarily connected structures. OWL ontologies of structured objects can thus be underconstrained, which reduces the inferences that can be drawn and causes performance problems in reasoning. Therefore, we extend OWL with description graphs, which allow modelers to describe structured objects in a simple and more 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 many structured objects, we ensure decidability of our formalism. We also present a hypertableau-based decision procedure, which we implemented in the HermiT reasoner. We extracted description graphs from the well-known biomedical ontologies GALEN and FMA, classified them successfully, and even detected a modeling error in GALEN.".
- 424 hasAuthorList authorList.
- 424 hasTopic World_Wide_Web.
- 424 isPartOf proceedings.
- 424 keyword "OWL".
- 424 keyword "modeling complex structures".
- 424 keyword "reasoning".
- 424 keyword "rules".
- 424 title "Structured Objects in OWL: Representation and Reasoning".