Presented at: 7th International Semantic Web Conference (ISWC2008)
by Rolf Grütter, Thomas Scharrenbach, Bettina Bauer-Messmer
An approach to improve an RCC-derived geospatial approximation is presented which makes use of OWL class inclusion axioms. The algorithm used to control the approximation combines hypothesis testing with consistency checking provided by a knowledge representation system based on description logics. Propositions about the consistency of the refined ABox w.r.t. the associated TBox when compared to baseline ABox and TBox are made. Formal proves of the divergent consistency results when checking either of both are provided. The application of the approach to a geospatial setting results in a roughly tenfold improved approximation when using the refined ABox and TBox. Ways to further improve the approximation and to automate the detection of falsely calculated relations are discussed.
Keywords: Consistency Checking, Geospatial Approximation, Hypothesis Testing, Region Connection Calculus, Web Ontology Language, Semantic Web
Resource URI on the dog food server: http://data.semanticweb.org/conference/iswc/2008/paper/research/342
Explore this resource elsewhere: