Title :
Tractability method for ontology development of Semantic Web
Author :
Danyaro, Kamaluddeen Usman ; Jaafar, Jafreezal ; Liew, Mohd Shahir
Abstract :
Ontology is an explicit representation of a particular domain of interest. This paper focuses on the inherent problem of intractability (data complexity) due to data capturing for heterogeneous sources. We proposed to follow the tradition of knowledge representation and reasoning processes to develop a Semantic Web. Building query systems is the ultimate goal for this study. Conjunctive queries were adopted over ontology methods to address the data complexity. The Conjunctive queries are the form of queries in first-order logic that deal with conjunction (Λ) and existential quantification (∃) in database atomic formulae. State of the art meteorological and oceanographic domain provides the motivation for this work. We found that the querying method facilitates the tractability in reasoning and logical systems.
Keywords :
inference mechanisms; knowledge representation; ontologies (artificial intelligence); query processing; semantic Web; conjunctive queries; data capturing; data complexity; database atomic formulae; existential quantification; first-order logic; heterogeneous sources; knowledge representation; ontology development; query systems; reasoning processes; semantic Web; tractability method; Cognition; Knowledge based systems; OWL; Ontologies; Resource description framework; Conjunctive Queries; Ontology; Semantic Web; tractability;
Conference_Titel :
Semantic Technology and Information Retrieval (STAIR), 2011 International Conference on
Conference_Location :
Putrajaya
Print_ISBN :
978-1-61284-354-4
Electronic_ISBN :
978-1-61284-353-7
DOI :
10.1109/STAIR.2011.5995761