Applied Ontology–138 DOIAOIOS Press 109

Source URL: www.thomasebittner.com

• Ontology
• Metaphysics
• Anatomy
• Logic
• Joints
• Predicate logic
• Knowledge representation
• Information science
• Mereology
• Mereotopology
• Synovial fluid
• Interphalangeal joints of the hand

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

Source URL: ontology.buffalo.edu

• Mathematical logic
• Mathematics
• Logic
• Ontology
• General topology
• Predicate logic
• Topology
• Mereotopology
• Mereology
• Closure
• First-order logic
• Topological space

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

Source URL: 2012.eswc-conferences.org

• Ontology
• Knowledge representation
• Information science
• Semantic Web
• Technical communication
• Information
• Knowledge
• Upper ontology
• Web Ontology Language
• Descriptive Ontology for Linguistic and Cognitive Engineering
• Applied ontology
• Mereotopology

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

Source URL: www.thomasebittner.com

• Head
• Dance science
• Anatomy
• Qualitative reasoning
• Reasoning
• Temporomandibular joint
• Lake Mungo remains
• Image registration
• Spatial relation
• Condyle
• Mereotopology
• Topology

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

Source URL: www.acsu.buffalo.edu

• Ontology
• Knowledge representation
• Information science
• Technical communication
• Basic Formal Ontology
• Formal ontology
• Process philosophy
• Barry Smith
• Mereotopology
• Granularity
• Upper ontology
• Draft:Outline of ontologies

Fiat and Bona Fide Boundaries Barry Smith Department of Philosophy and Center for Cognitive Science State University of New York at Buffalo, Buffalo, NY Achille C. Varzi

Source URL: ontology.buffalo.edu

• Ontology
• Fiat Automobiles
• Mereotopology
• Mereology
• Formal ontology
• Fiat
• Barry Smith
• Computer representation of surfaces
• Surface
• Dimension

On Ontology and Epistemology of Rough Location Thomas Bittner Department of Geoinformation Technical University Vienna Gusshausstr, A-1040 Vienna, Austria

Source URL: www.acsu.buffalo.edu

• Ontology
• Mathematical logic
• Mereology
• Predicate logic
• Geographic information system
• Rough set
• Topology
• Mereotopology

KRDB RESEARCH CENTRE KNOWLEDGE REPRESENTATION MEETS DATABASES Faculty of Computer Science, Free University of Bozen-Bolzano, Piazza Domenicani 3, 39100 Bolzano, Italy Tel: +, fax: +, http://ww

Source URL: www.inf.unibz.it

• Mathematics
• Logic
• Mathematical logic
• Ontology
• Boolean algebra
• Mereology
• Predicate logic
• Algebraic logic
• ZermeloFraenkel set theory
• Binary relation
• Power set
• Mereotopology

A T-Box Generator for testing scalability of OWL mereotopological patterns Martin Boeker1? , Janna Hastings2 , Daniel Schober1 , and Stefan Schulz3 1 3

Source URL: webont.org

• Ontology
• Knowledge engineering
• Semantic Web
• Information science
• Knowledge
• Knowledge representation
• Information
• Web Ontology Language
• Description logic
• Semantic reasoner
• Mereotopology
• Gene ontology

Chapter 1 FIRST-ORDER MEREOTOPOLOGY Ian Pratt-Hartmann Manchester University Second Reader

Source URL: www.cs.man.ac.uk