Abstract.
In this paper, we present the knowledge-based system ROSA working on spatial and functional organizations of farms in agronomy. The goal of this system is twofold: validation of the domain model and analysis of the functional organization with respect to the spatial organization of farms. First, we propose and detail a model of the domain based on the so-called "spatial organization graph" (SOG). Then, we show how description logics are used to represent and to manipulate these spatial organization graphs. The reasoning in the ROSA system is mainly based on case-based reasoning, and involves also concept classification and spatial reasoning. Finally, we describe the manipulation of spatial organization graphs using case-based reasoning, and we discuss the overall approach before concluding.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D.: Reasoning in expressive description logics. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1581–1634. Elsevier Science Publishers, Amsterdam (2001)
Clementini, E., Felice, P.D., Hernández, D.: Qualitative Representation of positional information. Technical Report FKI-208-95, Institut für Informatik, Technische Universität München (1995)
Cohn, A.G., Bennett, B., Gooday, J., Gotts, N.M.: Representing and reasoning with qualitative spatial relations about regions. In: Spatial and Temporal Reasoning, pp. 97–134. Kluwer Academic Publishers, Dordrecht (1997)
Egenhofer, M.J.: Reasoning about binary topological relations. In: Günther, O., Schek, H.-J. (eds.) SSD 1991. LNCS, vol. 525, pp. 143–160. Springer, Heidelberg (1991)
Euzenat, J.: Preserving modularity in XML encoding of description logics. In: Proceedings of the International Workshop on Description Logics (DL 2001), Standford, USA, pp. 20–29 (2001)
Haarslev, V., Lutz, C., Möller, R.: A description logic with concrete domains and role-forming predicates. Journal of Logic and Computation 9(3), 351–384 (1999)
Haarslev, V., Möller, R.: Racer system description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–706. Springer, Heidelberg (2001)
Kamp, G.: Using description logics for knowledge intensive case-based reasoning. In: Smith, I., Faltings, B.V. (eds.) EWCBR 1996. LNCS, vol. 1168, pp. 204–218. Springer, Heidelberg (1996)
Koehler, J.: Planning from Second Principles. Artificial Intelligence 87, 145–186 (1996)
Kolodner, J.: Case-Based Reasoning. Morgan Kaufmann Publishers, Inc., San Mateo (1993)
Lardon, S., Maurel, P., Piveteau, V. (eds.): Représentations spatiales et développement territorial. Hermès (2001)
Le Ber, F., Brassac, C., Metzger, J.-L.: Analyse de l’interaction experts – informaticiens pour la modélisation de connaissances spatiales. In: IC 2002, Journées Francophones d’Ingénierie des Connaissances, Rouen, pp. 29–38. INSA Rouen (2002)
Le Ber, F., Napoli, A.: Design and comparison of lattices of topological relations based on Galois lattice theory. In: Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), Toulouse, France, pp. 37–46. Morgan Kaufmann, San Francisco (2002)
Le Ber, F., Napoli, A.: The design of an object-based system for representing and classifying spatial structures and relations. Journal of Universal Computer Science 8(8), 751–773 (2002); Special issue on Spatial and Temporal Reasoning
Lieber, J., Napoli, A.: Using Classification in Case-Based Planning. In: Wahlster, W. (ed.) Proceedings of the 12th European Conference on Artificial Intelligence (ECAI 1996), Budapest, Hungary, pp. 132–136. John Wiley & Sons Ltd, Chichester (1996)
Lieber, J., Napoli, A.: Correct and Complete Retrieval for Case-Based Problem- Solving. In: Prade, H. (ed.) Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 1998), Brighton, UK, pp. 68–72. John Wiley & Sons Ltd, Chichester (1998)
Napoli, A., Laurenço, C., Ducournau, R.: An object-based representation system for organic synthesis planning. International Journal of Human-Computer Studies 41(1/2), 5–32 (1994)
Randell, D.A., Cohn, A.G.: Exploiting Lattices in a Theory of Space and Time. Computers Math. Applic. 23(6-9), 459–476 (1992)
Randell, D.A., Cui, Z., Cohn, A.G.: A Spatial Logic based on Regions and Connection. In: 3rd International Conference on Principles of Knowledge Representation and Reasoning, pp. 165–176. Morgan Kaufmann Publishers, San Francisco (1992)
Salotti, S., Ventos, V.: Study and formalization of a case-based reasoning system using a description logic. In: Smyth, B., Cunningham, P. (eds.) EWCBR 1998. LNCS (LNAI), vol. 1488, pp. 286–297. Springer, Heidelberg (1998)
Schank, R., Riesbeck, C., Kass, A.: Inside Case-Based Explanation. lLawrence Erlbaum Associates, Hillsdale (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Metzger, JL., Le Ber, F., Napoli, A. (2003). Modeling and Representing Structures for Analyzing Spatial Organization in Agronomy. In: Ganter, B., de Moor, A., Lex, W. (eds) Conceptual Structures for Knowledge Creation and Communication. ICCS 2003. Lecture Notes in Computer Science(), vol 2746. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45091-7_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-45091-7_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40576-4
Online ISBN: 978-3-540-45091-7
eBook Packages: Springer Book Archive