International Journal of Intelligent Systems · 2000 · 29 citations · 9 references
ComputingInformation SystemsKnowledge ManagementKnowledge RepresentationKnowledge ReuseSoftware EngineeringFormal OntologyInteroperabilityOntology DesignOntology EngineeringInformation IntegrationInformation Technology IntegrationOntologiesOntology FormalizationOntology Refinement
Ontologies have emerged as one of the key issues in information integration and interoperability and in their application to knowledge management and electronic commerce. A trend towards formal methods for ontology management is obvious. This paper discusses a concept which can be expected to be of great importance to formal ontology management, and which is well-known in traditional software development: refinement. We define and discuss ontology refinement, give illustrating examples, and highlight its advantages as compared to other forms of ontology revision. © 2000 John Wiley & Sons, Inc.
9
Knowledge Interchange Format Version 3.0 Reference Manual
Michael Genesereth · 1992 · 793 citations
The Z notation: A reference manual
Jan Madey · Science of Computer Programming · 1990 · 561 citations