Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
An enriched knowledge model for formal ontological analysis
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Identity criteria and sortal concepts
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Supporting ontological analysis of taxonomic relationships
Data & Knowledge Engineering - ER2000
Building a Chemical Ontology Using Methontology and the Ontology Design Environment
IEEE Intelligent Systems
A Formal Ontology of Properties
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
IC-based ontology expansion in devouring accessibility
AOW '05 Proceedings of the 2005 Australasian Ontology Workshop - Volume 58
| Hi-index | 0.00 |
The role of ontologies is to provide a well-defined structure of domain knowledge that acts as the heart of any system of knowledge representation on that domain for the purposes of reasoning, knowledge sharing, and integration. Thus, it is essential to clarify the structure of knowledge in ontologies. In this paper, we discuss how ontology developers can define the identity conditions of classes explicitly, and can utilize them to develop structured taxonomies with adequate consistency. The background of this paper is OntoClean which is a domain independent methodology for ontology modeling using some philosophical notions. We exemplify the classification of sorts with necessary conceptual constraints. Then, we provide an explicit, simplified, and practical ontological analysis system regarding our subsumption constraints.