About: Mereotopology

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Mereotopology Goto Sponge NotDistinct Permalink

An Entity of Type : yago:Speech107109196, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FMereotopology&invfp=IFP_OFF&sas=SAME_AS_OFF

In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts.

Attributes	Values
rdf:type	work yago:WikicatMathematicalAxioms yago:Abstraction100002137 yago:AuditoryCommunication107109019 yago:Communication100033020 yago:Maxim107152948 yago:Saying107151380 yago:Speech107109196
rdfs:label	Mereotopologie (de) Mereotopology (en) 分体拓扑学 (zh)
rdfs:comment	In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. (en) 在（英语：formal ontology）领域（形而上学的一个分支）以及在计算机与信息科学本体领域，分体拓扑学（英语：mereotopology）是一种关于整体、部分、部分之部分以及部分间边界之间关系的，用于具体表达分体论及拓扑学概念的（英语：first-order theory）。 (zh) Die Mereotopologie ist eine formale Theorie, die Mereologie und Topologie miteinander verbindet. Sie untersucht die topologischen Beziehungen zwischen Ganzheiten, Teilen und den Rändern der Teile. Obgleich die Theorie im Wesentlichen mathematisch ist, wurde sie vollständig von Logikern und theoretischen Informatikern entwickelt. Die Mereotopologie hat sich für Zwecke der formalen Ontologie als nützlich erwiesen (Smith 1996). (de)
dcterms:subject	Mereology Topology Ontology Mathematical axioms
Wikipage page ID	1664427 (xsd:integer)
Wikipage revision ID	1023672363 (xsd:integer)
Link from a Wikipage to another Wikipage	Preorder Model theory Mereology Barry Smith (ontologist) Binary relation Algebraic structure Perfectly normal Hausdorff space Relation (mathematics) Individual Universal quantifier Whitehead's point-free geometry Closure operator Boundary (topology) Connected space Contact (mathematics) Region Connection Calculus Antisymmetric relation Logic Stanford Encyclopedia of Philosophy Computer science Point-free geometry Pointless topology Synonym Topology Transitive relation Mereology Lattice (order) Topology Duality (mathematics) First-order logic First-order theory Formal ontology Conversion (logic) Predicate (mathematical logic) A. N. Whitehead Atomic formula Isomorphic Ontology Achille Varzi (philosopher) Karl Menger Symmetric relation T0 space Domain of discourse Axiom of extensionality Mathematical axioms Contact algebra Idempotence Inclusion (set theory) Interior (topology) Metaphysics Reflexive relation Bound variable Process and Reality Spatial-temporal reasoning Partial order Topological space Substring Axiom of extension Kuratowski Machine intelligence Topological Biconditional Ontology (computer science) Point-set topology Interior operator
Link from a Wikipage to an external page	https://doi.org/10.1016/S0004-3702(00)00045-X http://projecteuclid.org/DPubS/Repository/1.0/Disseminate%3Fview=body&id=pdf_1&handle=euclid.ndjfl/1093635748 http://plato.stanford.edu/entries/boundary/
sameAs	Mereotopology Mereotopology Mereotopology Mereotopology Mereotopology Mereotopology Mereotopology
dbp:wikiPageUsesTemplate	dbt:Reflist
has abstract	Die Mereotopologie ist eine formale Theorie, die Mereologie und Topologie miteinander verbindet. Sie untersucht die topologischen Beziehungen zwischen Ganzheiten, Teilen und den Rändern der Teile. Obgleich die Theorie im Wesentlichen mathematisch ist, wurde sie vollständig von Logikern und theoretischen Informatikern entwickelt. Die Mereotopologie hat sich für Zwecke der formalen Ontologie als nützlich erwiesen (Smith 1996). Alfred North Whitehead begann 1916, Theorien der Teil-Ganzes-Relation zu entwickeln, die in seinem Werk Prozeß und Realität einen Höhepunkt fanden. Eine gut lesbare Einführung hierzu bietet Kneebone (2001), Kapitel 12. Trotz Whiteheads erwiesenem mathematischen Scharfsinn waren diese Theorien informell und enthielten Fehler. Bowman Clarke (1981, 1985) zeigte, wie Whiteheads Theorien korrigiert und vollständig formalisiert werden konnten. Clarkes Werk bildet die Grundlage der gegenwärtigen Mereotopologie. Ihr mathematisches Leistungsvermögen kommt in der fortgeschrittenen Darstellung von Roeper (1997) zutage. Das einschlägige Hochschullehrbuch ist Casati und Varzi (1999). (de) In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. (en) 在（英语：formal ontology）领域（形而上学的一个分支）以及在计算机与信息科学本体领域，分体拓扑学（英语：mereotopology）是一种关于整体、部分、部分之部分以及部分间边界之间关系的，用于具体表达分体论及拓扑学概念的（英语：first-order theory）。 (zh)
gold:hypernym	Theory

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 51 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software