scispace - formally typeset
Open Access

Criteria to Verify Knowledge Sharing Technology

TLDR
This paper is focused on providing some criteria for verifying Knowledge Sharing Technology (KST), 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.
Abstract
This paper is focused on providing some criteria 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 software and documentation guarantee that they are correct. Verification of the ontologies refers to building the ontology right, 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.

read more

Content maybe subject to copyright    Report

Citations
More filters

Methodologies for ontology development

TL;DR: This paper surveys the work which has been done so far in beginning to provide a methodology for building ontologies, and identifies the key issues that must be addressed if this work is to move on from ontology construction being an art and to make it an understood engineering process.
Journal ArticleDOI

Quality assurance of medical ontologies.

TL;DR: Understanding of how to assure the quality of ontologies, or evaluate their fitness for specific purposes, is improving but remains poor: a combination of methodologies is required, but tools to support a comprehensive quality assurance programme remain lacking.

Overview of Approach, Methodologies, Standards, and Tools for Ontologies

TL;DR: In this section, ontologies are contrasted with conventional search methods based on fulltext search, and the relationship between ontologies and thesauri is introduced.
Dissertation

OntoWEDSS - An Ontology-based Environmental Decision-Support System for the management of Wastewater treatment plants

TL;DR: The OntoWEDSS as discussed by the authors is a software platform for supporting the development of tractament d'aigues residuals (TDFs) based on the ontologia WaWO.
References
More filters
Journal ArticleDOI

A translation approach to portable ontology specifications

TL;DR: This paper describes a mechanism for defining ontologies that are portable over representation systems, basing Ontolingua itself on an ontology of domain-independent, representational idioms.
Journal ArticleDOI

Toward principles for the design of ontologies used for knowledge sharing

TL;DR: The role of ontology in supporting knowledge sharing activities is described, and a set of criteria to guide the development of ontologies for these purposes are presented, and it is shown how these criteria are applied in case studies from the design ofOntologies for engineering mathematics and bibliographic data.
Journal ArticleDOI

Enabling technology for knowledge sharing

TL;DR: This article presents a vision of the future in which knowledge-based system development and operation is facilitated by infrastructure and technology for knowledge sharing, and describes an initiative currently under way to develop these ideas.
Proceedings Article

Knowledge Interchange Format Version 3.0 Reference Manual

TL;DR: Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs that has declarative semantics and logically comprehensive semantics.
Proceedings Article

Knowledge interchange format

TL;DR: This document contains a guide to writing knowledge in SUO-KIF as well as a more formal reference, which is a good compromise between the computational demands of reasoning and richness of representation.