Formal Qualitative Spatial Augmentation of the Simple Feature Access Model

DOI10.4230/LIPIcs.COSIT.2019.15zbMath1493.68352OpenAlexW2978908124MaRDI QIDQ5091722

Torsten Hahmann, Shirly Stephen

Publication date: 27 July 2022

Full work available at URL: https://doi.org/10.4230/LIPIcs.COSIT.2019.15

zbMATH Keywords

geometryformal ontologyspacetopological relationsgeospatial semanticsqualitative spatial representation (QSR)simple feature access

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Knowledge representation (68T30)

Cites Work

• A model for representing topological relationships between complex geometric features in spatial databases
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• FULL MEREOGEOMETRIES
• Mereotopology: A theory of parts and boundaries

This page was built for publication: Formal Qualitative Spatial Augmentation of the Simple Feature Access Model