Inproceedings1656: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
K (Added from ontology)
K (Wikipedia python library)
Zeile 31: Zeile 31:
|DOI Name=
|DOI Name=
|Projekt=ReaSem, NeOn, Active,  
|Projekt=ReaSem, NeOn, Active,  
{{Forschungsgebiet Auswahl
{{Forschungsgebiet Auswahl

Aktuelle Version vom 16. Oktober 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


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: LinkLink






Wissensrepräsentation, Beschreibungslogik, Modelltheorie, Logik, Künstliche Intelligenz, Semantic Web