Verifying OWL ontology correctness using max-heaps

Authors:
Ethan White;Lawrence Mazlack
Affiliations:
Applied Computational Intelligence Laboratory, University of Cincinnati, Cincinnati, Ohio;Applied Computational Intelligence Laboratory, University of Cincinnati, Cincinnati, Ohio
Venue:
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume II
Year:
2010

Citing 8
Cited 0

A Tools Environment for Developing and Reasoning about Ontologies

APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
A coordination model for the semantic web

Proceedings of the 2006 ACM symposium on Applied computing
Managing ontologies: a comparative study of ontology servers

ADC '07 Proceedings of the eighteenth conference on Australasian database - Volume 63
Logic Programming to Address Issues of the Semantic Web

WI '07 Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence
Concept Analysis of OWL Ontology Based on the Context Family Model

ICCIT '07 Proceedings of the 2007 International Conference on Convergence Information Technology
Structured objects in owl: representation and reasoning

Proceedings of the 17th international conference on World Wide Web
Ontologies and the semantic web

Communications of the ACM - Surviving the data deluge
DTD2OWL: automatic transforming XML documents into OWL ontology

Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human

Quantified Score

Hi-index	0.00

Visualization

Abstract

The long term goal of this research is to improve the quality and accuracy of ontologies that describe a domain. Once the correctness of an ontology can be verified then it can be used confidently in actual data processing problems. The objective of this research is to focus on the correctness of a given ontology by analyzing its structural integrity. The central hypothesis of this research is that given an OWL ontology describing a particular domain, it is possible to determine the correctness of its structure by treating the ontology as a max-heap.