Results 1 - 10 of 8,323

On Semantic Issues in Story Diagrams

by Matthias Tichy, Matthias Meyer, Holger Giese
"... Story Diagrams provided by Fujaba are a powerful visual formalism for the specification of structural transformations. Their visual appearance is based on UML activity and UML collaboration diagrams. The semantics draws on graph trans-formation systems and therefore has a solid foundation. How-ever, ..."
Abstract - Cited by 2 (2 self) - Add to MetaCart
Story Diagrams provided by Fujaba are a powerful visual formalism for the specification of structural transformations. Their visual appearance is based on UML activity and UML collaboration diagrams. The semantics draws on graph trans-formation systems and therefore has a solid foundation. How

1.1 The Semantic Issue

by Hai Zhuge
"... Abstract. A Semantic Link Network (SLN) consists of nodes (entities, features, concepts, schemas or communities) and semantic links between nodes. This paper proposes an autonomous Semantic Link Network formalism to support intelligent applications on large-scale network. The formalism integrates th ..."
Abstract - Add to MetaCart
Abstract. A Semantic Link Network (SLN) consists of nodes (entities, features, concepts, schemas or communities) and semantic links between nodes. This paper proposes an autonomous Semantic Link Network formalism to support intelligent applications on large-scale network. The formalism integrates

Logical foundations of object-oriented and frame-based languages

by Michael Kifer, Georg Lausen, James Wu - JOURNAL OF THE ACM , 1995
"... We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods, ..."
Abstract - Cited by 876 (65 self) - Add to MetaCart
that come from object-oriented programming have direct representation in F-logic; other, secondary aspects of this paradigm are easily modeled as well. The paper also discusses semantic issues pertaining to programming with a deductive object-oriented language based on a subset of F-logic.

Data Exchange: Semantics and Query Answering

by Ronald Fagin, Phokion G. Kolaitis, Renee J. Miller, Lucian Popa - In ICDT , 2003
"... Data exchange is the problem of taking data structured under a source schema and creating an instance of a target schema that reflects the source data as accurately as possible. In this paper, we address foundational and algorithmic issues related to the semantics of data exchange and to query answe ..."
Abstract - Cited by 427 (41 self) - Add to MetaCart
Data exchange is the problem of taking data structured under a source schema and creating an instance of a target schema that reflects the source data as accurately as possible. In this paper, we address foundational and algorithmic issues related to the semantics of data exchange and to query

The Generative Lexicon

by James Pustejovsky - Computational Linguistics , 1991
"... this paper, I will discuss four major topics relating to current research in lexical semantics: methodology, descriptive coverage, adequacy of the representation, and the computational usefulness of representations. In addressing these issues, I will discuss what I think are some of the central prob ..."
Abstract - Cited by 1341 (45 self) - Add to MetaCart
this paper, I will discuss four major topics relating to current research in lexical semantics: methodology, descriptive coverage, adequacy of the representation, and the computational usefulness of representations. In addressing these issues, I will discuss what I think are some of the central

Working Knowledge

by Thomas Davenport, Laurence Prusak, Gary Wills, Harith Alani, Ronald Ashri, Richard Crowder, Yannis Kalfoglou, Sanghee Kim , 1998
"... While knowledge is viewed by many as an asset, it is often difficult to locate particular items within a large electronic corpus. This paper presents an agent based framework for the location of resources to resolve a specific query, and considers the associated design issue. Aspects of the work ..."
Abstract - Cited by 527 (0 self) - Add to MetaCart
While knowledge is viewed by many as an asset, it is often difficult to locate particular items within a large electronic corpus. This paper presents an agent based framework for the location of resources to resolve a specific query, and considers the associated design issue. Aspects of the work

Classification in the KL-ONE knowledge representation system

by James G. Schmolze, Thomas A. Lipkis - COGNITIVE SCIENCE , 1985
"... KL-ONE lets one define and use a class of descriptive terms called Concepts, where each Concept denotes a set of objects A subsumption relation between Concepts is defined which is related to set inclusion by way of a semantics for Concepts. This subsumption relation defines a partial order on Conce ..."
Abstract - Cited by 673 (8 self) - Add to MetaCart
KL-ONE lets one define and use a class of descriptive terms called Concepts, where each Concept denotes a set of objects A subsumption relation between Concepts is defined which is related to set inclusion by way of a semantics for Concepts. This subsumption relation defines a partial order

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

by Maria Fox, Derek Long , 2003
"... In recent years research in the planning community has moved increasingly towards application of planners to realistic problems involving both time and many types of resources. For example, interest in planning demonstrated by the space research community has inspired work in observation scheduling, ..."
Abstract - Cited by 609 (41 self) - Add to MetaCart
, planetary rover exploration and spacecraft control domains. Other temporal and resource-intensive domains including logistics planning, plant control and manufacturing have also helped to focus the community on the modelling and reasoning issues that must be confronted to make planning technology meet

Semantic Issues in the Verification of Agent Communication Languages

by Michael Wooldridge - Autonomous Agents and Multi-Agent Systems , 1999
"... This article examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such languages -- a semantics where conformance (or otherwise) to the semantics could be determined by an independent observer. The ..."
Abstract - Cited by 83 (4 self) - Add to MetaCart
This article examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such languages -- a semantics where conformance (or otherwise) to the semantics could be determined by an independent observer

Querying object-oriented databases

by Michael Kifer, Won Kim, Yehoshua Sagiv - ACM SIGMOD INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA , 1992
"... We present a novel language for querying object-oriented databases. The language is built around the idea of extended path expressions that substantially generalize [ZAN83], and on an adaptation of the first-order formalization of object-oriented languages from [KW89, KLW90, KW92]. The language inco ..."
Abstract - Cited by 492 (6 self) - Add to MetaCart
incorporates features not found in earlier proposals; it is easier to use and has greater expressive power. Some of the salient features of our language are: ffl Precise model-theoretic semantics. ffl A very expressive form of path expressions that not only can do joins, selections and unnesting, but can also
Results 1 - 10 of 8,323