Stonian p-ortholattices: a new approach to the mereotopology RT₀

DOI10.1016/J.ARTINT.2009.07.001MaRDI QIDQ1045997zbMATH OpenOpenAlexFDO

Authors Torsten Hahmann, Michael Winter, Michael Gruninger

Publication date 21 December 2009

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2009.07.001

zbMATH Keywords

qualitative spatial reasoningmereotopologynon-distributive pseudocomplemented latticeregion-based spaceStonian p-ortholattice

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Other algebras related to logic (03G25) Complemented lattices, orthocomplemented lattices and posets (06C15)

Recommendations

• On the algebra of regular sets
• A necessary relation algebra for mereotopology
• On the skeleton of Stonian p-ortholattices
• Mereotopology without mereology
• Complementation in representable theories of region-based space

Cites work

• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 3598539 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• A calculus of individuals based on 'connection'
• A categorical axiomatisation of region-based geometry
• A proximity approach to some region-based theories of space
• A representation theorem for Boolean contact algebras
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Connection structures
• Generalized region connection calculus
• Individuals and points
• Lattices and ordered algebraic structures
• Mereotopological connection
• On the skeleton of Stonian p-ortholattices
• Pseudo-complements in semi-lattices
• Qualitative spatial representation and reasoning: An overview
• Region-based topology
• Relational Methods in Computer Science
• The Theory of Representation for Boolean Algebras

Cited in

(4)

• On the skeleton of Stonian p-ortholattices
• On the algebra of regular sets
• Complementation in representable theories of region-based space
• Distributive mereotopology: extended distributive contact lattices

This page was built for publication: Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1045997)