Second CLIPS Conference Proceedings, volume 1

Topics covered at the 2nd CLIPS Conference held at the Johnson Space Center, September 23-25, 1991 are given. Topics include rule groupings, fault detection using expert systems, decision making using expert systems, knowledge representation, computer aided design and debugging expert systems

Introducing semantic variables in mixed distance measures: Impact on hierarchical clustering

Today, it is well known that taking into account the semantic information available for categorical variables sensibly improves the meaningfulness of the final results of any analysis. The paper presents a generalization of mixed Gibert's metrics, which originally handled numerical and categorical variables, to include also semantic variables. Semantic variables are defined as categorical variables related to a reference ontology (ontologies are formal structures to model semantic relationships between the concepts of a certain domain). The superconcept-based distance (SCD) is introduced to compare semantic variables taking into account the information provided by the reference ontology. A benchmark shows the good performance of SCD with respect to other proposals, taken from the literature, to compare semantic features. Mixed Gibert's metrics is generalized incorporating SCD. Finally, two real applications based on touristic data show the impact of the generalized Gibert's metrics in clustering procedures and, in consequence, the impact of taking into account the reference ontology in clustering. The main conclusion is that the reference ontology, when available, can sensibly improve the meaningfulness of the final clusters.Peer ReviewedPostprint (published version

Categorical database generalization in GIS

Key words: Categorical database, categorical database generalization, Formal data structure, constraints, transformation unit, classification hierarchy, aggregation hierarchy, semantic similarity, data model, Delaunay triangulation network. semantic similarity evaluation model.Categorical databases are widely used in GIS for different kinds of application, analysis, planning, evaluation and management. Database generalization that derives different resolution databases from a single database with more detail is one of the key research problems and a hot research point in the GIS and Cartography field. This dissertation presents a framework for categorical database generalization in GIS. It includes defining conceptual aspects of current categorical database generalization transformation and constraints for generalization transformation, elaboration on supporting data structure and transformation units, development of auxiliary analysis methods, and demonstration of some application examples.Database generalization is considered as a transformation process. Three kinds of transformation are defined based on the characteristics of categorical database and categorical database generalization. They are geo-spatial model transformation, object transformation and relation transformation. Each transformation has a certain function and deals with some aspects of database. Geo-spatial transformation is mainly used to define the content framework of a new database and decide the theme of a new database. Object transformation and relation transformation deal with transformations of thematic and geometric aspects of objects and relationship between objects from an existing database to a new database.Database generalization (transformation) requires a data structure that strongly supports data organization, spatial analysis and decision-making in a database. The design of a data structure should take two functions into account. One provides the basis for describing and organizing spatial objects and the relationships between them. and the other is for analyzing and supporting operations on spatial objects. This thesis introduces the IEFDS, an integrated and extended version of FDS, as a data model to support automated database generalization transformation. The addition to FDS is triangles. The triangles and their classification are proposed based on constituent properties of triangles in IEFDS which plays an important role in the extended adjacent and inclusion relations and extracting the skeleton line. Some examples of spatial query operations that make use of the extended adjacent relation and semantic triangles are also provided in this thesis.In a categorical database, similarity between object types can be described by a similarity measure. The similarity is application-dependent. In a sense, the similarity will control and guide database transformation operations. The similarity evaluation model and similarity matrix are proposed for analyzing and representing similarity between objects and object types in this study which is based on Set-theory, classification and aggregation hierarchy. The constraints such as transformation conditions play a key role in the process of databasegeneralization. Constraints can be used to identify conflicting areas, guide choices of operationsand trigger operations as well as govern the database generalization. The processes of generalization should be performed by a series of operations under the control of constraints. Three types of constraints, data model. object and relationships based on an object-oriented database are proposed in landuse database generalization. These constraints can be specified interactively by users and varied to reflect different objectives or purposes. These types of constraints are applicationdependent. This will make the database generalization process very flexible/adaptive, and the decisionmaking can be based on geographic meaning and not simply on the geometry of an object.An important element proposed in this study is the transformation unit. It is an important process unit as many generalization problems need to be solved by considering a subset of related objects as a whole, rather than treating them individually. In a sense, the transformation unit is a basic analysis. processing, decision-making unit and a trigger to aggregation operation processes and it plays an important role in database transformation. The conflicted objects and its (their) related objects are organized into a transformation unit. A transformation unit that "brings together- a subset of objects can he created by conflict,; in thematic and /or geometric aspects of objects or spatial relation among objects or integrating them. The main purpose of creating a transformation unit is for the preparationofan aggregation operation. It limits the area and numberofa setofrelated objects in an aggregation operation. The different conflict types will create different types of transformation units. For this study, four types of transformation units are considered based on the constraints discussed. Each of which has a corresponding aggregation operation.The auxiliary analysis methods (algorithms) are needed to actually perform spatial analysis and transformations. The most fundamental tasks are to identify where to generalize, how to generalize, and when to generalize. The thesis introduces a number of auxiliary analysis methods that have been developed to solve a number of important geometric and thematic problems in database trans, form ati on. These auxiliary analysis methods include semantic similarity rnatrix, computing a model of similarity, detection and creation of transformation units, area object aggregation analysis and the process based on transformation units, multineighborhood, object cluster and creation of catchments hierarchy etc.Such examples of the application are included in the thesis as object cluster, land use aggregation and automated organization of hierarchical catchments. The application examples demonstrate the applicability and benefits of the IEFDS and similarity evaluation model. These supporting models play a key role in organizing thematic and geometric data, spatial analysis and spatial query in database generalization. It also proved that a lot of critical geometric and thematic problems in database generalization can be solved, or can be solved in a more efficient way, with the support of an adequate data model.</font

