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

fYear

2010

fDate

1-4 Nov. 2010

Firstpage

1

Lastpage

6

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/RIVF.2010.5633329

Filename

5633329