Structured objects in owl: representation and reasoning.
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 conn...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Journal article |
| Language: | English |
| Published: |
ACM
2008
|
| _version_ | 1797063464604139520 |
|---|---|
| author | Motik, B Grau, B Sattler, U |
| author2 | Huai, J |
| author_facet | Huai, J Motik, B Grau, B Sattler, U |
| author_sort | Motik, B |
| collection | OXFORD |
| description | 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. An 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 allow 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 an 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 have extracted description graphs from the GALEN and FMA ontologies, classified them successfully, and even detected a modeling error in GALEN. |
| first_indexed | 2024-03-06T21:00:14Z |
| format | Journal article |
| id | oxford-uuid:3aa2c8a2-e9c7-4c3d-86d7-b11dd86a5e95 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T21:00:14Z |
| publishDate | 2008 |
| publisher | ACM |
| record_format | dspace |
| spelling | oxford-uuid:3aa2c8a2-e9c7-4c3d-86d7-b11dd86a5e952022-03-26T14:02:48ZStructured objects in owl: representation and reasoning.Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:3aa2c8a2-e9c7-4c3d-86d7-b11dd86a5e95EnglishSymplectic Elements at OxfordACM2008Motik, BGrau, BSattler, UHuai, JChen, RHon, HLiu, YMa, WTomkins, AZhang, XApplications 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. An 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 allow 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 an 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 have extracted description graphs from the GALEN and FMA ontologies, classified them successfully, and even detected a modeling error in GALEN. |
| spellingShingle | Motik, B Grau, B Sattler, U Structured objects in owl: representation and reasoning. |
| title | Structured objects in owl: representation and reasoning. |
| title_full | Structured objects in owl: representation and reasoning. |
| title_fullStr | Structured objects in owl: representation and reasoning. |
| title_full_unstemmed | Structured objects in owl: representation and reasoning. |
| title_short | Structured objects in owl: representation and reasoning. |
| title_sort | structured objects in owl representation and reasoning |
| work_keys_str_mv | AT motikb structuredobjectsinowlrepresentationandreasoning AT graub structuredobjectsinowlrepresentationandreasoning AT sattleru structuredobjectsinowlrepresentationandreasoning |