Inproceedings1656: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 1: | Zeile 1: | ||
+ | {{Publikation Author | ||
+ | |Rank=1 | ||
+ | |Author=Sebastian Rudolph | ||
+ | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=2 | |Rank=2 | ||
Zeile 6: | Zeile 10: | ||
|Rank=3 | |Rank=3 | ||
|Author=Pascal Hitzler | |Author=Pascal Hitzler | ||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
Zeile 30: | Zeile 30: | ||
|Link=http://korrekt.org/page/Terminological_Reasoning_in_SHIQ_with_OBDDs, http://www.aifb.uni-karlsruhe.de/Publikationen/showPublikation?publ_id=1751 | |Link=http://korrekt.org/page/Terminological_Reasoning_in_SHIQ_with_OBDDs, http://www.aifb.uni-karlsruhe.de/Publikationen/showPublikation?publ_id=1751 | ||
|DOI Name= | |DOI Name= | ||
− | |Projekt= | + | |Projekt=Active, NeOn, ReaSem, |
|Forschungsgruppe= | |Forschungsgruppe= | ||
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Modelltheorie | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
Zeile 40: | Zeile 43: | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Beschreibungslogik |
− | |||
− | |||
− | |||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
Zeile 49: | Zeile 49: | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Logik |
}} | }} |
Version vom 15. August 2009, 23:01 Uhr
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
Published: 2008
Juli
Herausgeber: Dieter Fox and Carla P. Gomes
Buchtitel: Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08)
Seiten: 529-534
Verlag: AAAI Press
Erscheinungsort: Chicago, Illinois, USA
Referierte Veröffentlichung
BibTeX
Kurzfassung
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered binary decision diagrams (OBDDs) as a datastructure for storing and operating on large model representations. We thus draw on the success and the proven scalability of OBDD-based systems. To the best of our knowledge, we present the very first algorithm for using OBDDs for reasoning with general TBoxes.
ISBN: 978-1-57735-368-3
Download: Media:2008_1656_Rudolph_Terminological__1.pdf
Weitere Informationen unter: Link, Link
Wissensrepräsentation, Beschreibungslogik, Modelltheorie, Logik, Künstliche Intelligenz, Semantic Web