How to Decide Query Containment Under Constraints Using a Description Logic

No abstract is available for this paper.

• Publication year

  2000

• Venue

  Logic Programming and Automated Reasoning

• Publication date

  2000-11-06

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/3-540-44404-1_21
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Reasoning with Individuals for the Description Logic SHIQ

  2000influential reference
• Query Containment Using a DLR ABox

  1999cited by this paper
• ABox Reasoning with Transitive Roles and Axioms

  1999cited by this paper
• A Description Logic with Transitive and Inverse Roles and Role Hierarchies

  1999cited by this paper
• Atrial reentrant tachycardia after heart transplantation.

  1999cited by this paper
• Practical Reasoning for Expressive Description Logics

  1999cited by this paper
• Answering Queries Using Views in Description Logics

  1999cited by this paper
• FaCT and iFaCT

  1999cited by this paper
• Description Logic Framework for Information Integration

  1998cited by this paper
• Source integration in data warehousing

  1998influential reference
• Description Logics for Conceptual Data Modeling

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

  1998influential reference
• Conjunctive query containment revisited

  1997cited by this paper
• CARIN: A Representation Language Combining Horn Rules and Description Logics

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

  1996influential reference
• Theses

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

  1995cited by this paper
• Structured Objects: Modeling and Reasoning

  1995cited by this paper
• Foundations of Databases

  1994cited by this paper
• Reasoning with Individuals in Concept Languages

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

  1993cited by this paper
• Containment and minimization of positive conjunctive queries in OODB's

  1992cited by this paper
• Testing containment of conjunctive queries under functional and inclusion dependencies

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

  1979cited by this paper
• Optimal implementation of conjunctive queries in relational data bases

  1977cited by this paper
• 8 DESCRIPTION LOGICS FOR CONCEPTUAL DATA MODELING

  year unknowncited by this paper

• SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics

  2022cites this paper
• First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics

  2022cites this paper
• FO Rewritability for OMQ using Beth Definability and Interpolation

  2021cites this paper
• First Order Rewritability for Ontology Mediated Querying in Horn-DLFD

  2020cites this paper
• Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)

  2020cites this paper
• SPES: A Two-Stage Query Equivalence Verifier

  2020cites this paper
• Ontologies and Data Management: A Brief Survey

  2020cites this paper
• OnGIS: Geospatial Data Integration Using Semantic Technologies and Query Containment

  2019cites this paper
• OnGIS

  2019cites this paper
• Automated Verification of Query Equivalence Using Satisfiability Modulo Theories

  2019cites this paper
• Descriptive Logic for Software Engineering Ontology: Aspect Software Quality Control

  2018cites this paper
• A Decidable Very Expressive Description Logic for Databases

  2017cites this paper
• OnGIS: Ontology-Based Geospatial Data Integration and Retrieval

  2016influential citation
• OnGIS: Semantic Query Broker for Heterogeneous Geospatial Data Sources

  2016cites this paper
• Refining Semantically Annotated Business Process Diagrams

  2016cites this paper
• Beyond relational: a database architecture and federated query optimization in a multi-modal healthcare environment

  2013cites this paper
• Conjunctive Query Answering for the Description Logic SHIQ

  2011cites this paper
• A logic-based approach to multimedia interpretation

  2011cites this paper
• A Causal MultiAgent System Approach for Automating Processes in Intelligent Organizations

  2010cites this paper
• Tractable query answering for description logics via query rewriting

  2010cites this paper
• Policy based contracting in semantic web service markets

  2010cites this paper
• Querying the Semantic Web: An Efficient Approach Using Relational Databases

  2010cites this paper
• Towards a Causal Framework for Intelligent Agents Development

  2009cites this paper
• Knowledge Management Systems

  2009cites this paper
• Semantic Annotation of Objects

  2009cites this paper
• Flexible planning using fuzzy description logics: Theory and application

  2009cites this paper
• Semantic Annotation of Objects

  2009cites this paper
• Chapter XI Semantic Annotation of Objects

  2009cites this paper
• Evaluation of Automatically Generated Semantic Descriptions of Multimedia Documents

  2009cites this paper
• Semantic specification and evaluation of bids in web-based markets

  2008cites this paper
• Ontology-Based Reasoning Techniques for Multimedia Interpretation and Retrieval

  2008cites this paper
• Approximate information retrieval based on multielement bounds

  2008cites 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
• Unions of Conjunctive Queries in SHOQ

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

  2008cites this paper
• Dynamic Description Logic Based Services Semantic Matching

  2008cites this paper
• Semantic technologies based on logic programming

  2008cites this paper
• Research on spatio-temporal ontology based on description logic

  2008cites this paper
• Chapter 3 Description Logics

  2007cites this paper
• Querying Description Logic Knowledge Bases

  2007cites this paper
• Automatic generation of data processing workflows for transportation modeling

  2007cites this paper
