Loading...
A meta-logical approach for reasoning with an OWL 2 ontology
Author(s)
Mai, Trang Xuan
Date Issued
December 1, 2012
Type
Article
Abstract
A recent development of a Semantic Web language led to Web Ontology Language (OWL) 2, an extension of OWL. So far OWL 2 has been designed by W3C as the language for representing a web ontology. Earlier we have developed a meta-logical approach for reasoning with Semantic Web ontologies expressed in OWL (Hirankitti and Tran, 4th IEEE International Conference on Computer Sciences: Research, Innovation and Vision for the Future, Vietnam, pp 228-235, 2006b). With the new extension-OWL 2, in this paper we shall extend our previous work to support this richer language. A meta-interpreter, defined by a demo(.) predicate together with auxiliary axioms, is proposed and used for reasoning with OWL 2 ontologies expressed in terms of meta-programs. Finally we demonstrate some expressiveness of the meta-interpreter and compare it with other approaches. © 2012 Springer-Verlag.
Citation
Journal of Ambient Intelligence and Humanized Computing, 3(4), 293-303, 2012