Switch to: References

Citations of:

Individuals, universals, collections: On the foundational relations of ontology

In Achille Varzi Laure Vieu (ed.), Formal Ontology in Information Systems. Proceedings of the Third International Conference. IOS Press. pp. 37–48 (2004)

Add citations

You must login to add citations.
  1. How to Distinguish Parthood From Location in Bioontologies.Stefan Schulz, Philipp Daumke, Barry Smith & Udo Hahn - 2005 - In Proceedings of the AMIA Symposium. American Medical Informatics Association. pp. 669-673.
    The pivotal role of the relation part-of in the description of living organisms is widely acknowledged. Organisms are open systems, which means that in contradistinction to mechanical artifacts they are characterized by a continuous flow and exchange of matter. A closer analysis of the spatial relations in biological organisms reveals that the decision as to whether a given particular is part-of a second particular or whether it is only contained-in the second particular is often controversial. We here propose a rule-based (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • Endurants and Perdurants in Directly Depicting Ontologies.Thomas Bittner, Maureen Donnelly & Barry Smith - 2004 - AI Communications 13 (4):247–258.
    We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of categories. A SNAP (snapshot) ontology comprehends enduring entities such as (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A Type-Theoretical Approach for Ontologies: The Case of Roles.Patrick Barlatier & Richard Dapoigny - 2012 - Applied Ontology 7 (3):311-356.
    In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Spatio-Temporal Ontology for Geographic Information Integration.Thomas Bittner & Barry Smith - 2009 - International Journal for Geographical Information Science 23 (6):765-798.
    This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for (...)
    Download  
     
    Export citation  
     
    Bookmark