Egenhofer, M. (1991) Reasoning about Binary Topological Relations. In Gunther, O. and Schek, H.J. (eds.) Advances in Spatial Databases.
|
|
- Dwight Charles
- 5 years ago
- Views:
Transcription
1 Pullar, D., Egenhofer, M. (1988) Toward Formal Definitions of Topological Relations among patial Objects. In the Proceedings of the 3rd International ymposium on patial Data Handling. Randell, D. A., Cui, Z., Cohn., A., (1992) A patial Logic Based on Regions and Connection. In the Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, KR 92. Morgan Kaufman. Tversky, B. (1993) Cognitive Maps, Cognitive Collages and patial Mental Models. In Frank, A.U., Campari, I. (eds.) Proceedings of the European Conference on patial Information Theory COIT, Elba, Italy. pringer-verlag.
2 Egenhofer, M. (1991) Reasoning about Binary Topological Relations. In Gunther, O. and chek, H.J. (eds.) Advances in patial Databases. econd ymposium, D 91. pringer- Verlag. Frank, A. U. (1992) Qualitative patial Reasoning about Distances and Directions in Geographic pace. Journal of Visual Languages and Computing, 3, pp Frank,A.U.(1994) Qualitative patial Reasoning: Cardinal Directions as an Example. To appear in the International Journal of Geographic Information ystems. Taylor Francis. Freksa, C. (1992) Using Orientation Information for Qualitative patial Reasoning. In Frank, A.U., Campari, I., Formentini, U. (eds.) Proceedings of the International Conference GI - From pace to Territory: Theories and Methods of patio-temporal Reasoning in Geographic pace, Pisa, Italy. pringer-verlag. Hernandez, D. (1993) Maintaining Qualitative patial Knowledge. In Frank, A.U., Campari, I. (eds.) Proceedings of the European Conference on patial Information Theory COIT, Elba, Italy, eptember pringer-verlag. Holmes, P.D., Jungert, E. (1992) ymbolic and Geometric Connectivity Graph Methods for Route Planning In Digitized Maps. IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. PAMI-14, no 5, pp Kuipers, B.J. (1978) Modelling patial Knowledge. Cognitive cience, 2, pp Lee, -Y., Yang, M-C., Chen, J-W. (1992) ignature File as a patial Filter for Iconic Image Database. Journal of Visual Languages and Computing, 3, pp Levine, M. (1978) A Knowledge-Based Computer Vision ystem. In Hanson, A. and Riseman, E. (eds.) Computer Vision ystems. New York: Academic. pp Mark, D.M., Frank., A.U. (1990) Experiential and Formal Representations of Geographic pace and patial Relations. NCGIA Technical Report. McDermott, D.V., Davis, E. (1984) Planning Routes through Uncertain Territory. Artificial Intelligence, 22, pp Papadias, D., Glasgow, J.I. (1991) A Knowledge Representation cheme for Computational Imagery. Proceedings of the 13th Annual Conference of the Cognitive cience ociety, Lawrence Erblaum Associates. Papadias, D., ellis, T. (1993) The emantics of Relations in 2D pace Using Representative Points: patial Indexes. In Frank, A.U., Campari, I. (eds.) Proceedings of the European Conference on patial Information Theory COIT, Elba, Italy, eptember pringer-verlag. Papadias, D., Kavouras, M. (1994) Acquiring, Representing and Processing patial Relations. To appear in the Proceedings of the 6th International ymposium on patial Data Handling. Taylor Francis. Papadias, D., ellis, T. (1994) A Pictorial Language for the Retrieval of patial Relations from Image Databases. To appear in the Proceedings of the 6th International ymposium on patial Data Handling. Taylor Francis. Puequet, D. (1986) The Use of patial Relationships to Aid patial Database Retrieval. In the Proceedings of the 2nd International ymposium on patial Data Handling.
3 and the destination points are in different maps. For instance, bus-stop T3 can be reached from C1 by highway line H2 (or H1) to and then by bus trip R1: 22 (C1H2) 34 (H2) T 22 (R1) T 23 (T3R1). Additional types of connections can be defined to express situations involving routes from a station to another. In procedural terms the previous definitions reduce to a search for intersections. Direction information can be used in choosing a line which is in the direction of the destination, when several choices are available. 6. Conclusion This paper describes how symbolic spatial indexes can be used in several computational tasks involving direction and topological relations in 2D space. In particular we have dealt with spatial information retrieval, composition of spatial relations, route planning and update operations. everal extensions can be developed to increase the applicability of the concepts presented in the paper. For instance, PQBE can be extended with the inclusion of topological expressions for queries of the form how the route from station to that involves the smallest number of intermediate connection. The composition operator can also be extended to handle composition of both direction and topological relations. Although these problems have been studied independently (e.g., a study about composition of topological relations can be found in Egenhofer, 1991), to our knowledge there does not exist previous work that combines both approaches. There are also additional application domains where symbolic spatial indexes can be used. Lee et al. (1992) developed algorithms for image similarity retrieval based on variations of 2D strings. imilar algorithms can be developed for spatial indexes. Information processing using spatial indexes, and relation-based representations in general, involves symbolic and not numerical computation and avoids the usual problems of geometric representations, like finite resolution and geometric consistency. Although relation-based systems cannot be used in all applications involving spatial knowledge (e.g., applications involving quantitative reasoning and visualisation), we believe that there is a wide scope of potential applications ranging from Qualitative patial Reasoning and patial Databases to Robot Navigation and Computational Vision. Bibliography Chang,.K, Erland, J., Li, Y. (1989) The Design of Pictorial Database upon the Theory of ymbolic Projections. In Buchmann, A., Gunther, O., mith, T., Wang, T., (eds.) Proceedings of the First ymposium on the Design and Implementation of Large patial Databases (D 89). pringer-verlag. Davis, E. (1986) Representing and Acquiring Geographic Knowledge. Morgan Kauffman. Dutta,. (1989) Qualitative patial Reasoning: A emi-qualitative Approach using Fuzzy Logic. In Buchmann, A., Gunther, O., mith, T., Wang, T., (eds.) Proceedings of the First ymposium on the Design and Implementation of Large patial Databases (D 89). pringer-verlag. Egenhofer, M., Herring, J. (1990) A Mathematical Framework for the Definitions of Topological Relationships. In the Proceedings of the 4th International ymposium on patial Data Handling.
4 5. Route Planning A system which can only represent direction relations in 2D space is inadequate for several practical applications that also involve neighbourhood, inclusion, overlap or other topological queries. In this section we will show how we can use symbolic spatial indexes that incorporate direction and topological information in route planning. Previous systems designed to deal with this problem, include TOUR (Kuipers, 1978) and PAM (McDermott and Davis, 1984). Holmes and Jungert (1992) have demonstrated how symbolic projections can be applied to knowledgebased route planning in digitised maps. The symbolic spatial indexes of Figure 3 can be used for the retrieval of direction relations but are not adequate for route planning, since they do not preserve connections among subway stations and bus-stops. In order to have the expressive power to answer queries regarding connections we need indexes that also preserve topological information. Figure 13 illustrates two spatial indexes which in addition to the direction information of the previous indexes, also preserve intersection information about the maps of Figure 1. H2 C2H1 C1H1H2 H1 H1H2 T R1 R1 T3R1R2 T2R2 T4R2 Fig. 13 ymbolic spatial indexes that preserve direction and topological relations We use subscripts to denote the individual cells of a symbolic spatial index; ij denotes the cell at row i and column j. ij and kl refer to the same cell iff i=k and j=l and 11 is the lower left cell of the array. The predicate ij () denotes that cell ij contains the string or substring ; 23 (H1), for instance, denotes that cell 23 contains the H1. A direct connection between stations C k and C l corresponds to a subway line that intersects with both stations and can be defined as: C k d_connects C l H m ij gf [ ij (C k H m ) gf (C l H m )]. H1 directly connects stations and since 34 (H1) 23 (H1). Notice that the symbolic spatial indexes of Figure 13 do not preserve the order of stations in a subway trip, i.e., and are directly connected through subway line H1 but the indexes do not show whether there are intermediate stations, or whether and are next to each other. If such information is needed, it should be added as subscripts in the names of lines denoting the order of traversal. We will use the notation H m reaches H n to denote that subway line H n can be reached from H m using subway line intersections (we assume bi-directional subway lines). The relation reaches can be defined as: H m reaches H n ij [ ij (H m H n )] H k [H m reaches H k H k reaches H n ]. H1 reaches H2 since 22 (H1H2). An indirect connection is achieved through a subway line that intersects with the first station, and a second subway line which reaches the first one (directly or indirectly) and passes from the second station. Indirect connection through subway lines can be defined as: C k i_connects C l H m H n ij gf [ ij (C k H m ) H m reaches H n gf (H n C l ) ]. and are indirectly connected through H1 and H2 since 23 (H1) H1 reaches H2 11 (H2). Indirect connections are necessary when the start
5 IC6 C2 C6 C1 a. Query b. Result Fig. 10 Object insertion using PQBE In some cases, the insertion of an object may result in several output arrays corresponding to the possible positions of the new object. For example, the insertion of C6 RestrictedNorth of (but not necessarily outhwest of ) expressed by the query in Figure 11a would result in the three spatial indexes of Figure 11b, since the relation of C6 with respect to C2 and is not precisely specified. An alternative way to insert an object in a symbolic spatial index is by explicitly specifying the cell where the object is to be added. Furthermore, object movements within the array can be handled by removing the object from its old position and inserting it in the new one. IC6 C2 C6 C2 C6 C1 C6 C2 C1 C1 a. Query b. Possible Results Fig. 11 Object insertion involving uncertainty Related to update operations are the problems of spatial knowledge assimilation and error correction (Davis, 1986). The goal of assimilation is, given an accurate representation of spatial knowledge and an accurate fact, to augment the representation in order to include the new fact. The goal of error correction is, given a spatial knowledge representation which is not quite accurate and a new fact which is more precise, to improve the representation. Figure 12 illustrates how new spatial knowledge regarding the position of two additional subway stations C6 and C7 is incorporated in the existing symbolic spatial index. C2 C1 C6 C7 C2 C6 C1 old state new facts new state C7 Fig. 12 Example of knowledge assimilation Both these problems can be treated by operators, similar to the composition operator, that take two symbolic spatial indexes as arguments (i.e., one representing the initial state and one representing the new fact) and generate one or more output indexes that describe the possible new states.
6 There are also cases where composition does not produce new information about the possible relation between two objects. These cases are denoted with the symbol T in the composition table. For instance, com(, W,,, ) will generate the arrays of Figure 8. The nine arrays correspond to the relations of M D1 between and when it is also known that is NorthEast of both and. In this case composition does not rule out any possible relations. Fig. 8 patial indexes corresponding to com(, T,,, ) The same composition operator can handle symbolic spatial indexes preserving direction relations using two, or more, representative points per object but the number of possible outputs grows exponentially with the number of points used to represent the objects. 4. Update Operations Any spatial knowledge representation system is expected to function in a dynamic environment in which a change in a single item of knowledge may have widespread effects. In monotonic spatial logics, for example, the assertion of a new fact may invalidate previous inferences. With minor extensions, PQBE of can be used to handle update operations in symbolic spatial indexes. Object deletion from an index can be treated in a way similar to object retrieval. Instead of the character P that causes the contents of a variable to be printed, we can use a special character R that causes all the objects that satisfy a spatial query to be removed from the index array. After all the symbols that belong to the objects that satisfy the spatial conditions are deleted, the empty rows or columns are removed. For instance, the skeleton array of Figure 9a will delete from spatial index all the subway stations outhwest of tation C1 (i.e., station ). The new symbolic spatial index, after the removal of, is illustrated in Figure 9b. R_C C1 C2 C1 a. Query b. Result Fig. 9 Object removal using PQBE Object insertion can also be handled by PQBE provided that the position of the object to be added is precisely specified. For example, the query in the skeleton array of Figure 10a will add a station C6 RestrictedNorth of and outhwest of in map (the special character I denotes object insertion). The new symbolic spatial index that results after the insertion operation is illustrated in Figure 10b.
7 indexes to be composed, the common object with respect to which the composition is made, and two other objects each belonging to one array, whose composition relation is to be found. The operator creates one or more output arrays which contain only the three objects preserving their relative positions. For instance, com(, T,,, T4) will generate the array of Figure 6. T4 Fig. 6 patial index com(, T,,, T4) In order to compute the composition relation, the operator uses the following composition table. Table 1 illustrates the composition relation between objects X and Y when their relation with a third object Z is known (instead of the full name of the relation we use only the capital letters e.g., NW instead of NorthWest). For instance, the array of Figure 6 is generated using the facts that is outhwest of in index, is outhwest of T4 in index T and the entry (7,7) of the composition table NW(Z,Y) RN(Z,Y) NE(Z,Y) RW(Z,Y) P(Y,Z) RE(Z,Y) W(Z,Y) R(Z,Y) E(Z,Y) 1 NW(X,Z) NW NW NW RN NE NW NW NW RN NE NW RW W NW RW W T 2 RN(X,Z) NW RN NE NW RN NE NW RW W RN P R NE RE E 3 NE(X,Z) NW RN NE NE NE NW RN NW NE NE T NE RE E NE RE E 4 RW(X,Z) NW NW NW RN NW RW RW RW P RE W W W R E 5 P(X,Z) NW RN NE RW P RE W R E 6 RE(X,Z) NW RN NE NE NE RW P RE RE RE W R E E E 7 W(X,Z) NW RW W NW RW W T W W W R E W W W R E 8 R(X,Z) NW RW W RN P R NE RE E W R E W R E 9 E(X,Z) T NE RE E NE RE E W R E E E W R E E E Table. 1 Composition Table In cases where there are multiple possible outputs, the composition operator, as in Freksa s and Egenhofer s systems, will generate a list of output arrays corresponding to the possible disjunctions. For instance, com(, T,,, T2) will generate the arrays of Figure 7. The three arrays preserve the same order on the x axis, that is, they all contain the same east-west direction information as well as the same information regarding s position with respect to and T2. The composition relations are generated using the facts that is outhwest of in index, is NorthWest of T2 in index T and the entry (7,1) of the composition table. The arrays correspond to the three possible relations of the disjunction. Notice that symbolic spatial indexes do not preserve metric information; otherwise only one relation (T2 NorthEast ) could be generated as the result of composition. T2 T2 T2 Fig. 7 patial indexes corresponding to com(, T,,, T2)
8 to verbal Query-By-Example, PQBE generalises from the example given by the user, but instead of having queries in the form of skeleton tables showing the relation scheme, PQBE uses skeleton arrays. In skeleton arrays variables are preceded by the character "_", while constants appear without qualification. The character P before a variable causes its value to be retrieved and printed. For instance, the query in the skeleton array of Figure 5a will retrieve the subway stations (_C is a station variable) outhwest of station in map (i.e., stations C1, and ). On the other hand, the query in Figure 5b will retrieve all subway maps (_M is a map variable) in the database that contain a station outhwest of station. P_C P_M _C a. Object retrieval b. Map retrieval Fig. 5 Example queries in PQBE PQBE has the ability to express negation, independent sub-conditions in the form of multiple skeleton arrays, union, intersection and join operations, image and relation retrieval, and inference capabilities. Furthermore, with the incorporation of some additional features, PQBE can be used as an intuitive and easy to use GI interface, independently of the underlying representation. A detailed description of PQBE can be found in (Papadias and ellis, 1994). M D1 is adequate when high resolution is not needed but consider that we want the ability to answer queries of the form "are there parts of object X which are south of some parts of Y?". One symbol per object is not sufficient for such queries and we need representations that preserve two or more representative points for each object. Examples of symbolic spatial indexes that use multiple points/symbols per object can be found in (Papadias and ellis, 1993). Related is the work on symbolic projections and 2D strings (one dimensional encodings of symbolic images) by Chang et al., (1989). 3. Composition of patial Relations - Map overlay The problem of composition can be defined as "if the spatial relation between X and Z, and between Z and Y is known what are the possible relations between X and Y?". Frank (1992) presented composition tables for direction relations based on the concepts of projections and angular directions. Freksa (1992) also studied composition of direction relations in 2D space and Egenhofer (1991) composition of topological relations. Freksa`s and Egenhofer's systems deal with the composition problem in similar ways. When various cases are possible the systems generate a disjunction of the possible relations between the two objects. In this subsection we will show how symbolic spatial indexes can deal with composition of spatial relations. Consider that we want to perform an map overlay using the symbolic spatial indexes of Figure 3, i.e., we would like to generate an index that preserves information existing in and in T. The two indexes have an object ( in this case) in common. Let be the set of representation structures (symbolic spatial indexes preserving M D1 ) and O the set of symbolic object representations. Then we can define a composition operator com: xxoxoxo, that takes as input the two
9 applications where high resolution is not needed one point (symbol) per object is enough for the representation of the spatial relations of interest. In applications where a large number of spatial relations is to be preserved more points/symbols per object are used. An extensive discussion about representational issues related to symbolic spatial indexes can be found in (Papadias and ellis, 1993). This paper concentrates on information processing using spatial indexes. ection 2 describes how they can be used in storage and retrieval of direction relations in 2D space. ection 3 demonstrates how symbolic spatial indexes can deal with composition of spatial relations and map overlay. ection 4 discusses update operations and ection 5 route planning using spatial indexes. ection 5 concludes with a discussion and comments about future research directions. 2. Retrieval of Direction Relations For the representation system of this section we assume that the spatial relations of interest are direction relations such as north, east, northeast etc. Previous studies on direction relations can be found in (Peuquet, 1986), (Dutta, 1989) and (Frank, 1992). In the rest of the section will show how we can map direction relations onto relations among representative points stored in symbolic spatial indexes and how these relations can be retrieved using a pictorial query language. In our first example, we are interested in retrieving the relative positions of subway stations and bus-stops existing in one or more maps. If we use one representative point per object, each station and bus-stop is represented as one symbol. Figure 3 illustrates spatial indexes and T that represent the subway stations and the bus-stops of maps s and t using one symbol per object. C2 C1 T T4 T3 T2 Fig. 3 ymbolic spatial indexes that use one symbol per object M D1 denotes the set of mutually exhaustive and pair-wise disjoint direction relations which are represented in the previous indexes. M D1 contains nine direction relations that correspond to the highest resolution we can achieve using one point per object: NorthWest, RestrictedNorth, NorthEast, RestrictedWest, ameposition, RestrictedEast, outhwest, Restrictedouth, outheast. Figure 4 illustrates how direction relations among object symbols are represented in a symbolic spatial index. The symbol Y denotes the reference object and the other symbols refer to the direction relation depending on the position of the primary object in the array. NorthWest RestrictedNorth NorthEast RestrictedWest Y RestrictedEast outhwest Restrictedouth outheast Fig. 4 Direction relations encoded in symbolic spatial indexes Papadias and ellis (1994) developed a Pictorial Query-by-Example (PQBE) for the retrieval of direction relations from databases of symbolic spatial indexes. imilar
10 Fig. 1 Example maps Numerous relation-based systems have been developed to represent and process spatial relations. Levine (1978), for instance, developed a semantic network where the arcs encode relations such as left, above, or behind. Randell et al., (1992) developed a theory for topological reasoning expressed in a many-sorted logic. Egenhofer and Herring (1990) presented a system which deals binary topological relations. In their formalism, the topological relation between any two objects (point sets) X and Y is described by the four intersections of X's boundary and interior with the boundary and the interior of Y. Graph representations have been used in the area of spatial constraint networks. A spatial constraint network is a graph-based description of a scene, where the nodes represent objects and the arcs represent sets of relations corresponding to disjunctions of possible spatial relations between objects (Hernandez, 1993). A discussion about relation-based representation systems and the processes involved can be found in (Papadias and Kavouras, 1994). A large amount of research in relation-based systems has concentrated on array structures, like symbolic images (Chang et al., 1987) and symbolic arrays (Papadias and Glasgow, 1991). A symbolic image is an array representation of a map (or an image in general) where each object is denoted by one or more symbols. ymbolic arrays are hierarchical symbolic images. Figure 2 illustrates two symbolic images and T representing the conceptual maps of Figure 1. The symbolic images preserve spatial relations such as the fact that is northeast of C1, and discard shape, size and metric information. H2 C2 H1 H1 H1 H2 H1 H2 C1 H1 T R1 Fig. 2 ymbolic images R1 T3 R2 R2 R2 R2 T2 everal questions arise about the symbolic images, as for instance, which are the spatial relations that are preserved, how symbolic images can be constructed and how spatial relations of higher resolution can be incorporated. ymbolic spatial indexes are a special kind of symbolic images that were developed as an attempt to provide answers to the previous questions. Each object in spatial index is represented by one or more symbols that correspond to special points of the object called representative points. The choice of representative points depends on the application needs; in R2 T4
11 Technical Report KDBLAB-TR Relation-Based Information Processing With ymbolic patial Indexes Dimitris Papadias 1,2 and Theodoros Andronikos 2 1 Department of Geoinformation, Technical University of Vienna, Gusshausstrasse 27-29, Austria A dpapadia@fbgeo1.tuwien.ac.at 2 Dept. of Electrical and Computer Engineering, National Technical University of Athens, Zographou, Athens, Greece {dp, andron}@theseas.ntua.gr Abstract. The topic of the paper is spatial information processing using representations of direction and topological relations, called symbolic spatial indexes. The paper describes how symbolic spatial indexes can be used in information retrieval, composition of spatial relations, route planning and update operations. Information processing using spatial indexes involves symbolic, and not numerical, computation and avoids the usual problems of geometric representations such as finite resolution and geometric consistency. 1. Introduction The representation and processing of spatial relations has recently gained much attention in areas involving patial Reasoning (Freksa, 1992), Image Databases (Chang et al., 1989), Geographic Applications (Mark and Frank, 1990), and Cognitive cience (Tversky, 1993). Frank (1994), for instance, points out the importance of spatial relations in Geographic Interfaces and patial Query Languages. Pullar and Egenhofer (1988) classified spatial relations in: - direction relations that describe order in space (e.g. north, northeast), - topological relations that describe neighbourhood and incidence (e.g. disjoint), - comparative or ordinal relations that describe inclusion or preference (e.g. in, at), - distance relations such as far and near and - fuzzy relations such as next to and close. Consider, for example, the conceptual maps s and t of Figure 1. Map s is a subway map where Ci denotes a station and Hi a subway line. Map t illustrates the bus routes around station ; Ti denotes a bus-stop and Ri a bus route. The maps convey information about objects' characteristics (e.g., size of the subway stations, shape of bus routes) as well as spatial relations in 2D space among the objects (e.g., northeast of C1). Relation-based representations of the maps discard object characteristics and irrelevant spatial relations and preserve only a set of spatial relations of interest. In this paper we will deal with the representation of binary topological and direction relations among rigid objects. This research has been supported by the Esprit Basic Research Program 6881 (AMUING)
Convex Hull-Based Metric Refinements for Topological Spatial Relations
ABSTRACT Convex Hull-Based Metric Refinements for Topological Spatial Relations Fuyu (Frank) Xu School of Computing and Information Science University of Maine Orono, ME 04469-5711, USA fuyu.xu@maine.edu
More informationIntelligent GIS: Automatic generation of qualitative spatial information
Intelligent GIS: Automatic generation of qualitative spatial information Jimmy A. Lee 1 and Jane Brennan 1 1 University of Technology, Sydney, FIT, P.O. Box 123, Broadway NSW 2007, Australia janeb@it.uts.edu.au
More informationMaintaining Relational Consistency in a Graph-Based Place Database
Maintaining Relational Consistency in a Graph-Based Place Database Hao Chen Department of Infrastructure Engineering, Geomatics The University of Melbourne Email: hchen@student.unimelb.edu.au Introduction
More informationUncertainty of Spatial Metric Relations in GIs
This file was created by scanning the printed publication. Errors identified by the software have been corrected; however, some errors may remain. Uncertainty of Spatial Metric Relations in GIs Xiaoyong
More informationSpatial Reasoning With A Hole
Spatial Reasoning With A Hole Max J. Egenhofer and Maria Vasardani National Center for Geographic Information and Analysis and Department of Spatial Information Science and Engineering University of Maine
More informationRelative adjacencies in spatial pseudo-partitions
Relative adjacencies in spatial pseudo-partitions Roderic Béra 1, Christophe Claramunt 1 1 Naval Academy Research Institute, Lanvéoc-Poulmic, BP 600, 29240 Brest Naval, France {bera, claramunt}@ecole-navale.fr
More informationA Framework for Merging Qualitative Constraints Networks
Proceedings of the Twenty-First International FLAIRS Conference (2008) A Framework for Merging Qualitative Constraints Networks Jean-François Condotta, Souhila Kaci and Nicolas Schwind Université Lille-Nord
More informationAdding ternary complex roles to ALCRP(D)
Adding ternary complex roles to ALCRP(D) A.Kaplunova, V. Haarslev, R.Möller University of Hamburg, Computer Science Department Vogt-Kölln-Str. 30, 22527 Hamburg, Germany Abstract The goal of this paper
More informationA Class of Star-Algebras for Point-Based Qualitative Reasoning in Two- Dimensional Space
From: FLAIRS- Proceedings. Copyright AAAI (www.aaai.org). All rights reserved. A Class of Star-Algebras for Point-Based Qualitative Reasoning in Two- Dimensional Space Debasis Mitra Department of Computer
More informationCombining cardinal direction relations and other orientation relations in QSR
Combining cardinal direction relations and other orientation relations in QSR mar Isli Fachbereich Informatik, Universität Hamburg, Vogt-Kölln-Strasse 30, D-22527 Hamburg, Germany isli@informatik.uni-hamburg.de
More informationMetrics and topologies for geographic space
Published in Proc. 7 th Intl. Symp. Spatial Data Handling, Delft, Netherlands. Metrics and topologies for geographic space Michael F Worboys Department of Computer Science, Keele University, Staffs ST5
More informationWhy Is Cartographic Generalization So Hard?
1 Why Is Cartographic Generalization So Hard? Andrew U. Frank Department for Geoinformation and Cartography Gusshausstrasse 27-29/E-127-1 A-1040 Vienna, Austria frank@geoinfo.tuwien.ac.at 1 Introduction
More informationSEARCHING THROUGH SPATIAL RELATIONSHIPS USING THE 2DR-TREE
SEARCHING THROUGH SPATIAL RELATIONSHIPS USING THE DR-TREE Wendy Osborn Department of Mathematics and Computer Science University of Lethbridge 0 University Drive W Lethbridge, Alberta, Canada email: wendy.osborn@uleth.ca
More informationTowards Usable Topological Operators at GIS User Interfaces
Towards Usable Topological Operators at GIS User Interfaces Catharina Riedemann Institute for Geoinformatics, University of Münster Münster, Germany riedemann@ifgi.uni-muenster.de SUMMARY The topological
More informationA Generalized Framework for Reasoning with Angular Directions
A Generalized Framework for Reasoning with Angular Directions Debasis Mitra Department of Computer Sciences Florida Institute of Technology Melbourne, FL 3901, USA Tel. 31-674-7737, Fax: -7046, E-mail:
More informationKey Words: geospatial ontologies, formal concept analysis, semantic integration, multi-scale, multi-context.
Marinos Kavouras & Margarita Kokla Department of Rural and Surveying Engineering National Technical University of Athens 9, H. Polytechniou Str., 157 80 Zografos Campus, Athens - Greece Tel: 30+1+772-2731/2637,
More informationApplied Cartography and Introduction to GIS GEOG 2017 EL. Lecture-2 Chapters 3 and 4
Applied Cartography and Introduction to GIS GEOG 2017 EL Lecture-2 Chapters 3 and 4 Vector Data Modeling To prepare spatial data for computer processing: Use x,y coordinates to represent spatial features
More informationResearch on Object-Oriented Geographical Data Model in GIS
Research on Object-Oriented Geographical Data Model in GIS Wang Qingshan, Wang Jiayao, Zhou Haiyan, Li Bin Institute of Information Engineering University 66 Longhai Road, ZhengZhou 450052, P.R.China Abstract
More informationHow to Handle Incomplete Knowledge Concerning Moving Objects
B B is How to Handle Incomplete Knowledge Concerning Moving Objects Nico Van de Weghe 1, Peter Bogaert 1, Anthony G. Cohn 2, Matthias Delafontaine 1, Leen De Temmerman 1, Tijs Neutens 1, Philippe De Maeyer
More informationSpatio-Temporal Relationships in a Primitive Space: an attempt to simplify spatio-temporal analysis
Spatio-Temporal Relationships in a Primitive Space: an attempt to simplify spatio-temporal analysis Pierre Hallot 1 1 Geomatics Unit / University of Liège (Belgium) P.Hallot@ulg.ac.be INTRODUCTION Nowadays,
More informationWolf-Tilo Balke Silviu Homoceanu Institut für Informationssysteme Technische Universität Braunschweig
Multimedia Databases Wolf-Tilo Balke Silviu Homoceanu Institut für Informationssysteme Technische Universität Braunschweig http://www.ifis.cs.tu-bs.de 13 Indexes for Multimedia Data 13 Indexes for Multimedia
More informationNotes on the timely presentation of route related information
Notes on the timely presentation of route related information Sabine Timpf, Zürich Zusammenfassung Die Modellierung der intermodalen Navigation für orts-abhängige Services benötigt die Antworten auf die
More informationExploring Spatial Relationships for Knowledge Discovery in Spatial Data
2009 International Conference on Computer Engineering and Applications IPCSIT vol.2 (2011) (2011) IACSIT Press, Singapore Exploring Spatial Relationships for Knowledge Discovery in Spatial Norazwin Buang
More informationA Qualitative Spatial Reasoner*
Qualitative Spatial Reasoner Qualitative Spatial Reasoner* Jayant Sharma, Douglas M. Flewelling, and Max J. Egenhofer National Center for Geographic Information and nalysis and Department of Surveying
More informationReasoning with Cardinal Directions: An Efficient Algorithm
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (2008) Reasoning with Cardinal Directions: An Efficient Algorithm Xiaotong Zhang and Weiming Liu and Sanjiang Li and Mingsheng
More informationreviewed paper Supporting Spatial Planning with Qualitative Configuration Analysis Paolo Fogliaroni, Gerhard Navratil
reviewed paper Supporting Spatial Planning with Qualitative Configuration Analysis Paolo Fogliaroni, Gerhard Navratil (Dr. Paolo Fogliaroni, Vienna University or Technology, Department for Geodesy and
More informationMultimedia Databases 1/29/ Indexes for Multimedia Data Indexes for Multimedia Data Indexes for Multimedia Data
1/29/2010 13 Indexes for Multimedia Data 13 Indexes for Multimedia Data 13.1 R-Trees Multimedia Databases Wolf-Tilo Balke Silviu Homoceanu Institut für Informationssysteme Technische Universität Braunschweig
More informationOn minimal models of the Region Connection Calculus
Fundamenta Informaticae 69 (2006) 1 20 1 IOS Press On minimal models of the Region Connection Calculus Lirong Xia State Key Laboratory of Intelligent Technology and Systems Department of Computer Science
More informationDIMENSIONS OF QUALITATIVE SPATIAL REASONING
In Qualitative Reasoning in Decision Technologies, Proc. QUARDET 93, N. Piera Carreté & M.G. Singh, eds., CIMNE Barcelona 1993, pp. 483-492. DIMENSIONS OF QUALITATIVE SPATIAL REASONING Christian Freksa
More informationGranular Description of Qualitative Change
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence Granular Description of Qualitative Change John G. Stell School of Computing University of Leeds, U.K. Abstract
More informationQuality Assessment of Geospatial Data
Quality Assessment of Geospatial Data Bouhadjar MEGUENNI* * Center of Spatial Techniques. 1, Av de la Palestine BP13 Arzew- Algeria Abstract. According to application needs, the spatial data issued from
More informationEncoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic
Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic Salem Benferhat CRIL-CNRS, Université d Artois rue Jean Souvraz 62307 Lens Cedex France benferhat@criluniv-artoisfr
More informationLocation Based Concierge Service with Spatially Extended Topology for Moving Objects
The Journal of GIS Association of Korea, Vol. 17, No. 4, pp. 445-454, December 2009 Location Based Concierge Service with Spatially Extended Topology for Moving Objects Byoungjae Lee* ABSTRACT Beyond simple
More informationMining Geo-Referenced Databases: A Way to Improve Decision-Making
Mining Geo-Referenced Databases 113 Chapter VI Mining Geo-Referenced Databases: A Way to Improve Decision-Making Maribel Yasmina Santos, University of Minho, Portugal Luís Alfredo Amaral, University of
More informationA Cognitive Map for an Artificial Agent
A Cognitive Map for an Artificial Agent Unmesh Kurup Rensselaer Polytechnic Institute Carnegie 013, 110 8 th Street Troy, NY 12180 kurupu@rpi.edu B. Chandrasekaran The Ohio State University 591 Dreese,
More informationL L.w-l wl l+!!j. Topological Relations in the World of Minimum Bounding Rectangles: A Study with R-trees. Yannis Theodoridis
Topological Relations in the World of Minimum Bounding Rectangles: A Study with R-trees Dimitris Papadias Department of Computer Science and Engineering University of California, San Diego CA 92093-04,
More informationProbabilistic Cardinal Direction Queries On Spatio-Temporal Data
Probabilistic Cardinal Direction Queries On Spatio-Temporal Data Ganesh Viswanathan Midterm Project Report CIS 6930 Data Science: Large-Scale Advanced Data Analytics University of Florida September 3 rd,
More informationAlexander Klippel and Chris Weaver. GeoVISTA Center, Department of Geography The Pennsylvania State University, PA, USA
Analyzing Behavioral Similarity Measures in Linguistic and Non-linguistic Conceptualization of Spatial Information and the Question of Individual Differences Alexander Klippel and Chris Weaver GeoVISTA
More informationPreliminaries to the Theory of Computation
Preliminaries to the Theory of Computation 2 In this chapter, we explain mathematical notions, terminologies, and certain methods used in convincing logical arguments that we shall have need of throughout
More informationEvent Operators: Formalization, Algorithms, and Implementation Using Interval- Based Semantics
Department of Computer Science and Engineering University of Texas at Arlington Arlington, TX 76019 Event Operators: Formalization, Algorithms, and Implementation Using Interval- Based Semantics Raman
More informationPairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events Massimo Franceschet Angelo Montanari Dipartimento di Matematica e Informatica, Università di Udine Via delle
More informationKnowledge representation DATA INFORMATION KNOWLEDGE WISDOM. Figure Relation ship between data, information knowledge and wisdom.
Knowledge representation Introduction Knowledge is the progression that starts with data which s limited utility. Data when processed become information, information when interpreted or evaluated becomes
More informationQualitative Spatial-Relation Reasoning for Design
Qualitative Spatial-Relation Reasoning for Design Max J. Egenhofer National Center for Geographic Information and Analysis Department of Spatial Information Science and Engineering Department of Computer
More informationChapter 0 Introduction. Fourth Academic Year/ Elective Course Electrical Engineering Department College of Engineering University of Salahaddin
Chapter 0 Introduction Fourth Academic Year/ Elective Course Electrical Engineering Department College of Engineering University of Salahaddin October 2014 Automata Theory 2 of 22 Automata theory deals
More informationA Comparison of Inferences about Containers and Surfaces in Small-Scale and Large-Scale Spaces *
A Comparison of Inferences about Containers and Surfaces in Small-Scale and Large-Scale Spaces * M. Andrea Rodríguez and Max J. Egenhofer National Center for Geographic Information and Analysis and Department
More informationA Region-based Direction Heuristic for Solving Underspecified Spatio-temporal Planning Problems
A Region-based Direction Heuristic for Solving Underspecified Spatio-temporal Planning Problems Inessa Seifert Department of Mathematics and Informatics, SFB/TR8 Spatial Cognition University of Bremen,
More informationGeographers Perspectives on the World
What is Geography? Geography is not just about city and country names Geography is not just about population and growth Geography is not just about rivers and mountains Geography is a broad field that
More informationARTICLE IN PRESS. Journal of Visual Languages and Computing
RTILE IN PRESS Journal of Visual Languages and omputing 2 (29) 368 384 ontents lists available at ScienceDirect Journal of Visual Languages and omputing journal homepage: www.elsevier.com/locate/jvlc Deriving
More informationHIERARCHICAL STREET NETWORKS AS A CONCEPTUAL MODEL FOR EFFICIENT WAY FINDING
HIERARCHICAL STREET NETWORKS AS A CONCEPTUAL MODEL FOR EFFICIENT WAY FINDING Adrijana Car and Andrew U. Frank Department of Geoinformation, Technical University Vienna Gußhausstraße 27-29, A-1040 Vienna,
More informationFoundations of Artificial Intelligence
Foundations of Artificial Intelligence 7. Propositional Logic Rational Thinking, Logic, Resolution Wolfram Burgard, Maren Bennewitz, and Marco Ragni Albert-Ludwigs-Universität Freiburg Contents 1 Agents
More informationFoundations of Artificial Intelligence
Foundations of Artificial Intelligence 7. Propositional Logic Rational Thinking, Logic, Resolution Joschka Boedecker and Wolfram Burgard and Bernhard Nebel Albert-Ludwigs-Universität Freiburg May 17, 2016
More informationCache-based Query Processing for the Boolean Retrieval Model
Association for Information Systems AIS Electronic Library (AISeL) ECIS 2000 Proceedings European Conference on Information Systems (ECIS) 2000 Cache-based Query Processing for the Boolean Retrieval Model
More informationGeoVISTA Center, Department of Geography, The Pennsylvania State University, PA, USA
Formally grounding spatio-temporal thinking Klippel, A., Wallgrün, J. O., Yang, J., Li, R., & Dylla, F. (in print, 2012). Formally grounding spatio temporal thinking. Cognitive Processing. Alexander Klippel
More informationClassification Based on Logical Concept Analysis
Classification Based on Logical Concept Analysis Yan Zhao and Yiyu Yao Department of Computer Science, University of Regina, Regina, Saskatchewan, Canada S4S 0A2 E-mail: {yanzhao, yyao}@cs.uregina.ca Abstract.
More informationPei Wang( 王培 ) Temple University, Philadelphia, USA
Pei Wang( 王培 ) Temple University, Philadelphia, USA Artificial General Intelligence (AGI): a small research community in AI that believes Intelligence is a general-purpose capability Intelligence should
More informationModeling Discrete Processes Over Multiple Levels Of Detail Using Partial Function Application
Modeling Discrete Processes Over Multiple Levels Of Detail Using Partial Function Application Paul WEISER a and Andrew U. FRANK a a Technical University of Vienna Institute for Geoinformation and Cartography,
More informationPDL for Qualitative Reasoning about moving objects. A first step
PDL for Qualitative Reasoning about moving objects. A first step Alfredo Burrieza, Emilio Muñoz-Velasco and Manuel Ojeda-Aciego University of Málaga (Spain) Abstract We propose an initial approach to the
More informationSets are one of the basic building blocks for the types of objects considered in discrete mathematics.
Section 2.1 Introduction Sets are one of the basic building blocks for the types of objects considered in discrete mathematics. Important for counting. Programming languages have set operations. Set theory
More informationSpatial Intelligence. Angela Schwering
Spatial Intelligence Angela Schwering What I do What I do intelligent representation and processing of spatial information From the Cognitive Perspective How do humans perceive spatial information? How
More informationA Qualitative Model of Physical Fields
A Qualitative Model of Physical Fields Monika Lundell Artificial Intelligence Laboratory Computer Science Department Swiss Federal Institute of Technology IN-Ecublens, 1015 Lausanne, Switzerland lundell@lia.di.epfl.ch
More informationTheory, Concepts and Terminology
GIS Workshop: Theory, Concepts and Terminology 1 Theory, Concepts and Terminology Suggestion: Have Maptitude with a map open on computer so that we can refer to it for specific menu and interface items.
More informationGEO-DATA INPUT AND CONVERSION. Christos G. Karydas,, Dr. Lab of Remote Sensing and GIS Director: Prof. N. Silleos
Christos G. Karydas,, Dr. xkarydas@agro.auth.gr http://users.auth.gr/xkarydas Lab of Remote Sensing and GIS Director: Prof. N. Silleos School of Agriculture Aristotle University of Thessaloniki, GR 1 0.
More informationA General Framework for Conflation
A General Framework for Conflation Benjamin Adams, Linna Li, Martin Raubal, Michael F. Goodchild University of California, Santa Barbara, CA, USA Email: badams@cs.ucsb.edu, linna@geog.ucsb.edu, raubal@geog.ucsb.edu,
More informationPreferred Mental Models in Qualitative Spatial Reasoning: A Cognitive Assessment of Allen s Calculus
Knauff, M., Rauh, R., & Schlieder, C. (1995). Preferred mental models in qualitative spatial reasoning: A cognitive assessment of Allen's calculus. In Proceedings of the Seventeenth Annual Conference of
More informationBasics of GIS. by Basudeb Bhatta. Computer Aided Design Centre Department of Computer Science and Engineering Jadavpur University
Basics of GIS by Basudeb Bhatta Computer Aided Design Centre Department of Computer Science and Engineering Jadavpur University e-governance Training Programme Conducted by National Institute of Electronics
More informationGEO-INFORMATION (LAKE DATA) SERVICE BASED ON ONTOLOGY
GEO-INFORMATION (LAKE DATA) SERVICE BASED ON ONTOLOGY Long-hua He* and Junjie Li Nanjing Institute of Geography & Limnology, Chinese Academy of Science, Nanjing 210008, China * Email: lhhe@niglas.ac.cn
More informationA Review of Kuiper s: Spatial Semantic Hierarchy
A Review of Kuiper s: Spatial Semantic Hierarchy Okuary Osechas Comp-150: Behavior Based Robotics 4 November 2010 Outline Introduction 1 Introduction 2 Summary of ideas 3 Ontological Levels 4 Interfacing
More informationVersion 1.1 GIS Syllabus
GEOGRAPHIC INFORMATION SYSTEMS CERTIFICATION Version 1.1 GIS Syllabus Endorsed 1 Version 1 January 2007 GIS Certification Programme 1. Target The GIS certification is aimed at: Those who wish to demonstrate
More informationPairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events Massimo Franceschet Angelo Montanari Dipartimento di Matematica e Informatica, Università di Udine Via delle
More informationPaper presented at the 9th AGILE Conference on Geographic Information Science, Visegrád, Hungary,
220 A Framework for Intensional and Extensional Integration of Geographic Ontologies Eleni Tomai 1 and Poulicos Prastacos 2 1 Research Assistant, 2 Research Director - Institute of Applied and Computational
More informationFormalizing natural-language spatial relations between linear objects with topological and metric properties
Formalizing natural-language spatial relations between linear objects with topological and metric properties JUN XU* Institute of Geographic Science and Natural Resources Research, Chinese Academy of Science,
More informationEnhancing a Database Management System for GIS with Fuzzy Set Methodologies
Proceedings of the 19 th International Cartographic Conference, Ottawa, Canada, August 1999. Enhancing a Database Management System for GIS with Fuzzy Set Methodologies Emmanuel Stefanakis and Timos Sellis
More informationGEOGRAPHY 350/550 Final Exam Fall 2005 NAME:
1) A GIS data model using an array of cells to store spatial data is termed: a) Topology b) Vector c) Object d) Raster 2) Metadata a) Usually includes map projection, scale, data types and origin, resolution
More informationSPATIAL DATA MINING. Ms. S. Malathi, Lecturer in Computer Applications, KGiSL - IIM
SPATIAL DATA MINING Ms. S. Malathi, Lecturer in Computer Applications, KGiSL - IIM INTRODUCTION The main difference between data mining in relational DBS and in spatial DBS is that attributes of the neighbors
More informationA set theoretic view of the ISA hierarchy
Loughborough University Institutional Repository A set theoretic view of the ISA hierarchy This item was submitted to Loughborough University's Institutional Repository by the/an author. Citation: CHEUNG,
More information7. Propositional Logic. Wolfram Burgard and Bernhard Nebel
Foundations of AI 7. Propositional Logic Rational Thinking, Logic, Resolution Wolfram Burgard and Bernhard Nebel Contents Agents that think rationally The wumpus world Propositional logic: syntax and semantics
More informationChapter 2 Background. 2.1 A Basic Description Logic
Chapter 2 Background Abstract Description Logics is a family of knowledge representation formalisms used to represent knowledge of a domain, usually called world. For that, it first defines the relevant
More informationChap 2: Classical models for information retrieval
Chap 2: Classical models for information retrieval Jean-Pierre Chevallet & Philippe Mulhem LIG-MRIM Sept 2016 Jean-Pierre Chevallet & Philippe Mulhem Models of IR 1 / 81 Outline Basic IR Models 1 Basic
More informationSpatial Knowledge Acquisition from Addresses
Spatial Knowledge Acquisition from Addresses Farid Karimipour 1, Negar Alinaghi 1,3, Paul Weiser 2, and Andrew U. Frank 3 1 Faculty of Surveying and Geospatial Engineering, University of Tehran, Iran {fkarimipr,
More informationChapter 2 - Basics Structures
Chapter 2 - Basics Structures 2.1 - Sets Definitions and Notation Definition 1 (Set). A set is an of. These are called the or of the set. We ll typically use uppercase letters to denote sets: S, A, B,...
More informationICS141: Discrete Mathematics for Computer Science I
ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Originals slides by Dr. Baek and Dr. Still, adapted by J. Stelovsky Based on slides Dr. M. P. Frank and Dr. J.L. Gross
More informationa. ~p : if p is T, then ~p is F, and vice versa
Lecture 10: Propositional Logic II Philosophy 130 3 & 8 November 2016 O Rourke & Gibson I. Administrative A. Group papers back to you on November 3. B. Questions? II. The Meaning of the Conditional III.
More informationA new tractable subclass of the rectangle algebra
A new tractable subclass of the rectangle algebra P. Balbiani Laboratoire d'informatique de Paris-Nord Avenue J.-B. Clement F-93430 Villetaneuse, France balbiani@lipn.univ-parisl3.fr J.-F. Condotta, L.
More informationUnsupervised Learning with Permuted Data
Unsupervised Learning with Permuted Data Sergey Kirshner skirshne@ics.uci.edu Sridevi Parise sparise@ics.uci.edu Padhraic Smyth smyth@ics.uci.edu School of Information and Computer Science, University
More informationThe matrix approach for abstract argumentation frameworks
The matrix approach for abstract argumentation frameworks Claudette CAYROL, Yuming XU IRIT Report RR- -2015-01- -FR February 2015 Abstract The matrices and the operation of dual interchange are introduced
More informationMECHANISM AND METHODS OF FUZZY GEOGRAPHICAL OBJECT MODELING
MECHANISM AND METHODS OF FUZZY GEOGRAPHICAL OBJECT MODELING Zhang Xiaoxiang a,, Yao Jing a, Li Manchun a a Dept. of Urban & Resources Sciences, Nanjing University, Nanjing, 210093, China (xiaoxiang, yaojing,
More informationFoundations of Artificial Intelligence
Foundations of Artificial Intelligence 7. Propositional Logic Rational Thinking, Logic, Resolution Joschka Boedecker and Wolfram Burgard and Frank Hutter and Bernhard Nebel Albert-Ludwigs-Universität Freiburg
More informationREVISION SHEET DECISION MATHS 2 DECISION ANALYSIS
REVISION SHEET DECISION MATHS 2 DECISION ANALYSIS The main ideas are covered in AQA Edexcel MEI OCR D2 Before the exam you should know The meaning of the different kinds of node. Be able to construct a
More informationMathematical Approach to Vagueness
International Mathematical Forum, 2, 2007, no. 33, 1617-1623 Mathematical Approach to Vagueness Angel Garrido Departamento de Matematicas Fundamentales Facultad de Ciencias de la UNED Senda del Rey, 9,
More informationLecture #14: NP-Completeness (Chapter 34 Old Edition Chapter 36) Discussion here is from the old edition.
Lecture #14: 0.0.1 NP-Completeness (Chapter 34 Old Edition Chapter 36) Discussion here is from the old edition. 0.0.2 Preliminaries: Definition 1 n abstract problem Q is a binary relations on a set I of
More informationCHAPTER 10. Gentzen Style Proof Systems for Classical Logic
CHAPTER 10 Gentzen Style Proof Systems for Classical Logic Hilbert style systems are easy to define and admit a simple proof of the Completeness Theorem but they are difficult to use. By humans, not mentioning
More informationA Crisp Representation for Fuzzy SHOIN with Fuzzy Nominals and General Concept Inclusions
A Crisp Representation for Fuzzy SHOIN with Fuzzy Nominals and General Concept Inclusions Fernando Bobillo Miguel Delgado Juan Gómez-Romero Department of Computer Science and Artificial Intelligence University
More informationSpatial analysis in XML/GML/SVG based WebGIS
Spatial analysis in XML/GML/SVG based WebGIS Haosheng Huang, Yan Li huang@cartography.tuwien.ac.at and yanli@scnu.edu.cn Research Group Cartography, Vienna University of Technology Spatial Information
More informationMaximum Flow Problem (Ford and Fulkerson, 1956)
Maximum Flow Problem (Ford and Fulkerson, 196) In this problem we find the maximum flow possible in a directed connected network with arc capacities. There is unlimited quantity available in the given
More informationSpatial Relations for Semantic Similarity Measurement
Spatial Relations for Semantic Similarity Measurement Angela Schwering 1,2 and Martin Raubal 2 1 Ordnance Survey of Great Britain, United Kingdom 2 Institute for Geoinformatics, University of Muenster,
More informationA new Approach to Drawing Conclusions from Data A Rough Set Perspective
Motto: Let the data speak for themselves R.A. Fisher A new Approach to Drawing Conclusions from Data A Rough et Perspective Zdzisław Pawlak Institute for Theoretical and Applied Informatics Polish Academy
More informationDesign and Development of a Large Scale Archaeological Information System A Pilot Study for the City of Sparti
INTERNATIONAL SYMPOSIUM ON APPLICATION OF GEODETIC AND INFORMATION TECHNOLOGIES IN THE PHYSICAL PLANNING OF TERRITORIES Sofia, 09 10 November, 2000 Design and Development of a Large Scale Archaeological
More informationSpatial Validation Academic References
Spatial Validation Academic References Submitted To: Program Manager GeoConnections Victoria, BC, Canada Submitted By: Jody Garnett Brent Owens Suite 400, 1207 Douglas Street Victoria, BC, V8W-2E7 jgarnett@refractions.net
More informationHadamard Product Decomposition and Mutually Exclusive Matrices on Network Structure and Utilization
Hadamard Product Decomposition and Mutually Exclusive Matrices on Network Structure and Utilization Michael Ybañez 1, Kardi Teknomo 2, Proceso Fernandez 3 Department of Information Systems and omputer
More informationFinite State Automata and Simple Conceptual Graphs with Binary Conceptual Relations
Finite State Automata and Simple Conceptual Graphs with Binary Conceptual Relations Galia Angelova and Stoyan Mihov Institute for Parallel Processing, Bulgarian Academy of Sciences 25A Acad. G. Bonchev
More information