Abstract
Description Logics are used more and more frequently for knowledge representation, creating an increasing demand for efficient automated DL reasoning. However, the existing implementations are inefficient in the presence of large amounts of data. We present an algorithm to transform DL axioms to a set of function-free clauses of first-order logic which can be used for efficient, query oriented data reasoning. The described method has been implemented in a module of the DLog reasoner openly available on SourceForge to download.
Chapter PDF
Similar content being viewed by others
References
Bachmair, L., Ganzinger, H.: Strict basic superposition. Lecture Notes in Computer Science 1421,160-174 (1998). URL citeseer.ist.psu.edu/bachmair98strict.html
Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Handbook of Automated Reasoning, pp. 19-99 (2001). URL citeseer.ist.psu.edu/bachmair01resolution.html
Horrocks, I.: Reasoning with expressive description logics: Theory and practice. In: Proc. of the 18th Int. Conf. on Automated Deduction (CADE 2002), 2392, pp. 1-15. Springer (2002)
Horrocks, I., Kutz, O., Sattler, U.: The Even More Irresistible SROIQ. In: P. Doherty, J. Mylopoulos, C.A. Welty (eds.) KR, pp. 57-67. AAAI Press (2006). URL http://dblp.unitrier.de/db/conf/kr/kr2006.html#HorrocksKS06
Luk ácsy, G., Szeredi, P.: Efficient description logic reasoning in Prolog: the DLog system. Tech. rep., Budapest University of Technology and Economics (2008). URL http://sintagma.szit.bme.hu/lukacsy/publikaciok/dlog tplp submission.pdf. Submitted to Theory and Practice of Logic Programming
Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. Ph.D. thesis, Univesit ät Karlsruhe (TH), Karlsruhe, Germany (2006)
Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12(1), 23-41 (1965). DOI http://doi.acm.org/10.1145/321250.321253
Stickel, M.E.: A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. Theor. Comput. Sci. 104(1), 109-128 (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 International Federation for Information Processing
About this paper
Cite this paper
Zombori, Z. (2008). Efficient Two-Phase Data Reasoning for Description Logics. In: Bramer, M. (eds) Artificial Intelligence in Theory and Practice II. IFIP AI 2008. IFIP – The International Federation for Information Processing, vol 276. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-09695-7_38
Download citation
DOI: https://doi.org/10.1007/978-0-387-09695-7_38
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-09694-0
Online ISBN: 978-0-387-09695-7
eBook Packages: Computer ScienceComputer Science (R0)