Structured Objects: Modeling and Reasoning

No abstract is available for this paper.

• Publication year

  1995

• Venue

  International Conference on Deductive and Object-Oriented Databases

• Publication date

  1995-12-04

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/3-540-60608-4_43
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Object Database Standard: ODMG 2.0

  1997cited by this paper
• What's in an Aggregate: Foundations for Description Logics with Tuples and Sets

  1995cited by this paper
• ODMG-93: a standard for object-oriented DBMSs

  1994cited by this paper
• A Unified Framework for Class-Based Representation Formalisms

  1994cited by this paper
• Making object-oriented schemas more expressive

  1994cited by this paper
• Subsumption between queries to object-oriented databases

  1994cited by this paper
• Boosting the Correspondence between Description Logics and Propositional Dynamic Logics

  1994cited by this paper
• From structured documents to novel query facilities

  1994cited by this paper
• Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics

  1994cited by this paper
• Modal and temporal logics

  1993cited by this paper
• Representing and Using Interschema Knowledge in Cooperative Information Systems

  1993cited by this paper
• Deductive Entity-Relationship Modeling

  1993cited by this paper
• The Object Database Standard: ODMG-93

  1993cited by this paper
• On taxonomic reasoning in conceptual design

  1992cited by this paper
• Building an Object-Oriented Database System, The Story of O2

  1992cited by this paper
• The KL-ONE family

  1992cited by this paper
• The O2 object-oriented database system

  1992cited by this paper
• Logics of Programs

  1991cited by this paper
• Objects and views

  1991cited by this paper
• Modeling complex structures in object-oriented logic programming

  1989cited by this paper
• Object identity as a query language primitive

  1989cited by this paper
• On simultaneously determinizing and complementing omega -automata

  1989cited by this paper
• Modeling Complex Structures in Object-Oriented Databases

  1989cited by this paper
• A Survey of Theoretical Research on Typed Complex Database Objects

  1988cited by this paper
• Semantic database modeling: survey, applications, and research issues

  1987cited by this paper
• Automata theoretic techniques for modal logics of programs: (Extended abstract)

  1984cited by this paper
• Propositional Dynamic Logic of Looping and Converse Is Elementarily Decidable

  1982cited by this paper
• Propositional Dynamic Logic of Regular Programs

  1979cited by this paper

• Description Logics for Ontologies Zusammenfassung der wissenschaftlichen

  2019influential citation
• On the Data Complexity of Consistent Query Answering

  2012cites this paper
• Knowledge Representation Approach to Information Integration

  2011cites this paper
• Hybrid planning & scheduling

  2009cites this paper
