Skip to content

Formal Ontology And Spatial Reasoning

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Formal Ontology And Spatial Reasoning.

  • Mereotopology — A formal theory combining part–whole relations with topological notions such as connection, contact, interior and boundary, often using regions rather than points as primitives.