A meta-logical approach for reasoning with ontologies and rules expressed in OWL 2

Authors:
Visit Hirankitti;Trang Mai Xuan
Affiliations:
Department of Computer Engineering, King Mongkut's Institute of Technology Ladkrabang, Bangkok, Thailand, Thailand;Department of Computer Engineering, King Mongkut's Institute of Technology Ladkrabang, Bangkok, Thailand, Thailand
Venue:
ACS'10 Proceedings of the 10th WSEAS international conference on Applied computer science
Year:
2010

Citing 6
Cited 0

A metalogic programming approach to multi-agent knowledge and belief

Artificial intelligence and mathematical theory of computation
Combining Horn rules and description logics in CARIN

Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics

Journal of Intelligent Information Systems
Description logic programs: combining logic programs with description logic

WWW '03 Proceedings of the 12th international conference on World Wide Web
A proposal for an owl rules language

Proceedings of the 13th international conference on World Wide Web
Query Answering for OWL-DL with rules

Web Semantics: Science, Services and Agents on the World Wide Web

Quantified Score

Hi-index	0.00

Visualization

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.