Criterion of the Logical Completeness for Ontologies

EasyChair Preprint 12383

Abstract

The number of ontologies is increasing day by day. Each ontology describes its own subject area, but this does not mean that there is only one ontology for each subject area. On the contrary, due to the decentralization of development centers, there may be several ontologies for the same subject area. In this situation, we need tools for assessing the quality of ontologies. Such a tool may consist of several criteria by which the ontology can be assessed. This paper examines one such criterion, namely the criterion of the logical completeness of the ontology. This criterion namely “logical completeness” differs from the criterion “completeness” for ontologies, described in the papers earlier. The main difference is the inconsistency in ontologies, which can be identified logically.

Keyphrases: Ontology Quality, Semantic Web, ontology completeness

@booklet{EasyChair:12383,
  author    = {Olegs Verhodubs},
  title     = {Criterion of the Logical Completeness for Ontologies},
  howpublished = {EasyChair Preprint 12383},
  year      = {EasyChair, 2024}}