OntoClean Annotated Bibliography

Core OntoClean Papers

Guarino, Nicola and Chris Welty. 2004. An Overview of OntoClean. In Steffen Staab and Rudi Studer, eds., The Handbook on Ontologies. Pp. 151-172. Berlin:Springer-Verlag. [Hardcopy].

A very detailed exposition of how to use OntoClean, how to assign the metaproperties, and the results of OntoClean analysis, based on the ontology cleaning example that was presented in many OntoClean talks. The formalizations of the meta-properties are not presented. This is probably the last comprehensive paper on the core of OntoClean.

Guarino, Nicola and Chris Welty. 2002. Identity and Subsumption. In Rebecca Green, Carol A. Bean, & Sung Hyon Myaeng (Eds.), The Semantics of Relationships: An Interdisciplinary Perspective. Pp. 111-125. Dordrecht: Kluwer.

A very detailed paper that includes numerous updates to the modal formalizations and cleans up some of the discussion of dependence. This is probably the last comprehensive paper on the axiomatizations of the core OntoClean meta-properties. The focus of this paper is a formal basis for correctly using the subsumption relationship. Interestingly, this paper began in 1999 as the first OntoClean paper, and the first three papers were essentially conference-sized slices of an earlier draft.

Guarino, Nicola and Chris Welty. 2002. Evaluating Ontological Decisions with OntoClean. Communications of the ACM. 45(2):61-65. New York:ACM Press. Available in [PDF].

A very high level view of OntoClean in CACM style. No formalizations are presented, mainly the intuitions of OntoClean and a concise discussion of the ontology modeling pitfalls that OntoClean analysis can expose, such as confusing constitution, part, instance, etc. with subclass. This is the most often cited OntoClean paper, the first to introduce the OntoClean name, and was ranked by Thompson-ISI as the most frequently cited paper in the emerging area of ontology design, as of June, 2004.

Welty, Chris and Nicola Guarino. 2001. Support for Ontological Analysis of Taxonomic Relationships. J. Data and Knowledge Engineering. 39(1):51-74. October, 2001. Official Version: [PDF] | Preprint:

This was the journal-length version of the ER-2000 paper, that focuses more on the Q/A system, and a detailed run-through of the ontology cleaning example. Although longer than the conference papers, this is a good place to start because of the example focus.

The three original OntoClean papers published in 2000:

Guarino, Nicola, and Chris Welty. 2000. Ontological Analysis of Taxonomic Relationships. In, Laender, A. and Storey, V., eds, Proceedings of ER-2000: The 19th International Conference on Conceptual Modeling. Springer-Verlag. October, 2000. [PDF].

This paper covers mainly the constraints imposed by the meta-properties and the real value of the methodology for conceptual modeling, including the backbone taxonomy, and a simple Q/A system for guiding a conceptual modeler through the meta-property assignments. Finally, the taxonomy cleaning example is presented in medium depth, with some sample interactions with the Q/A system. A few errors in the published version are fixed in this on-line version. Interestingly, this paper was rejected from AAAI-2000 on the grounds that it ignored relevant work in the database community, but was nominated for best paper at ER-2000.

Guarino, Nicola, and Chris Welty. 2000. A Formal Ontology of Properties. In, Dieng, R., and Corby, O., eds, Proceedings of EKAW-2000: The 12th International Conference on Knowledge Engineering and Knowledge Management. AAAI Press, Menlo Park. October, 2000. [PDF]

This paper describes mainly the ontology of property kinds. It is here that we first introduced the notion that often it is useful to know that a property carries a unity or especially an identity condition, even if the precise conditions can not be specified. We also first introduced here the importance of rigid properties in forming the backbone taxonomy of an ontology. Also here is an early version of the taxonomy cleaning example.

Guarino, Nicola, and Chris Welty. 2000. Identity, Unity, and Individuation: Towards a Formal Toolkit for Ontological Analysis. In W. Horn, ed., Proceedings of ECAI-2000: The European Conference on Artificial Intelligence. IOS Press, Amsterdam. August, 2000. [PDF]

This paper provides very formal and rigorous defintions of identity and unity. The paper shoes how we have adapted these notions from Philosophy in a way we believe makes them more applicable to conceptual modeling. We show how the standard interpretation of identity can be weakened to obtain a more practical notion of only-sufficient or only-necessary identity conditions. We show how the notion of Unity presented by Peter Simons can be adapted to establish when a class of entities are wholes. This paper also describes the notion of individual (something with unity and identity), and introduces an important meta-property for determining whether a class of entities carry unity and identity (though not how): countability. The paper then briefly discusses how these formal notions can be used to clarify taxonomic organization. This paper received a nomination for best paper.

Extensions to the OntoClean Core

Preliminary and Superseded papers

Guarino, Nicola, and Chris Welty. 2000. A Formal Ontology of Properties (Preliminary Version). In Benjamins, R., Gomez-Perez, A., Guarino, N., and Uschold, M., eds, Proceedings of the ECAI-2000 Workshop on Applications of Ontologies and Problem-Solving Methods. August, 2000. PDF

A preliminary version of the EKAW paper. Presents the same material, however the example has some problems as the analysis used is not completely described within the paper.

Guarino, Nicola, and Chris Welty. 2000. Towards a methodology for ontology-based model engineering. In, Bezivin, J. and Ernst, J., eds, Proceedings of the ECOOP-2000 Workshop on Model Engineering. June, 2000. PDF

This was the earlisest published version of the notions underlying our methdology, but was superceded by the final version of the more comprehensive ER-2000 paper above. This paper covers our meta-properties for property analysis at a medium level of rigor, with intuitive descriptions of all the meta-properties, and formalizations of the meta-properties for carrying identity and unity conditions. The additional assumptions we make and the constraints that follow from our defintions are discussed with examples, unlike the draft ER paper. The backbone taxonomy is introduced, and the taxonomy cleaning example is presented in greater detail than the ER paper, as well as being consistent to the notions within the paper, unlike the preliminary Formal Ontology of Properties paper.

Precursors to OntoClean

Guarino, Nicola. 1999. The role of Identity Conditions in Ontology Design. Proceedings of the IJCAI-99 Workshop on Ontology and Problem Solving Methods (KRRS), Stockholm, Sweden, August 2, 1999. Republished in C. Freksa and D. M. Frank (eds.), Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science,Springer Verlag 1999. (amended version -PDF)

This paper presents the early notions of how identity conditions can be used to make ontologies, and especially taxonomies, more clear. It mainly revises the Ontological Principles for Designing Upper Level Lexical Resources paper below. This paper covers a minimal ontology of particulars, including levels of ontological stratification based on common types of identity conditions, a slightly updated version of the list of problems with existing ontologies such as CYC, Mikrokosmos, Pangloss, WordNet, and Penman, as well as notions that have been superceded by the more recent papers, including the meta-properties for identity, rigidity, and dependence, and a minimal ontology of universals.

Guarino, Nicola. 1998. Some Ontological Principles for Designing Upper Level Lexical Resources. Proc. of the First International Conference on Lexical Resources and Evaluation, Granada, Spain, 28-30 May 1998. PDF

This paper is mainly superceded by the above Role of Identity Conditions in Ontology Design. It was the first paper that introduced the list of problems with existing ontologies such as CYC, Mikrokosmos, Pangloss, WordNet, and Penman. The description of the levels of ontological stratification are more detailed than the subsequent paper.