In CEUR, vol. 1908 (2017)

José Manuel Oliveira
Universidade do Porto
Barry Smith
State University of New York, Buffalo
In the graphical representation of ontologies, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations. We focus here on a problem in the graph-based representation of ontologies in complex domains such as biomedical, engineering and manufacturing: lack of mereotopological representation. Based on such limitation, we proposed a diagrammatic way to represent an entity’s structure and various forms of mereotopological relationships between the entities.
Keywords diagrammatic reasoning  Basic Formal Ontology  mereotopology
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Ontologies for Plane, Polygonal Mereotopology.Ian Pratt & Oliver Lemon - 1997 - Notre Dame Journal of Formal Logic 38 (2):225-245.
Diagrammatic Representation in Geometry.Dennis Potter - 2006 - Dialectica 60 (4):369–382.
Diagrammatic Representation in Geometry.Dennis Potter - 2006 - Dialectica 60 (4):369-382.
Logic, Form and Matter.Barry Smith & David Murray - 1981 - Aristotelian Society Supplementary Volume 55 (1):47 - 74.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
Finding the Meaning in Images: Annotation and Image Markup.Daniel L. Rubin - 2011 - Philosophy, Psychiatry, and Psychology 18 (4):311-318.
A Modal Approach to Dynamic Ontology: Modal Mereotopology.Dimiter Vakarelov - 2008 - Logic and Logical Philosophy 17 (1-2):163-183.


Added to PP index

Total views
85 ( #120,326 of 2,425,353 )

Recent downloads (6 months)
15 ( #48,398 of 2,425,353 )

How can I increase my downloads?


My notes