Loading...
A meta-logical approach for reasoning with ontologies and rules expressed in OWL 2
Author(s)
Xuan, Trang Mai
Date Issued
December 1, 2010
Type
Conference Paper
Abstract
OWL is a decidable language for representing ontologies, it adds considerable expressive power to the Semantic Web. However, it has several shortcomings in relational expressivity. These limitations can be overcome by extending an OWL ontology with some form of rules. The revision 2 of OWL is much richer than its predecessor with respect to modeling with rules. In this paper we propose a framework for reasoning with ontology and rule by adopting meta-logic. Our meta-logical system consists of several meta-programs expressing rules and onotologies at meta-level, and an inference engine in form of a meta-interpreter defined by a demo(.) predicate. Our meta-reasoning framework can reason with ontologies and rules expressed in OWL 2 by: (1) mapping statements expressed in ontology to metastatements, and mapping rules to meta-rules, (2) the meta-statements and meta-rules, then, are reasoned by a metainterpreter which provides a query answering mechanism to infer meta and context information from the Semantic Web Ontology.
Citation
International Conference on Applied Computer Science Proceedings, 360-365, 2010