The 1993 Goddard Conference on Space Applications of Artificial Intelligence

This publication comprises the papers presented at the 1993 Goddard Conference on Space Applications of Artificial Intelligence held at the NASA/Goddard Space Flight Center, Greenbelt, MD on May 10-13, 1993. The purpose of this annual conference is to provide a forum in which current research and development directed at space applications of artificial intelligence can be presented and discussed

Dwelling on ontology - semantic reasoning over topographic maps

The thesis builds upon the hypothesis that the spatial arrangement of topographic features, such as buildings, roads and other land cover parcels, indicates how land is used. The aim is to make this kind of high-level semantic information explicit within topographic data. There is an increasing need to share and use data for a wider range of purposes, and to make data more definitive, intelligent and accessible. Unfortunately, we still encounter a gap between low-level data representations and high-level concepts that typify human qualitative spatial reasoning. The thesis adopts an ontological approach to bridge this gap and to derive functional information by using standard reasoning mechanisms offered by logic-based knowledge representation formalisms. It formulates a framework for the processes involved in interpreting land use information from topographic maps. Land use is a high-level abstract concept, but it is also an observable fact intimately tied to geography. By decomposing this relationship, the thesis correlates a one-to-one mapping between high-level conceptualisations established from human knowledge and real world entities represented in the data. Based on a middle-out approach, it develops a conceptual model that incrementally links different levels of detail, and thereby derives coarser, more meaningful descriptions from more detailed ones. The thesis verifies its proposed ideas by implementing an ontology describing the land use ‘residential area’ in the ontology editor Protégé. By asserting knowledge about high-level concepts such as types of dwellings, urban blocks and residential districts as well as individuals that link directly to topographic features stored in the database, the reasoner successfully infers instances of the defined classes. Despite current technological limitations, ontologies are a promising way forward in the manner we handle and integrate geographic data, especially with respect to how humans conceptualise geographic space

Advanced techniques for the management of geological mapping

