Title :
Formalisms for ontology validation
Author :
Kumanayaka, O.W.H. ; Ranasinghe, D.N.
Author_Institution :
Virtusa ATC, Colombo
Abstract :
Ontology and its inferencing capabilities are critical for the modern semantic Web. Ontology validation is necessary due to the uncertainty of the description logic based inferences. Ontology validation should be independent of DL reasoners. To overcome this uncertainty of concepts and instances inference results, in this paper we describes some of the formal ontology validation methods based on the sequent logic and simple conceptual graphs.
Keywords :
Internet; graph theory; ontologies (artificial intelligence); program verification; semantic Web; conceptual graphs; description logic; formal ontology validation methods; semantic Web; sequent logic; Application software; Calculus; Information systems; Internet; Logic; Ontologies; Semantic Web; Software debugging; Uncertainty; Web services;
Conference_Titel :
Industrial and Information Systems, 2007. ICIIS 2007. International Conference on
Conference_Location :
Penadeniya
Print_ISBN :
978-1-4244-1151-1
Electronic_ISBN :
978-1-4244-1152-8
DOI :
10.1109/ICIINFS.2007.4579189
