Title :
A Meta-Logical Approach for Reasoning with an OWL 2 Ontology
Author :
Hirankitti, Visit ; Xuan, Trang Mai
Author_Institution :
Sch. of Comput. Eng., King Mongkut´´s Inst. of Technol. Ladkrabang, Bangkok, Thailand
Abstract :
A recent development of a Semantic Web language is 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, 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.
Keywords :
inference mechanisms; knowledge representation languages; semantic Web; OWL 2 ontology; Web ontology language; meta-interpreter; meta-logical approach; meta-program; reasoning; semantic Web language; semantic Web ontology; Cognition; Logic programming; OWL; Ontologies; Resource description framework; Syntactics;
Conference_Titel :
Computing and Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), 2010 IEEE RIVF International Conference on
Conference_Location :
Hanoi
Print_ISBN :
978-1-4244-8074-6
DOI :
10.1109/RIVF.2010.5633329
