Abstract
In this paper we propose a framework for reasoning on OWL 2 ontologies with rules using metalogic. Our meta-logical system consists of meta-programs expressing OWL 2 ontologies and rules at the meta-level, and an inference engine in a form of meta-interpreters defined by a demo(.) predicate. The framework reasons with ontologies and rules in OWL 2 by first an ontology and rules being translated into meta-statements, and these meta-statements then being reasoned by the meta-interpreter, which provides a query answering mechanism to infer information. A comparative study of related works has revealed a merit of the meta-logical representation approach that separates the meta level knowledge from the object level one.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Horrocks I, Patel-Schneider PF (2004) A proposal for an OWL rules language. In: Proceedings of the 13th international conference on the WWW, ACM
Motik B, Sattler U, Studer R (2005) Query answering for OWL-DL with rules. J Web Semant Sci Serv Agents World Wide Web 41–60
Grosof BN, Horrocks I, Volz R, Decker S (2003) Description Logic Programs: combining logic programs with Description Logic. In: Proceedings of the 12th international conference on the WWW, ACM, pp 48–57
Horrocks I, Kutz O, Sattler U (2006) The even more irresistible \( \mathcal{S\cal R\cal O\cal I\cal Q} \). In: Proceedings of the 10th international conference on principles of knowledge representation and reasoning. AAAI Press, pp 57–67
Hirankitti V, Mai TX (2010) A Meta-logical approach for reasoning with an OWL 2 ontology. In: Proceedings of the 2010 IEEE international conference on computer sciences: research, innovation & vision for the future, Vietnam, pp 35–40
Hirankitti V, Mai TX (2011) A meta-logical approach for reasoning with ontologies and rules in OWL 2. In: Proceedings of the world congress on engineering 2011, WCE 2011. Lecture notes in engineering and computer science. 6–8 July, 2011, London, UK, pp 960–965
Donini FM, Lenzerini M, Schaerf A (1998) \( \mathcal{AL} \)-log: integrating Datalog and Description Logics. J Intell Inform Syst 10:227–252
Levy AY, Rousset M (1998) Combining Horn rules and Description Logics in CARIN. Artif Intell 165–209
Eiter T, Lukasiewicz T, Schindlauer R, Tompits H (2004) Combining answer set programming with Description Logics for the semantic web. In: Proceedings of the ninth international conference of principles of knowledge representation and reasoning (KR2004), pp 141–151
Gasse F, Sattler U, Haarslev V (2008) Rewriting rules into \( \mathcal{S\cal R\cal O\cal I\cal Q} \) axioms. Poster at 21st international workshop on DLs
Patel-Schneider PF, Hayes P, Horrocks I (2004) OWL Web Ontology Language: semantics and abstract syntax, W3C recommendation, http://www.w3.org/TR/owl-semantics/
Kowalski RA, Kim JS (1991) A metalogic programming approach to multi-agent knowledge and belief. In: AI and mathematical theory of computation, pp 231–246
The family ontology http://www.owldl.com/ontologies/family.owl
Acknowledgment
We gracefully acknowledge the financial support for this research from the Japan International Corporation Agency (JICA) under the AUN/SEED-Net Program.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Hirankitti, V., Mai, T.X. (2013). Reasoning on OWL2 Ontologies with Rules Using Metalogic. In: Ao, SI., Gelman, L. (eds) Electrical Engineering and Intelligent Systems. Lecture Notes in Electrical Engineering, vol 130. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-2317-1_8
Download citation
DOI: https://doi.org/10.1007/978-1-4614-2317-1_8
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-2316-4
Online ISBN: 978-1-4614-2317-1
eBook Packages: EngineeringEngineering (R0)