Inproceedings1482: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 34: | Zeile 34: | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Komplexitätstheorie |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Theoretische Informatik |
}} | }} |
Version vom 15. August 2009, 22:51 Uhr
Complexity Boundaries for Horn Description Logics
Complexity Boundaries for Horn Description Logics
Published: 2007
Buchtitel: Proceedings of the 22nd AAAI Conference on Artficial Intelligence
Seiten: 452--457
Verlag: AAAI Press
Erscheinungsort: Vancouver, British Columbia, Canada
Referierte Veröffentlichung
BibTeX
Kurzfassung
Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i.e. combined) complexities, which makes them attractive for reasoning with large ABoxes. However, the natural question whether Horn-DLs also provide advantages for TBox reasoning has hardly been addressed so far. In this paper, we therefore provide a thorough and comprehensive analysis of the combined complexities of Horn-DLs. While the combined complexity for many Horn-DLs turns out to be the same as for their non-Horn counterparts, we identify subboolean DLs where Hornness simplifies reasoning.
Download: Media:2007_1482_Krötzsch_Complexity_Boun_1.pdf,Media:2007_1482_Krötzsch_Complexity_Boun_2.pdf
Weitere Informationen unter: Link
Komplexitätstheorie, Logik, Theoretische Informatik