• A DL-Based Approach to Integrate Relational Data Sources into the Semantic Web. (Une approche basée sur la logique de description pour l'intégration de données relationnelles dans le web sémantique)

  2008cites this paper
• Path-Based Identification Constraints in Description Logics

  2008cites this paper
• Conjunctive query containment and answering under description logic constraints

  2008cites this paper
• Structured objects in owl: representation and reasoning

  2008influential citation
• Complexity of Reasoning With Expressive Ontology Mappings

  2008cites this paper
• KRDB Research Centre Technical Report : On relating heterogeneous elements from different ontologies

  2007cites this paper
• The Description Logic Handbook

  2007cites this paper
• Description Logics Modal Logics for Class Based Modeling

  2007cites this paper
• Formalisms for Representing Ontologies : State of the Art Survey Deliverable TONES-D 06

  2006cites this paper
• Reasoning on UML class diagrams

  2005cites this paper
• Conjunctive Query Containment and Answering under Description Logics Constraints

  2005cites this paper
• C URRICULUM V ITAE ET S TUDIORUM

  2004cites this paper
• Technologies for Army Knowledge Fusion

  2004cites this paper
• Description Logics for Ontologies

  2003cites this paper
• Bringing Together Description Logics and Database in an Object Oriented Model

  2002cites this paper
• Toward Updates in Description Logics

  2002cites this paper
• Description logics: foundations for class-based knowledge representation

  2002cites this paper
• SMO System Management Ontology Description Logic Formalization of CIM

  2001influential citation
• On Decidability and Complexity of Description Logics with Uniqueness Constraints

  2001cites this paper
• Reasoning in Expressive Description Logics

  2001cites this paper
• Identification Constraints and Functional Dependencies in Description Logics

  2001cites this paper
• Part-Whole Reasoning in an Object-Centered Framework

  2001cites this paper
• Workshop on Comparing Description and Frame Logics 1

  2001cites this paper
• Ontology of Integration and Integration of Ontologies

  2001cites this paper
• A Logical Account of Causal and Topological Maps

  2001cites this paper
• Description Logic Formalization of CIM

  2001cites this paper
• Keys for Free in Description Logics

  2000cites this paper
• Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL

  2000cites this paper
• A Knowledge Based Paradigm for Querying Databases

  2000cites this paper
• How to Decide Query Containment Under Constraints Using a Description Logic

  2000cites this paper
• Keys for Free in Description Logics In Proc. of 2000 Int. Workshop on Description Logics (DL 2000)

  2000cites this paper
• Relating Ontology Languages and Web Standards.

  2000cites this paper
• ICARUS: Intelligent Content-Based Retrieval of 3D Scene

  2000cites this paper
• Creazione di una vista globale d'impresa con il sistema MOMIS basato su Description Logics

  2000cites this paper
• Conceptual Modeling in a Document Management Environment Using Part-of Reasoning in Description Logics

  2000cites this paper
• A generic concept-based object-oriented geographical information system

  1999cites this paper
• Query Containment Using a DLR ABox

  1999cites this paper
• ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes

  1999cites this paper
• Representing and Reasoning on XML Documents: A Description Logic Approach

  1999cites this paper
• A Data Warehouse Conceptual Data Model for Multidimensional Aggregation

  1999cites this paper
• Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees

  1999cites this paper
• Query Containment Using a DLR ABox Preliminary Version

  1999cites this paper
• Terminological knowledge representation systems in a process engineering application

  1998cites this paper
• Exploiting Schema Knowledge for the Integration of Heterogeneous Sorces

  1998cites this paper
• Description Logics for Conceptual Data Modeling

  1998cites this paper
• Information integration: conceptual modeling and reasoning support

  1998cites this paper
• On the decidability of query containment under constraints

  1998cites this paper
• Logics for Databases and Infor-mation Systems

  1998cites this paper
• Source integration in data warehousing

  1998cites this paper
• Workshop on Comparing Description and Frame Logics

  1998cites this paper
• Description Logic Framework for Information Integration

  1998cites this paper
• A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases

  1998cites this paper
• DOOD and DL - Do we need an Integration?

  1997cites this paper
• Dwq : Esprit Long Term Research Project, No 22469 Conjunctive Query Containment in Description Logies with N-ary Relations Conjunctive Query Containment in Description Logics with N-ary Relations

  1997cites this paper
• A Uniform Framework for Concept Definitions in Description Logics

  1997cites this paper
• Extraction of Informations from Highly Heterogeneous Sources of Textual Data

  1997cites this paper
• Representing and Reasoning on SGML Documents

  1997influential citation
• Adding Uniqueness Constraints to Description Logics (Preliminary Report)

  1997cites this paper
• Extensible Knowledge Base Management for Description

  1997cites this paper
• Dwq : Esprit Long Term Research Project, No 22469 a Uniform Framework for Concept Definition in Description Logics a Uniform Framework for Concept Deenitions in Description Logics

  1997cites this paper
• Conjunctive Query Containment in Description Logics with n-ary Relations

  1997influential citation
• Description Logics for Information

  1996cites this paper
• Open Problems with Part-Whole Relations

  1996cites this paper
• Theses

  1996cites this paper
• Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity

  1996cites this paper
• Part-Whole Relations in Object-Centered Systems: An Overview

  1996cites this paper
• Knowledge representation in process engineeringFranz

  1996cites this paper
• Finite Model Reasoning in Description Logics

  1996cites this paper
• Knowledge Representation in Process Engineering

  1996cites this paper
• TBox and ABox Reasoning in Expressive Description Logics

  1996influential citation
• Knowledge representation in process engineeringUlrike

  1996cites this paper
• Conceptual data model with structured objects for statistical databases

  1996influential citation
• Knowledge-based access to the Web

  1996cites this paper
• Representing SGML Documents in Description Logics

  1996cites this paper
• Number Restrictions on Complex Roles in Description Logics: A Preliminary Report

  1996cites this paper
• Increasing the Power of Structured Objects

  1995cites this paper
• Working notes of the KI'95 Workshop : KRDB-95 - Reasoning about structured objects : knowledge representation meets databases ; Bielefeld, Germany, Sept. 11-12, 1995

  1995cites this paper
• Corrections to "On the data complexity of consistent query answering over graph databases [Journal of Computer and System Sciences 88 (2017) 164-194]"

  year unknowncites this paper