Stage-oe-small.jpg

Inproceedings2008: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
K (Added from ontology)
 
(8 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
{{Publikation Author
+
{{Publikation Erster Autor
|Rank=1
+
|ErsterAutorNachname=Glimm
|Author=Birte Glimm
+
|ErsterAutorVorname=Birte
 
}}
 
}}
 
{{Publikation Author
 
{{Publikation Author
Zeile 13: Zeile 13:
 
|Month=Juli
 
|Month=Juli
 
|Booktitle=Proceedings of the DL Workshop 2009, Oxford, UK
 
|Booktitle=Proceedings of the DL Workshop 2009, Oxford, UK
|Editor=Ian Horrocks, Bernardo Cuenca-Grau, Boris Motik
 
 
|Publisher=CEUR Workshop Proceedings
 
|Publisher=CEUR Workshop Proceedings
 +
|Editor=Bernardo Cuenca-Grau, Ian Horrocks, Boris Motik, Ulrike Sattler
 +
|Volume=477
 
}}
 
}}
 
{{Publikation Details
 
{{Publikation Details
 
|Abstract=In this paper, we present a decidability result for entailment of conjunctive queries (CQs) in the very expressive Description Logic (DL) ALCHOIQb by establishing nite representability of countermodels in case the query given as input is not entailed. Our results also generalize to unions of conjunctive queries, and to SHOIQ and SROIQ provided the query contains only simple roles.
 
|Abstract=In this paper, we present a decidability result for entailment of conjunctive queries (CQs) in the very expressive Description Logic (DL) ALCHOIQb by establishing nite representability of countermodels in case the query given as input is not entailed. Our results also generalize to unions of conjunctive queries, and to SHOIQ and SROIQ provided the query contains only simple roles.
|VG Wort-Seiten=
+
|Download=http://ceur-ws.org/Vol-477/paper_6.pdf
|DOI Name=
+
|Link=http://ceur-ws.org/Vol-477/paper_6.pdf
|Projekt=ReaSem,
+
|Projekt=ReaSem
|Forschungsgruppe=
+
|Forschungsgruppe=Wissensmanagement
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentationssprachen
+
|Forschungsgebiet=Logik
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Theoretische Informatik
+
|Forschungsgebiet=Entscheidbarketisprobleme
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Logik
+
|Forschungsgebiet=Wissensrepräsentationssprachen
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
Zeile 42: Zeile 43:
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Entscheidbarketisprobleme
+
|Forschungsgebiet=Theoretische Informatik
 
}}
 
}}

Aktuelle Version vom 28. Februar 2010, 16:17 Uhr


Conjunctive Query Entailment: Decidable in Spite of O, I, and Q


Conjunctive Query Entailment: Decidable in Spite of O, I, and Q



Published: 2009 Juli
Herausgeber: Bernardo Cuenca-Grau, Ian Horrocks, Boris Motik, Ulrike Sattler
Buchtitel: Proceedings of the DL Workshop 2009, Oxford, UK
Ausgabe: 477
Verlag: CEUR Workshop Proceedings

Referierte Veröffentlichung

BibTeX

Kurzfassung
In this paper, we present a decidability result for entailment of conjunctive queries (CQs) in the very expressive Description Logic (DL) ALCHOIQb by establishing nite representability of countermodels in case the query given as input is not entailed. Our results also generalize to unions of conjunctive queries, and to SHOIQ and SROIQ provided the query contains only simple roles.

Download: Media:http://ceur-ws.org/Vol-477/paper_6.pdf
Weitere Informationen unter: Link

Projekt

ReaSem



Forschungsgruppe

Wissensmanagement


Forschungsgebiet

Wissensrepräsentation, Wissensrepräsentationssprachen, Beschreibungslogik, Entscheidbarketisprobleme, Modelltheorie, Logik, Theoretische Informatik