This research is deemed of importance in the solution of one of the main complex problems in geological map production, the transfer from the 1:25.000 geologic data base, that has a resolution corresponding to that at which data are gathered in the field, to the printing of 1:50.000 geological maps. The problems relate mainly to the greater detail of information contained in the database and the smaller printing scale. They can be classified into the design of a geological database scheme that allows the generalization process based on the rules relating the geological objects to one another, symbol overcrowding, and symbol overlapping. The challenge is to specify and implement a digital version of the decision rules used by geologists and cartographers to generate the final map. Often in practice these rules tend to be highly ambiguous, subjective, and inadequate in view of the modern need of automated generalization of geological information for land-use planning. The proposed system is based on the application of conventional and artificial intelligence computer techniques to the production of digital geological cartography, from the gathering of geologic data in the field to some printed product of wide usability. The objectives can be summarised as follows: 1 A support system for the iterative identification and characterization of geological objects based on an ad hoc geological and stratigraphic dictionary; 2 The identification and implementation of a hierarchical geological database schema for the automated reclassification or generalization of a geological database; 3 A hierarchical expert system for the automated revision and multiple representation of a geological database in view of new interpretation criteria of the geological information or for the production of maps on demand; 4 A system for avoiding symbol overcrowding or overlapping during the production of a geological map, which identifies the geological rules interacting between the geological objects represented in a map

A lightweight, graph-theoretic model of class-based similarity to support object-oriented code reuse.

The work presented in this thesis is principally concerned with the development of a method and set of tools designed to support the identification of class-based similarity in collections of object-oriented code. Attention is focused on enhancing the potential for software reuse in situations where a reuse process is either absent or informal, and the characteristics of the organisation are unsuitable, or resources unavailable, to promote and sustain a systematic approach to reuse. The approach builds on the definition of a formal, attributed, relational model that captures the inherent structure of class-based, object-oriented code. Based on code-level analysis, it relies solely on the structural characteristics of the code and the peculiarly object-oriented features of the class as an organising principle: classes, those entities comprising a class, and the intra and inter-class relationships existing between them, are significant factors in defining a two-phase similarity measure as a basis for the comparison process. Established graph-theoretic techniques are adapted and applied via this model to the problem of determining similarity between classes. This thesis illustrates a successful transfer of techniques from the domains of molecular chemistry and computer vision. Both domains provide an existing template for the analysis and comparison of structures as graphs. The inspiration for representing classes as attributed relational graphs, and the application of graph-theoretic techniques and algorithms to their comparison, arose out of a well-founded intuition that a common basis in graph-theory was sufficient to enable a reasonable transfer of these techniques to the problem of determining similarity in object-oriented code. The practical application of this work relates to the identification and indexing of instances of recurring, class-based, common structure present in established and evolving collections of object-oriented code. A classification so generated additionally provides a framework for class-based matching over an existing code-base, both from the perspective of newly introduced classes, and search "templates" provided by those incomplete, iteratively constructed and refined classes associated with current and on-going development. The tools and techniques developed here provide support for enabling and improving shared awareness of reuse opportunity, based on analysing structural similarity in past and ongoing development, tools and techniques that can in turn be seen as part of a process of domain analysis, capable of stimulating the evolution of a systematic reuse ethic

Knowledge Representation and Reasoning with Definitional Taxonomies

We provide a detailed overview of knowledge representation issues in general and terminological knowledge representation in particular. Terminological knowledge representation, which originated with KL-ONE, is an object-centered approach in the tradition of semantic networks and frames. Terminological systems share three distinguishing characteristics: (1) They are intended to support the definition of conceptual terms comprising a "terminology" and to facilitate reasoning about such terms. As such, they are explicitly distinguished from assertional systems which make statements of fact based on some terminology. (2) Their concepts are arranged in a taxonomy so that the attributes of a concept apply to its descendants without exception. Thus, the proper location of any concept within the taxonomy can be uniquely determined from the concept‘s definition by an automatic process known as classification. (3) They restrict the expressiveness of their language to achieve relatively efficient performance. We first survey important general issues in the field of knowledge representation, consider the semantics of concepts and their interrelationship, and examine the intertwined notions of taxonomy and inheritance. After discussing classification, we present a number of implemented terminological systems in detail, along with several hybrid systems which couple terminological and assertional reasoning components. We conclude by assessing the current state of the art in terminological knowledge representation