Gruninger, Michael


City Knowledge Patterns: A Standard for Smart City Knowledge Management

AAAI Conferences

In this paper, we describe our efforts in recognizing knowledge requirements of city governments. This model, which we denote as City Knowledge Patterns, is a set of standard Knowledge Patterns identifying the concepts required to represent municipal knowledge.


The Complexity of Partial-Order Plan Viability Problems

AAAI Conferences

Estimating the distance from a current partial-order plan to the goal state of the plan task is a challenging problem, with past research achieving only limited success. In an effort to understand the reasons for this situation, we investigate the computational complexity of the partial-order plan viability problem. We define several boundaries between the tractable and intractable subclasses of the problem, from which we identify several constraints that contribute to the computational intractability of the problem. These results bring new insights into the design and the development of future  partial-order planning heuristics.


Ontologies for Dates and Duration

AAAI Conferences

Reasoning with dates and duration has long been addressed by the community. Existing duration ontologies, however, lack complete axiomatizations of their intended models; many simply represent timedurations as real numbers and treat the duration function as a metric on the timeline. We show that such approaches are inadequate and provide a first-order ontology of duration that overcomes these limitations.


Semantic Integration through Invariants

AI Magazine

A semantics-preserving exchange of information between two software applications requires mappings between logically equivalent concepts in the ontology of each application. The challenge of semantic integration is therefore equivalent to the problem of generating such mappings, determining that they are correct, and providing a vehicle for executing the mappings, thus translating terms from one ontology into another. This article presents an approach toward this goal using techniques that exploit the model-theoretic structures underlying ontologies. With these as inputs, semiautomated and automated components may be used to create mappings between ontologies and perform translations.


Semantic Integration through Invariants

AI Magazine

A semantics-preserving exchange of information between two software applications requires mappings between logically equivalent concepts in the ontology of each application. The challenge of semantic integration is therefore equivalent to the problem of generating such mappings, determining that they are correct, and providing a vehicle for executing the mappings, thus translating terms from one ontology into another. This article presents an approach toward this goal using techniques that exploit the model-theoretic structures underlying ontologies. With these as inputs, semiautomated and automated components may be used to create mappings between ontologies and perform translations.


The Process Specification Language (PSL) Theory and Applications

AI Magazine

The PROCESS SPECIFICATION language (PSL) has been designed to facilitate correct and complete exchange of process information among manufacturing systems, such as scheduling, process modeling, process planning, production planning, simulation, project management, work flow, and business-process reengineering. We give an overview of the theories within the PSL ontology, discuss some of the design principles for the ontology, and finish with examples of process specifications that are based on the ontology.


The Process Specification Language (PSL) Theory and Applications

AI Magazine

The PROCESS SPECIFICATION language (PSL) has been designed to facilitate correct and complete exchange of process information among manufacturing systems, such as scheduling, process modeling, process planning, production planning, simulation, project management, work flow, and business-process reengineering. We give an overview of the theories within the PSL ontology, discuss some of the design principles for the ontology, and finish with examples of process specifications that are based on the ontology.


Enterprise Modeling

AI Magazine

To remain competitive, enterprises must become increasingly agile and integrated across their functions. Enterprise models play a critical role in this integration, enabling better designs for enterprises, analysis of their performance, and management of their operations. This article motivates the need for enterprise models and introduces the concepts of generic and deductive enterprise models. It reviews research to date on enterprise modeling and considers in detail the Toronto virtual enterprise effort at the University of Toronto.


AAAI 1997 Spring Symposium Reports

AI Magazine

The Association for the Advancement of Artificial Intelligence (AAAI) held its 1997 Spring Symposium Series on 24 to 26 March at Stanford University in Stanford, California. This article contains summaries of the seven symposia that were conducted: (1) Artificial Intelligence in Knowledge Management; (2) Computational Models for Mixed-Initiative Interaction; (3) Cross-Language Text and Speech Retrieval; (4) Intelligent Integration and Use of Text, Image, Video, and Audio Corpora; (5) Natural Language Processing for the World Wide Web; (6) Ontological Engineering; and (7) Qualitative Preferences in Deliberation and Practical Reasoning.


AAAI 1997 Spring Symposium Reports

AI Magazine

The Association for the Advancement of Artificial Intelligence (AAAI) held its 1997 Spring Symposium Series on 24 to 26 March at Stanford University in Stanford, California. This article contains summaries of the seven symposia that were conducted: (1) Artificial Intelligence in Knowledge Management; (2) Computational Models for Mixed-Initiative Interaction; (3) Cross-Language Text and Speech Retrieval; (4) Intelligent Integration and Use of Text, Image, Video, and Audio Corpora; (5) Natural Language Processing for the World Wide Web; (6) Ontological Engineering; and (7) Qualitative Preferences in Deliberation and Practical Reasoning.