Abstract
An approach to improve an RCC-derived geospatial approximation is presented which makes use of concept inclusion axioms in OWL. 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.
Chapter PDF
Similar content being viewed by others
Keywords
References
Shekhar, S., Chawla, S.: Spatial Databases: A Tour. Pearson Education. Upper Saddle River, New Jersey (2003)
Randell, D.A., Cui, Z., Cohn, A.G.: A Spatial Logic based on Regions and Connections. In: Nebel, B., Rich, C., Swartout, W. (eds.) Principles of Knowledge Representation and Reasoning, pp. 165–176. Morgan Kaufmann, San Mateo (1992)
Bennett, B.: Logics for Topological Reasoning. In: 12th European Summer School in Logic, Language and Information (ESSLLI-MM), Birmingham, UK, August 2000, pp. 6–18 (2000)
Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language: Semantics and Abstract Syntax. W3C Recommendation, February 10, 2004. World Wide Web Consortium (2004)
Grütter, R., Bauer-Messmer, B., Hägeli, M.: Extending an Ontology-based Search with a Formalism for Spatial Reasoning. In: Proceedings of the 23rd Annual ACM Symposium on Applied Computing (ACM SAC 2008), pp. 2266–2270. ACM, New York (2008)
Wessel, M., Möller, R.: Flexible Software Architectures for Ontology-Based Information Systems. Journal of Applied Logic, Special Issue on Emperically Sucessful Systems (2007)
Grütter, R., Bauer-Messmer, B.: Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture. In: Fabrikant, S.I., Wachowicz, M. (eds.) The European Information Society: Leading the Way with Geo-information. LNGC, pp. 349–364. Springer, Heidelberg (2007)
Grütter, R., Bauer-Messmer, B.: Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data. In: Golbreich, C., Kalyanpur, A., Parsia, B. (eds.) OWL: Experiences and Directions (OWLED). CEUR Workshop Proceedings, vol. 258 (2007)
Haarslev, V., Lutz, C., Möller, R.: Foundations of Spatioterminological Reasoning with Description Logics. In: Cohn, A.G., Schubert, L.K., Shapiro, S.C. (eds.) Principles of Knowledge Representation and Reasoning, pp. 112–123. Morgan-Kaufmann, San Mateo (1998)
Baader, F., Hanschke, P.: A scheme for integrating concrete domains into concept languages. In: Twelfth International Joint Conference on Artificial Intelligence, August 1991, pp. 452–457 (1991)
Haarslev, V., Lutz, C., Möller, R.A.: Description Logic with Concrete Domains and a Role-Forming Predicate Operator. Journal of Logic and Computation 9(3), 351–384 (1999)
Wessel, M.: On Spatial Reasoning with Description Logics. Position Paper. In: Horrocks, I., Tessaris, S. (eds.) Proceedings of the International Workshop on Description Logics (DL 2002), CEUR Workshop Proceedings, Toulouse, France, April 19–21, 2002, vol. 53, pp. 156–163 (2002)
Lutz, C., Miličić, M.: A Tableau Algorithm for Description Logics with Concrete Do-mains and General TBoxes. Journal of Automated Reasoning 38(1-3), 227–259 (2007)
Katz, Y., Grau, B.C.: Representing Qualitative Spatial Information in OWL-DL. In: Proceedings of OWL: Experiences and Directions, CEUR Workshop Proceedings, Galway, Ireland, vol. 188 (2005)
Horrocks, I., Sattler, U.: Decidability of SHIQ with Complex Role Inclusion Axioms. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 343–348. Morgan Kaufmann, Los Altos (2003)
Horrocks, I., Kutz, O., Sattler, U.: The Even More Irresistible SROIQ. In: Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR 2006), Lake District, United Kingdom (2006)
Grau, B.C., Motik, B.: OWL 1.1 Web Ontology Language: Model-Theoretic Semantics. Editor’s Draft of (April 6, 2007), http://www.webont.org/owl/1.1/semantics.html
Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language: Semantics and Abstract Syntax. W3C Recommendation February 10, 2004. World Wide Web Consortium (2004)
Bishr, Y.: Geospatial Semantic Web. In: Rana, S., Sharma, J. (eds.) Frontiers of Geo-graphic Information Technology, pp. 139–154. Springer, Heidelberg (2006)
Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language. Combining OWL and RuleML. W3C Member Submission May 21, 2004. World Wide Web Consortium (2004)
Egenhofer, M., Franzosa, R.: Point-Set Topological Spatial Relations. International Journal of Geographical Information Systems 5(2), 161–174 (1991)
Baader, F., Nutt, W.: Basic Description Logics. In: Baader, F., Calvanese, D., McGuin-ness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook, pp. 47–100. Cambridge University Press, Cambridge (2003)
Merton, R.K.: Social Theory and Social Structure (Enlarged Edition). The Free Press, New York (1968)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grütter, R., Scharrenbach, T., Bauer-Messmer, B. (2008). Improving an RCC-Derived Geospatial Approximation by OWL Axioms. In: Sheth, A., et al. The Semantic Web - ISWC 2008. ISWC 2008. Lecture Notes in Computer Science, vol 5318. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88564-1_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-88564-1_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88563-4
Online ISBN: 978-3-540-88564-1
eBook Packages: Computer ScienceComputer Science (R0)