Towards a framework to verify knowledge sharing technology

https://doi.org/10.1016/S0957-4174(96)00067-XGet rights and content

Abstract

Based on the empirical verification of bibliographic-data and other Ontolingua ontologies, this paper provides an initial framework for verifying Knowledge Sharing Technology (KST). Verification of KST refers to the engineering activity that guarantees the correctness of the definitions in an ontology, its associated software environments and documentation with respect to a frame of reference during each phase and between phases of its life cycle. Verification of the ontologies refers to building the correct ontology, and it verifies that (1) the architecture of the ontology is sound, (2) the lexicon and the syntax of the definitions are correct and (3) the content of the ontologies and their definitions are internally and metaphysically consistent, complete, concise, expandable and sensitive.

References (10)

  • T. Gruber

    A translation approach to portable ontology specifications

    Knowledge Acquisition

    (1993)
  • M.R. Genesereth et al.

    Knowledge interchange format

  • A. Gómez-Pérez

    From knowledge based systems to knowledge sharing technology: Evaluation and assessment

  • A. Gómez-Pérez

    Some ideas and examples to evaluate ontologies

  • A. Gómez-Pérez

    Guidelines to verify completeness and consistency in ontologies

There are more references available in the full text version of this article.

Cited by (0)

View full text