A tempora mereology for distinguishing between integral objects and portions of stuff

Authors:
Thomas Bittner;Maureen Donnelly
Affiliations:
Department of Philosophy, State University of New York at Buffalo and Department of Geography and New York State Center of Excellence in Bioinformatics and Life Sciences and National Center of Geo ...;Department of Philosophy, State University of New York at Buffalo and New York State Center of Excellence in Bioinformatics and Life Sciences
Venue:
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Year:
2007

Citing 4
Cited 3

Towards a standard upper ontology

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Sweetening WORDNET with DOLCE

AI Magazine
A reference ontology for biomedical informatics: the foundational model of anatomy

Journal of Biomedical Informatics - Special issue: Unified medical language system
Isabelle/HOL: a proof assistant for higher-order logic

Isabelle/HOL: a proof assistant for higher-order logic

A spatio-temporal ontology for geographic information integration

International Journal of Geographical Information Science
Logical properties of foundational mereogeometrical relations in bio-ontologies

Applied Ontology
A taxonomy of collective phenomena

Applied Ontology

Quantified Score

Hi-index	0.00

Visualization

Abstract

We develop a formal theory of mereology that includes relations that change over time. We show how this theory formalizes reasoning over domains of material objects, which include not only integral objects (my computer, your liver) but also portions of stuff (the water in your glass, the blood in a vial). In particular, we use different mereological summation relations to distinguish between the ways in which i) integral objects, ii) portions of unstructured, homogenous stuffs (e.g. the water in your glass), and iii) mixtures (the blood in a vial) are linked to their parts over time.