Abstract
Geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. They normally hold large amounts of geographic information and undergo a continuous process of revision and update. Hence, means of ensuring their integrity are crucial and needed to allow them to serve their purpose. This paper proposes the use of qualitative spatial reasoning as a tool to support the development of a geo-ontology management system. A new framework for the representation of and reasoning over geo-ontologies is presented using the web ontology language (OWL) and its associated reasoning tools. Spatial reasoning and integrity rules are represented using a spatial rule engine extension to the reasoning tools associated with OWL. The components of the framework are described and the implementation of the spatial reasoning engine is presented. This work is a step towards the realisation of a complete geo-ontology management system for the semantic web.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abdelmoty, A.I., Smart, P.D., Jones, C.B., Fu, G., Finch, D.: A Critical evaluation of ontology languages for geographic information retrieval on the Internet. Journal of Visual Languages and Computing, pp. 331–358 (August 2005)
Allen, J.F.: Maintaining knowledge about temporal intervals. Tech. rep. University of Rochester, Department of Computer Science (1981)
Antoniou, G., Bikakis, A.: DR-prolog: A system for defeasible reasoning with rules and ontologies on the semantic web. IEEE Trans. Knowl. Data Eng. 19(2), 233–245 (2007)
Bassiliades, N., Antoniou, G., Vlahavas, I.P.: DR-DEVICE: A defeasible logic system for the semantic web. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol. 3208, pp. 134–148. Springer, Heidelberg (2004)
Bernard, L., Einspanier, U., Haubrock, S.: Ontology-based discovery and retrieval of geographic information in spatial data infrastructures. In: Geotechnologien Science Report No. 4 (2004), http://www.delphi-imm.de/meanings/index_eng.html
Egenhofer, M.J.: Toward the semantic geospatial web. In: Proceedings of the tenth ACM international symposium on Advances in geographic information systems, pp. 1–4. ACM Press, New York (2002)
Forgy, C.: Rete: A fast algorithm for the many patterns/many objects match problem. Artif. Intell. 19(1), 17–37 (1982)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming, pp. 1070–1080
Goodwin, J.: Experiences of using owl at the ordnance survey, pp. 1–11, http://www.mindswap.org/2005/OWLWorkshop/
Grosof, B.N.: Prioritized conflict handling for logic programs, pp. 197–211
Grosof, B.N.: Compiling prioritized default rules into ordinary logic programs (June 23, 1999)
Grosof, B.N.: DIPLOMAT: Compiling prioritized default rules into ordinary logic programs, for E-commerce applications. In: AAAI/IAAI, pp. 912–913 (1999)
Horrocks, I., Patel-Schneider, P.F., Tabet, H.B.S., Grosof, B., Dean, M.: Swrl: A semantic web rule language combining owl and ruleml. Internet Report, http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/ (May 2004)
Jones, C., Abdelmoty, A., Fu, G.: Maintaining ontologies for geographical information retrieval on the web (2003)
Mackworth, A.: Consistency in networks of constraints. Artificial Intelligence vol. 8 (1977)
Maher, M., Miller, T.: Delores a defeasible logic reasoning system. Internet (2007), http://www.nothingisreal.com/dfki/delores/
McCarthy, J.: Circumscription, a form of non-monotonic reasoning. Artificial Intelligence 13, 27–39 (1990)
Montanari, U.: Networks of constraints: Fundamental properties and application to picture processing. Information Science 7 (1974)
Neogy, C. C., (UMBC), S. G., Grosof, B., Dean, M., Tabet, S.: Sweetrules. Internet (2006), http://sweetrules.projects.semwebcentral.org/
Nute, D.: General Defeasible Logic. Tech. Rep. forthcoming, University of Georgia (1989)
Reiter, R.: A logic for default reasoning. AI 13, 81–132 (1980)
RuleML. Ruleml web site. Internet (2006), http://www.ruleml.org/
Sagonas, K., Swift, T., Warren, D.S.: Xsb: An overview of its use and implementation. Tech. rep. (November 02, 1993)
Schneier, B.: The rete matching algorithm. AI Expert 7(12), 24–29 (1992)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Smart, P.D., Abdelmoty, A.I., El-Geresy, B.A., Jones, C.B. (2007). A Framework for Combining Rules and Geo-ontologies. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds) Web Reasoning and Rule Systems. RR 2007. Lecture Notes in Computer Science, vol 4524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72982-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-72982-2_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72981-5
Online ISBN: 978-3-540-72982-2
eBook Packages: Computer ScienceComputer Science (R0)