In Achille Varzi & Laure Vieu (eds.), Formal Ontology in Information Systems. Proceedings of the Third International Conference. IOS Press (2004)
AbstractOne of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics for the theory and a provably sound axiomatization.
Similar books and articles
Added to PP
Historical graph of downloads
Citations of this work
Ontological realism: A methodology for coordinated evolution of scientiﬁc ontologies.Barry Smith & Werner Ceusters - 2010 - Applied ontology 5 (3):139-188.
Entities and their genera: Slicing up the world the medieval way--and does it matter to formal ontology?Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (2):4-47.
Strategies for Referent Tracking in Electronic Health Records.Werner Ceusters & Barry Smith - 2006 - Journal of Biomedical Informatics 39 (3):362-378.
Ontological Realism: Methodology or Misdirection?Gary H. Merrill - 2010 - Applied ontology 5 (2):79-108.
A Spatio-Temporal Ontology for Geographic Information Integration.Thomas Bittner & Barry Smith - 2009 - International Journal for Geographical Information Science 23 (6):765-798.
References found in this work
Ontology and grammar: I. Russell's paradox and the general theory of properties in natural language.Hector-Neri Castañeda - 1976 - Theoria 42 (1-3):44-92.