Temporal logics and their applications
Temporal logics and their applications
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Parts, wholes, and part-whole relations: the prospects of mereotopology
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Partonomic reasoning as taxonomic reasoning in medicine
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Combining topological and size information for spatial reasoning
Artificial Intelligence
Parts, Locations, and Holes - Formal Reasoning about Anatomical Structures
AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
A reference ontology for biomedical informatics: the foundational model of anatomy
Journal of Biomedical Informatics - Special issue: Unified medical language system
A formal theory for reasoning about parthood, connection, and location
Artificial Intelligence
The Description Logic Handbook
The Description Logic Handbook
Logical properties of foundational relations in bio-ontologies
Artificial Intelligence in Medicine
A theory of granular parthood based on qualitative cardinality and size measures
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Temporal Qualification and Change with First--Order Binary Predicates
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
A spatio-temporal ontology for geographic information integration
International Journal of Geographical Information Science
A tempora mereology for distinguishing between integral objects and portions of stuff
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Computational ontologies of parthood, componenthood, and containment
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A formal theory for spatial representation and reasoning in biomedical ontologies
Artificial Intelligence in Medicine
The heterogeneous tool set, HETS
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
CEL: a polynomial-time reasoner for life science ontologies
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Granularity as a parameter of context
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Foundational Process Relations in Bio-Ontologies
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Applied Ontology
Applied Ontology
Relationships and relata in ontologies and thesauri: Differences and similarities
Applied Ontology - Ontologies and Terminologies: Continuum or Dichotomy?
Hi-index | 0.00 |
One aim of this paper is to improve the logical and ontological rigor of the OBO relation ontology by providing axiomatic specifications for logical properties of relations such as part_of, located_in, connected_to, adjacent_to, attached_to, etc. All of these relations are currently only loosely specified in OBO. A second aim is to improve the expressive power of the relation ontology by including axiomatic characterizations of qualitative size relations such as (roughly-the-) same-size-as, negligible-in-size-with-respect-to, same-scale, etc. These relations are important for comparing anatomical entities in a way that is compatible with the normal variations of their geometric properties. Moreover, qualitative size relations are important for distinguishing anatomical entities at different scales. Unfortunately, the formal treatment of these relations is difficult due to their context-dependent nature and their inherent vagueness. This paper presents a formalization that facilitates the separation of ontological aspects that are context-independent and non-vague from aspects that are context-dependent and subject to vagueness. A third aim is to explicitly take into account the specific temporal properties of all of the relations and to provide a formalization that can be used as a basis for the formal representation of canonical anatomy as well as of instantiated anatomy. All the relations and their properties are illustrated informally using a human synovial joint as a running example. At the formal level the axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer-verified and the computational representation of the theory is accessible on http://www.ifomis.org/bfo/fol.