Loading...
A meta-logical approach for reasoning with semantic web ontologies
Author(s)
Xuan, Vuong Tran
Date Issued
December 1, 2006
Type
Conference Paper
Abstract
The design of Semantic Web markup languages, such as RDF, RDFS, and OWL, has been influenced by many different concepts, such as semantic structures and frame representations, object-oriented approaches, Description Logic, and first-order logic. Currently a Semantic Web ontology represented in these different languages is processed and manipulated differently by various approaches; however, in this paper we propose a single framework using meta-logic which can process the ontology in a uniform manner. Meta-logic allows us to reason with statements about description of classes, properties, instances, and their relationships expressed in RDF, RDFS, and OWL. This is accomplished by: initially an ontology, represented in combined RDF, RDFS, and OWL languages, is transformed to meta-logical statements representing definitions of classes and properties, relationships between classes and properties, and relationships between instances, etc.; later these statements are reasoned by a meta-interpreter which provides a query answering mechanism to infer meta and context information from the Semantic Web ontology. © 2006 IEEE.
Citation
Proceedings of the 4th IEEE International Conference on Research Innovation and Vision for the Future Rivf 06, 229-236, 2006