<--- Back to Details
First PageDocument Content
Mathematical logic / Mathematics / Logic / Ontology / General topology / Predicate logic / Topology / Mereotopology / Mereology / Closure / First-order logic / Topological space
Date: 2002-03-18 11:17:58
Mathematical logic
Mathematics
Logic
Ontology
General topology
Predicate logic
Topology
Mereotopology
Mereology
Closure
First-order logic
Topological space

Mereotopology: A Theory of Parts and Boundaries Barry Smith Department of Philosophy and Member of the Center for Cognitive Science University at Buffalo

Add to Reading List

Source URL: ontology.buffalo.edu

Download Document from Source Website

File Size: 201,66 KB

Share Document on Facebook

Similar Documents

Applied Ontology–138 DOIAOIOS Press 109

Applied Ontology–138 DOIAOIOS Press 109

DocID: 1qZi6 - View Document

Mereotopology: A Theory of Parts and Boundaries Barry Smith Department of Philosophy and Member of the Center for Cognitive Science University at Buffalo

Mereotopology: A Theory of Parts and Boundaries Barry Smith Department of Philosophy and Member of the Center for Cognitive Science University at Buffalo

DocID: 1qSO4 - View Document

OntoPartS: a tool to select part-whole relations in OWL ontologies Annette Morales-Gonz´ alez1 , Francis C. Fern´andez-Reyes2 , C. Maria Keet3 1

OntoPartS: a tool to select part-whole relations in OWL ontologies Annette Morales-Gonz´ alez1 , Francis C. Fern´andez-Reyes2 , C. Maria Keet3 1

DocID: 1qcuU - View Document

Ontology and qualitative medical images analysis  Thomas Bittner124 , Louis J. Goldberg34 and Maureen Donnelly14 1  Department of Philosophy

Ontology and qualitative medical images analysis Thomas Bittner124 , Louis J. Goldberg34 and Maureen Donnelly14 1 Department of Philosophy

DocID: 1pPxg - View Document

Granular Spatio-Temporal Ontologies Thomas Bittner and Barry Smith Institute for Formal Ontology and Medical Information Science University of Leipzig ,

Granular Spatio-Temporal Ontologies Thomas Bittner and Barry Smith Institute for Formal Ontology and Medical Information Science University of Leipzig ,

DocID: 1oTP9 - View Document