Inproceedings1482: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Markus Krötzsch (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „|Forschungsgruppe=Computational Logic, Knowledge Systems“ durch „|Forschungsgruppe=Computational Logic, Wissensbasierte Systeme“) |
||
| Zeile 18: | Zeile 18: | ||
|Abstract=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. | |Abstract=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=KroetzschRudolphHitzler HornTR2007.pdf | |Download=KroetzschRudolphHitzler HornTR2007.pdf | ||
|Forschungsgruppe=Computational Logic, | |Forschungsgruppe=Computational Logic, Wissensbasierte Systeme | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
}} | }} | ||
Aktuelle Version vom 24. Mai 2016, 18:16 Uhr
Complexity Boundaries for Horn Description Logics
Markus KrötzschMarkus Krötzsch, Sebastian RudolphSebastian Rudolph, Pascal HitzlerPascal Hitzler
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity Boundaries for Horn Description Logics
Proceedings of the 22nd AAAI Conference on Artficial Intelligence, 452--457, 2007. AAAI Press
Complexity Boundaries for Horn Description Logics
Proceedings of the 22nd AAAI Conference on Artficial Intelligence, 452--457, 2007. AAAI Press
- KurzfassungAbstract
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. - Bemerkung: Note: A significantly improved and extended version of this work is Complexities of Horn Description Logics .
- Forschungsgruppe:Research Group: Computational LogicComputational Logic, Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{KRH2007,
author = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph and Pascal Hitzler},
title = {Complexity Boundaries for Horn Description Logics},
booktitle = {Proceedings of the 22nd {AAAI} Conference on Artficial
Intelligence},
publisher = {AAAI Press},
year = {2007},
pages = {452--457}
}
