Techreport2000: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
| Zeile 1: | Zeile 1: | ||
| + | {{Publikation Author | ||
| + | |Rank=2 | ||
| + | |Author=Sebastian Rudolph | ||
| + | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=1 | |Rank=1 | ||
|Author=Birte Glimm | |Author=Birte Glimm | ||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{Techreport | {{Techreport | ||
| Zeile 16: | Zeile 16: | ||
|Abstract=Description Logics are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C standards OWL Lite and OWL DL, and the upcoming standard OWL 2. Conjunctive queries, the standard query language in databases, have recently gained significant attention as an expressive query language for Description Logic knowledge bases. Several different techniques for deciding conjunctive query entailment are available for a wide range of DLs. Nevertheless, only for the DL that underpins OWL Lite, decidability of conjunctive query entailment is known. So far, the combination of nominals, inverse roles, and number restrictions in OWL DL and OWL 2 caused unsolvable problems for the available techniques. We tackle this problem and present a decidability result for entailment of unions of conjunctive queries in the DL ALCHOIQb that contains the all three problematic constructors simultaneously. Provided that queries contain only simple roles, our result also shows decidability of entailment of (unions of) conjunctive queries in the logic that underpins OWL DL and we believe that the presented results will pave the way for further progress towards conjunctive query entailment decision procedures for the Description Logics underlying the OWL standards. | |Abstract=Description Logics are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C standards OWL Lite and OWL DL, and the upcoming standard OWL 2. Conjunctive queries, the standard query language in databases, have recently gained significant attention as an expressive query language for Description Logic knowledge bases. Several different techniques for deciding conjunctive query entailment are available for a wide range of DLs. Nevertheless, only for the DL that underpins OWL Lite, decidability of conjunctive query entailment is known. So far, the combination of nominals, inverse roles, and number restrictions in OWL DL and OWL 2 caused unsolvable problems for the available techniques. We tackle this problem and present a decidability result for entailment of unions of conjunctive queries in the DL ALCHOIQb that contains the all three problematic constructors simultaneously. Provided that queries contain only simple roles, our result also shows decidability of entailment of (unions of) conjunctive queries in the logic that underpins OWL DL and we believe that the presented results will pave the way for further progress towards conjunctive query entailment decision procedures for the Description Logics underlying the OWL standards. | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
| − | |Download= | + | |Download=2009_2000_Glimm_Nominals_Inver_1.pdf, 2009_2000_Glimm_Nominals_Inver_2.pdf |
|DOI Name= | |DOI Name= | ||
| − | |||
|Projekt=ReaSem, | |Projekt=ReaSem, | ||
|Forschungsgruppe= | |Forschungsgruppe= | ||
| + | }} | ||
| + | {{Forschungsgebiet Auswahl | ||
| + | |Forschungsgebiet=Theoretische Informatik | ||
| + | }} | ||
| + | {{Forschungsgebiet Auswahl | ||
| + | |Forschungsgebiet=Modelltheorie | ||
| + | }} | ||
| + | {{Forschungsgebiet Auswahl | ||
| + | |Forschungsgebiet=Logik | ||
| + | }} | ||
| + | {{Forschungsgebiet Auswahl | ||
| + | |Forschungsgebiet=Beschreibungslogik | ||
| + | }} | ||
| + | {{Forschungsgebiet Auswahl | ||
| + | |Forschungsgebiet=Semantic Web | ||
}} | }} | ||
Version vom 15. August 2009, 16:24 Uhr
Published: 2009
Institution: Oxford University
Archivierungsnummer:2000
Kurzfassung
Description Logics are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C standards OWL Lite and OWL DL, and the upcoming standard OWL 2. Conjunctive queries, the standard query language in databases, have recently gained significant attention as an expressive query language for Description Logic knowledge bases. Several different techniques for deciding conjunctive query entailment are available for a wide range of DLs. Nevertheless, only for the DL that underpins OWL Lite, decidability of conjunctive query entailment is known. So far, the combination of nominals, inverse roles, and number restrictions in OWL DL and OWL 2 caused unsolvable problems for the available techniques. We tackle this problem and present a decidability result for entailment of unions of conjunctive queries in the DL ALCHOIQb that contains the all three problematic constructors simultaneously. Provided that queries contain only simple roles, our result also shows decidability of entailment of (unions of) conjunctive queries in the logic that underpins OWL DL and we believe that the presented results will pave the way for further progress towards conjunctive query entailment decision procedures for the Description Logics underlying the OWL standards.
Download: Media:2009_2000_Glimm_Nominals_Inver_1.pdf,Media:2009_2000_Glimm_Nominals_Inver_2.pdf
Beschreibungslogik, Modelltheorie, Logik, Theoretische Informatik, Semantic Web