the problem of modeling semi-structured data is important in many application areas such as multimedia data management, biological databases, digital libraries, and data integration. Graph schemes (Buneman et al. 1997...
详细信息
ISBN:
(纸本)0262510987
the problem of modeling semi-structured data is important in many application areas such as multimedia data management, biological databases, digital libraries, and data integration. Graph schemes (Buneman et al. 1997) have been proposed recently as a simple and elegant formalism for representing semistructured data. In this model, schemas are represented as graphs whose edges are labeled with unary formulae of a theory, and the notions of conformance of a database to a schema and of subsumption between two schemas are defined in terms of a simulation relation. Several authors have stressed the need of extending graph schemas with various types of constraints, such as edge existence and constraints on the number of outgoing edges. In this paper we analyze the appropriateness of various knowledge representation formalisms for representing and reasoning about graph schemas extended with constraints. We argue that neither First Order Logic, nor Logic Programming nor Frame-based languages are satisfactory for this purpose, and present a solution based on very expressive Description Logics. We provide techniques and complexity analysis for the problem of deciding schema subsumption and conformance in various interesting cases, that differ by the expressive power in the specification of constraints.
this paper focuses on the development of Petri net models and tools for the control and performance analysis of signalized traffic intersections and networks of connected intersections. the potential for Petri nets as...
详细信息
this paper describes portions of a novel Artificial Intelligence (AI) system called MARIKA ha modifies he theory contained in a simulation model of he normal human vestibular system. MARIKA demonstrates the synergy of...
详细信息
ISBN:
(纸本)0780313771
this paper describes portions of a novel Artificial Intelligence (AI) system called MARIKA ha modifies he theory contained in a simulation model of he normal human vestibular system. MARIKA demonstrates the synergy of proven AI diagnosis and design techniques, qualitative ad quantitative representation, as well as modeling and simulation for a routine form of automated scientific discovery in the clinical vestibular domain.
the general problem of the representation and performance-oriented modeling of the behavior of distributed computer systems is discussed. A description of an integrated System Design/Static and Dynamic modeling (SD/SD...
the general problem of the representation and performance-oriented modeling of the behavior of distributed computer systems is discussed. A description of an integrated System Design/Static and Dynamic modeling (SD/SDM) tool set is presented. In SD/SDM, a data base organization is used for the representation of the architecture, load, application software and the operating system of a distributed system. modeling is performed statically or dynamically through a generic simulation model that does not require recompilation. Applications of SD/SDM in actual projects are discussed briefly.
this volume constitutes the refereed proceedings of the 15th International conference on Conceptual modeling, ER '96, held in Cottbus, Germany, in October 1996.;the volume presents three invited contributions toge...
详细信息
ISBN:
(数字)9783540706854
ISBN:
(纸本)9783540617846
this volume constitutes the refereed proceedings of the 15th International conference on Conceptual modeling, ER '96, held in Cottbus, Germany, in October 1996.;the volume presents three invited contributions together with 29 revised full papers selected from 110 submissions. the papers cover all current aspects of the entity-relationship approach and conceptual modeling; they are organized in sections on advanced schema design, processes, query languages, representation, integration, principles of database design, transformation, enhanced modelling, capturing design information, and evolution.
this book constitutes the refereed proceedings of the 15th International conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2012, held in Varna, Bulgaria in September 2012.;the 36 rev...
详细信息
ISBN:
(数字)9783642331855
ISBN:
(纸本)9783642331848
this book constitutes the refereed proceedings of the 15th International conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2012, held in Varna, Bulgaria in September 2012.;the 36 revised full papers presented were carefully reviewed and selected from numerous submissions. the papers are organized in topical sections on natural language processing, social networks, knowledge representation and reasoning, machine learning, planning and agents, search, and computer vision.
暂无评论