Checking the Completeness of Ontologies: A Case Study from the Semantic Web
Valentina Cordì, Viviana Mascardi · 2004
Abstract. The paper discusses a formal framework for proving correctness and completeness of ontologies during its life-cycle. We have adopted our framework for the development of a case study drawn from the Semantic Web. In particular we have developed an ontology for content-based retrieval of XML documents in Peer-to-peer networks. 1