• Conjunctive Queries for EL with Composition of Roles

  2007cites this paper
• Conjunctive Query Answering for the Description Logic SHIQ

  2007cites this paper
• Conjunctive Query Entailment for SHOQ

  2007cites this paper
• Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements

  2007cites this paper
• Improving Responsiveness of Ontology-Based Query Formulation

  2007cites this paper
• A Formal Framework for Description of Semantic Web Services

  2007cites this paper
• Conjunctive Queries for a Tractable Fragment of OWL 1.1

  2007influential citation
• Conjunctive Queries for EL with Role Composition ⋆

  2007cites this paper
• Ontology-Based Services: Usage Scenarios and Test Ontologies

  2007cites this paper
• Automatically Composing Data Workflows with Relational Descriptions and Shim Services

  2007cites this paper
• A New Method of Performance Test for Network Storage

  2007cites this paper
• OWL for the Novice: A Logical Perspective

  2007cites this paper
• Dynamic Description Logic for Describing Semantic Web Services

  2007cites this paper
• Conjunctive Queries for a Tractable Fragment of

  2007cites this paper
• A Formal Framework for Describing Information Providing Web Services

  2006cites this paper
• Tasks for Ontology Access , Processing , and Usage Deliverable TONES-D 10

  2006cites this paper
• Integrating Description Logics and Relational Databases

  2006cites this paper
• Reasoning in description logics using resolution and deductive databases

  2006cites this paper
• D 4 . 1 : Methodology and Architecture for Multimedia Ontology Evolution Version 1 . 0 Final

  2006influential citation
• A policy framework for trading configurable goods and services in open electronic markets

  2006cites this paper
• Composition of Semantic Web services using Linear Logic theorem proving

  2006cites this paper
• Deciding Semantic Matching of Stateless Services

  2006cites this paper
• Conjunctive Query Answering for Description Logics with Transitive Roles

  2006cites this paper
• Conjunctive Query Answering for Description Logics with Transitive Roles Birte Glimm

  2006cites this paper
• D2.5.3 Report on Implementation and Optimisation Techniques for Ontology Query Systems

  2005cites this paper
• Answering Based on Modal Correspondence Theory

  2005cites this paper
• Combining Rules and Ontologies . A survey .

  2005cites this paper
• Checking query containment with the CQC method

  2005influential citation
• Counting in the Two Variable Guarded Logic with Transitivity

  2005cites this paper
• Description Logics in Ontology Applications

  2005cites this paper
• A Multi-Agent System for Querying Heterogeneous Data Sources with Ontologies

  2005cites this paper
• I3-D3 Combining Rules and Ontologies. A survey.

  2005cites this paper
• Applications of Description Logics: State of the Art and Research Challenges

  2005cites this paper
• Handling Cyclic Conjunctive Queries

  2005cites this paper
• The SEWASIE architecture: a multi-agent system for data integration

  2005cites this paper
• The multi-agent system architecture in SEWASIE

  2005cites this paper
• The complexity of finite model reasoning in description logics

  2005cites this paper
• An Ontology Based Visual Tool for Query Formulation Support

  2004cites this paper
• Web ontology reasoning with logic databases

  2004cites this paper
• Reasoning for Description Logics aroundSHIQ in a Resolution Framework

  2004cites this paper
• Logic-based Web services composition: from service description to process model

  2004cites this paper
• Semantics Driven Support for Query Formulation

  2004cites this paper
• Handling Boolean ABoxes

  2003cites this paper
• Finite Model Reasoning in ALCQI is EXPTIME Logics

  2003cites this paper
• Ontology Infrastructure for the Semantic Web Rule Language WonderWeb : Ontology Infrastructure for the Semantic Web

  2003cites this paper
• Description logic programs: combining logic programs with description logic

  2003cites this paper
• OntoLT: A Protg Plug-In for Ontology Extraction from Text

  2003cites this paper
• Handling Boolean A Boxes

  2003cites this paper
• Reducing OWL Entailment to Description Logic Satisfability

  2003cites this paper
• Reasoning about Uniqueness Constraints in Object Relational Databases

  2003cites this paper
• DAML Reality Check : A Case Study of KAoS Domain and Policy Services

  2003cites this paper
• Ontology-driven information extraction and integration from heterogeneous distributed autonomous data sources: A federated query centric approach.

  2002cites this paper
• Instituto Tecnológico y de Estudios Superiores de Monterrey

  2002cites this paper
• Reasoning with Expressive Description Logics: Theory and Practice

  2002cites this paper
• Querying the Semantic Web: A Formal Approach

  2002cites this paper
• A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries

  2002cites this paper
• Fine Grained Information Integration with Description Logics

  2002cites this paper
• Backtracking and Qualified Number Restrictions: Some Preliminary Results

  2002cites this paper
• Complexity results and practical algorithms for logics in knowledge representation

  2001cites this paper