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
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
Robert Neches,Richard Fikes,Tim Finin,Thomas R. Gruber,Ramesh S. Patil,Ted E. Senator,William R. Swartout +6 more
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.