Query Answering for OWL-DL with Rules.
Both OWL-DL and function-free Horn rules1 are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rules, but provides both existentially and universally quantified variables and full, monotonie negation. From the descripti...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Journal article |
| Language: | English |
| Published: |
Springer
2004
|
| _version_ | 1797062202349322240 |
|---|---|
| author | Motik, B Sattler, U Studer, R |
| author2 | McIlraith, SA |
| author_facet | McIlraith, SA Motik, B Sattler, U Studer, R |
| author_sort | Motik, B |
| collection | OXFORD |
| description | Both OWL-DL and function-free Horn rules1 are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rules, but provides both existentially and universally quantified variables and full, monotonie negation. From the description logic perspective, rules are restricted to universal quantification, but allow for the interaction of variables in arbitrary ways. Clearly, a combination of OWL-DL and rules is desirable for building Semantic Web ontologies, and several such combinations have already been discussed. However, such a combination might easily lead to the undecidability of interesting reasoning problems. Here, we present a decidable such combination which is, to the best of our knowledge, more general than similar decidable combinations proposed so far. Decidability is obtained by restricting rules to so-called DL-safe ones, requiring each variable in a rule to occur in a non-DL-atom in the rule body. We show that query answering in such a combined logic is decidable, and we discuss its expressive power by means of a non-trivial example. Finally, we present an algorithm for query answering in SHIQ(D) extended with DL-safe rules based on the reduction to disjunctive datalog. © Springer-Verlag 2004. |
| first_indexed | 2024-03-06T20:42:08Z |
| format | Journal article |
| id | oxford-uuid:34a309bf-66b7-4955-a8df-bae8d919207d |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T20:42:08Z |
| publishDate | 2004 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:34a309bf-66b7-4955-a8df-bae8d919207d2022-03-26T13:27:11ZQuery Answering for OWL-DL with Rules.Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:34a309bf-66b7-4955-a8df-bae8d919207dEnglishSymplectic Elements at OxfordSpringer2004Motik, BSattler, UStuder, RMcIlraith, SAPlexousakis, DHarmelen, FBoth OWL-DL and function-free Horn rules1 are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rules, but provides both existentially and universally quantified variables and full, monotonie negation. From the description logic perspective, rules are restricted to universal quantification, but allow for the interaction of variables in arbitrary ways. Clearly, a combination of OWL-DL and rules is desirable for building Semantic Web ontologies, and several such combinations have already been discussed. However, such a combination might easily lead to the undecidability of interesting reasoning problems. Here, we present a decidable such combination which is, to the best of our knowledge, more general than similar decidable combinations proposed so far. Decidability is obtained by restricting rules to so-called DL-safe ones, requiring each variable in a rule to occur in a non-DL-atom in the rule body. We show that query answering in such a combined logic is decidable, and we discuss its expressive power by means of a non-trivial example. Finally, we present an algorithm for query answering in SHIQ(D) extended with DL-safe rules based on the reduction to disjunctive datalog. © Springer-Verlag 2004. |
| spellingShingle | Motik, B Sattler, U Studer, R Query Answering for OWL-DL with Rules. |
| title | Query Answering for OWL-DL with Rules. |
| title_full | Query Answering for OWL-DL with Rules. |
| title_fullStr | Query Answering for OWL-DL with Rules. |
| title_full_unstemmed | Query Answering for OWL-DL with Rules. |
| title_short | Query Answering for OWL-DL with Rules. |
| title_sort | query answering for owl dl with rules |
| work_keys_str_mv | AT motikb queryansweringforowldlwithrules AT sattleru queryansweringforowldlwithrules AT studerr queryansweringforowldlwithrules |