Ontologies for Plane, Polygonal Mereotopology
Notre Dame Journal of Formal Logic 38 (2):225-245 (1997)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesIan Pratt & Dominik Schoop (1998). A Complete Axiom System for Polygonal Mereotopology of the Real Plane. Journal of Philosophical Logic 27 (6):621-658.
Ian Pratt & Dominik Schoop (2000). Expressivity in Polygonal, Plane Mereotopology. Journal of Symbolic Logic 65 (2):822-838.
Ian Pratt-Hartmann & Dominik Schoop (2002). Elementary Polyhedral Mereotopology. Journal of Philosophical Logic 31 (5):469-498.
Ivo DÜntsch, Gunther Schmidt & Michael Winter (2001). A Necessary Relation Algebra for Mereotopology. Studia Logica 69 (3):381 - 409.
Thomas Bittner & Barry Smith (2004). Normalizing Medical Ontologies Using Basic Formal Ontology. In Proceedings of GMDS 2004.
Hisao Honda, Masaharu Tanemura & Akihiro Yoshida (2000). Differentiation of Wing Epidermal Scale Cells in a Butterfly Under the Lateral Inhibition Model - Appearance of Large Cells in a Polygonal Pattern. Acta Biotheoretica 48 (2).
Victor Pambuccian (2004). The Simplest Axiom System for Plane Hyperbolic Geometry. Studia Logica 77 (3):385 - 411.
Barry Smith (2005). Relations in Biomedical Ontologies. Genome Biology 6 (5):R46.
Barry Smith (2008). Ontology (Science). In Formal Ontology in Information Systems.
Daniel Pokrywczyński & Grant Malcolm (forthcoming). Towards a Functional Approach to Modular Ontologies Using Institutions. Studia Logica:1-27.
Fred Wilson (2013). Exemplification, Then and Now. Axiomathes 23 (2):269-289.
Barry Smith (2007). The OBO Foundry: Coordinated Evolution of Ontologies to Support Biomedical Data Integration. Nature Biotechnology 25 (11):1251-1255.
Kenneth R. Berger & Edmond A. Murphy (1989). Angular Homeostasis: III. The Formalism of Discrete Orbits in Ontogeny. Theoretical Medicine and Bioethics 10 (4).
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #277,406 of 556,888 )Recent downloads (6 months)1 ( #64,931 of 556,888 )How can I increase my downloads? |
My notes
Discussion
