Loading...
A meta-logical approach for reasoning with ontologies and rules in OWL 2
Author(s)
Xuan, Trang Mai
Date Issued
November 14, 2011
Type
Conference Paper
Abstract
OWL became a de facto language for representing Semantic Web ontologies. Having been improved and extended with rules, the language was later updated to OWL 2. In this paper we propose a framework for reasoning with an OWL2 ontology and rules using meta-logic. Our meta-logical system consists of meta-programs expressing onotologies and rules, 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 implicit information. A comparative study of related works has revealed a merit of our meta-logical representation approach that separates the meta level knowledge from the object level one.
Citation
Proceedings of the World Congress on Engineering 2011 Wce 2011, 2, 960-965, 2011