Combining Description Logics, Description Graphs, and Rules.
Recent practical experience with description logics (DLs) has revealed that their expressivity is often insufficient to accurately describe structured objects-objects whose parts are interconnected in arbitrary, rather than tree-like ways. To address this problem, we propose an extension of DL langu...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Journal article |
| Language: | English |
| Published: |
Springer
2010
|
| _version_ | 1797072535201775616 |
|---|---|
| author | Motik, B |
| author2 | Croitoru, M |
| author_facet | Croitoru, M Motik, B |
| author_sort | Motik, B |
| collection | OXFORD |
| description | Recent practical experience with description logics (DLs) has revealed that their expressivity is often insufficient to accurately describe structured objects-objects whose parts are interconnected in arbitrary, rather than tree-like ways. To address this problem, we propose an extension of DL languages with description graphs-a modeling construct that can accurately describe objects whose parts are connected in arbitrary ways. Furthermore, to enable modeling the conditional aspects of structured objects, we also incorporate rules into our formalism. We present an in-depth study of the computational properties of such a formalism. In particular, we first identify the sources of undecidability of the general, unrestricted formalism, and then present a restriction that makes reasoning decidable. Finally, we present tight complexity bounds. © 2009 Springer Berlin Heidelberg. |
| first_indexed | 2024-03-06T23:09:06Z |
| format | Journal article |
| id | oxford-uuid:64dbc57c-d8b5-405e-9390-573e7c58d7a1 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T23:09:06Z |
| publishDate | 2010 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:64dbc57c-d8b5-405e-9390-573e7c58d7a12022-03-26T18:21:37ZCombining Description Logics, Description Graphs, and Rules.Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:64dbc57c-d8b5-405e-9390-573e7c58d7a1EnglishSymplectic Elements at OxfordSpringer2010Motik, BCroitoru, MFerré, SLukose, DRecent practical experience with description logics (DLs) has revealed that their expressivity is often insufficient to accurately describe structured objects-objects whose parts are interconnected in arbitrary, rather than tree-like ways. To address this problem, we propose an extension of DL languages with description graphs-a modeling construct that can accurately describe objects whose parts are connected in arbitrary ways. Furthermore, to enable modeling the conditional aspects of structured objects, we also incorporate rules into our formalism. We present an in-depth study of the computational properties of such a formalism. In particular, we first identify the sources of undecidability of the general, unrestricted formalism, and then present a restriction that makes reasoning decidable. Finally, we present tight complexity bounds. © 2009 Springer Berlin Heidelberg. |
| spellingShingle | Motik, B Combining Description Logics, Description Graphs, and Rules. |
| title | Combining Description Logics, Description Graphs, and Rules. |
| title_full | Combining Description Logics, Description Graphs, and Rules. |
| title_fullStr | Combining Description Logics, Description Graphs, and Rules. |
| title_full_unstemmed | Combining Description Logics, Description Graphs, and Rules. |
| title_short | Combining Description Logics, Description Graphs, and Rules. |
| title_sort | combining description logics description graphs and rules |
| work_keys_str_mv | AT motikb combiningdescriptionlogicsdescriptiongraphsandrules |