Terminological reasoning in SHIQ with ordered binary decision diagrams

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2008, Pages 529-534

  Rudolph, Sebastian ^a   Krötzsch, Markus ^a   Hitzler, Pascal ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; BIONICS; DATA DESCRIPTION; DATA STRUCTURES; FILE ORGANIZATION; ONTOLOGY;

DESCRIPTION LOGICS; MODEL REPRESENTATIONS; NEW ALGORITHMS; ORDERED BINARY DECISION DIAGRAMS; WEB ONTOLOGY LANGUAGE OWLS;

BINARY DECISION DIAGRAMS;

EID: 57349089749     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P., eds. 2007. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press.
2. Blackburn, P.; de Rijke, M.; and Venema, Y. 2001. Modal Logic. Cambridge University Press.
3. Bryant, R. E. 1986. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers 35(8):677-691.
4. 20 states and beyond. In Proc. 5th Annual IEEE Symposium on Logic in Computer Science, 1-33. Washington, D.C.: IEEE Computer Society Press.
5. Huth, M. R. A., and Ryan, M. D. 2000. Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press.
6. Motik, B. 2006. Reasoning in Description Logics using Resolution and Deductive Databases. Ph.D. Dissertation, Universitat Karlsruhe (TH), Germany.
7. Pan, G.; Sattler, U.; and Vardi, M. Y. 2006. BDD-based decision procedures for the modal logic K. Journal of Applied Non-Classical Logics 16(1-2): 169-208.
8. Pratt, V. R. 1979. Models of program logics. In Proc. 20th Annual Symposium on Foundations of Computer Science.
9. Rudolph, S.; Krötzsch, M.; and Hitzler, P. 2008. OBDD-based Tbox reasoning in SHIQ. Technical report, Universität Karlsruhe.
10. Schild, K. 1991. A correspondence theory for terminological logics: Preliminary report. In Proc. 12th Int. Joint Conf. on Artificial Intelligence (IJCAI-91), 466-471.
11. Tobies, S. 2001. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. Ph.D. Dissertation, RWTH Aachen, Germany.