In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological ...
1 (Published in N. Guarino (ed.), Formal Ontology in Information Systems , Amsterdam: IOS Press, 1998, pp. 29–38.) Basic Problems of Mereotopology
mereotopology. Definition from Wiktionary, the free dictionary. Jump to: navigation, search. Contents. 1 English. 1.1 Pronunciation; 1.2 Etymology; 1.3 Noun;
Mereotopology: A Theory of Parts and Boundaries Barry Smith Department of Philosophy and Member of the Center for Cognitive Science University at Buffalo
Papers on Mereotopology. Barry Smith . Barry Smith, “ Ontology and the Logistic Analysis of Reality”, in N. Guarino and R. Poli (eds.), Proceedings of the ...
I've: Selected the GEMTC of Casati and Varzi (1999) as a paradigmatic mereotopological system, and added the section describing it; Expanded the references and linked ...
While mereotopology - the theory of boundaries, contact and separation built up on a mereological foundation - has found fruitful applications in the realm of ...
Abstract. Mereotopology is the branch of logic that treats the qualitative formalisation of parthood and connection relations between entities.
Synonyms. Region connection calculus; RCC; 9‐Intersection calculus; 4‐Intersection calculus; Pointless topology
Whitehead's point-free geometry This article has an unclear citation style. The references used ... Their system SMT (strong mereotopology) consists of C1-C3, ...