Differences

This shows you the differences between two versions of the page.

Link to this comparison view

paper_aaai2008 [2010/06/22 22:15] (current)
Line 1: Line 1:
 +<​html>​
 +<span style="​font-size:​ 150%; font-family:​ Georgia, Times, serif; ">​Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams</​span>​
 +<br />
 +<br />
  
 +<span style="​font-size:​ 90%; ">​In <​i>​Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08).</​i>​ AAAI Press, July 2008. </​span>​
 +</​html>​
 +
 +[[http://​www.aifb.uni-karlsruhe.de/​WBS/​sru/​TR-rudolph-OBDD4SHIQ.pdf|download technical report (PDF)]]
 +
 +======Abstract======
 +
 +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.
 +
 +======Poster======
 +
 +{{obddposterweb850.jpg}}
paper_aaai2008.txt ยท Last modified: 2010/06/22 22:15 (external edit)