Description logics: foundations for class-based knowledge representation

No abstract is available for this paper.

• Publication year

  2002

• Venue

  Proceedings 17th Annual IEEE Symposium on Logic in Computer Science

• Publication date

  2002-07-22

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1109/LICS.2002.1029843
• 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 unified modeling language reference manual

  2010influential reference
• AL-log: Integrating Datalog and Description Logics

  2004cited by this paper
• The Description Logic Handbook: Theory, Implementation, and Applications

  2003cited by this paper
• Daml+oil: a Description Logic for the Semantic Web

  2002cited by this paper
• The Complexity of the Graded µ-Calculus

  2002cited by this paper
• 2ATAs make DLs easy

  2002cited by this paper
• Indexing the Trajectories of Moving Objects

  2002cited by this paper
• High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study

  2001cited by this paper
• OilEd: a Reason-able Ontology Editor for the Semantic Web

  2001cited by this paper
• Complexity results and practical algorithms for logics in knowledge representation

  2001cited by this paper
• Reasoning in Expressive Description Logics

  2001cited by this paper
• On Decidability and Complexity of Description Logics with Uniqueness Constraints

  2001cited by this paper
• Unification in a Description Logic with Transitive Closure of Roles

  2001cited by this paper
• Hybrid logics: characterization, interpolation and complexity

  2001cited by this paper
• NEXP TIME-complete description logics with concrete domains

  2001cited by this paper
• OIL: An Ontology Infrastructure for the Semantic Web

  2001cited by this paper
• Semantic integration of heterogeneous information sources

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

  2001cited by this paper
• The Hybrid µ-Calculus

  2001influential reference
• RACER System Description

  2001cited by this paper
• The Use of CARIN Language and Algorithms for Information Integration: The PICSEL System

  2000cited by this paper
• Semantic Integration of Heterogeneous Information Sources

  2000cited by this paper
• An automata-theoretic approach to branching-time model checking

  2000cited by this paper
• The Complexity of Reasoning with Cardinality Restri tionsand Nominals in Expressive Des ription Logi sStephan

  2000cited by this paper
• Fusions of Description Logics

  2000cited by this paper
• Exptime Tableaux for ALC

  2000cited by this paper
• The i.com tool for Intelligent Conceptual Modeling

  2000cited by this paper
• Rewriting Concepts Using Terminologies

  2000cited by this paper
• Decidability issues for action guarded logics

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

  2000cited by this paper
• Tableau Algorithms for Description Logics

  2000cited by this paper
• Answering Queries Using Views over Description Logics Knowledge Bases

  2000cited by this paper
• Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees

  1999influential reference
• Reasoning with Concrete Domains

  1999cited by this paper
• Unifying Class-Based Representation Formalisms

  1999cited by this paper
• Expressiveness of Concept Expressions in First-Order Description Logics

  1999cited by this paper
• Optimizing Description Logic Subsumption

  1999cited by this paper
• Computing Least Common Subsumers in Description Logics with Existential Restrictions

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

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

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

  1998cited by this paper
• Reasoning about The Past with Two-Way Automata

  1998influential reference
• A Description Logic with Transitive and Converse Roles and Role Hierarchies

  1998cited by this paper
• What can Knowledge Representation do for Semi-Structured Data?

  1998cited by this paper
• An Epistemic Operator for Description Logics

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

  1998cited by this paper
• Combining Horn Rules and Description Logics in CARIN

  1998cited by this paper
• Using an Expressive Description Logic: FaCT or Fiction?

  1998cited by this paper
• Information integration using logical views

  1997cited by this paper
• ODB-QOPTIMIZER: a tool for semantic query optimization in OODB

  1997cited by this paper
• Semistructured data

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

  1997cited by this paper
• Reasoning in description logics

  1997cited by this paper
• Rewriting queries using views in description logics

  1997cited by this paper
• The Complexity of Concept Languages

  1997cited by this paper
• Languages, Automata, and Logic

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

  1997cited by this paper
• Query-Answering Algorithms for Information Agents

  1996cited by this paper
• Implementation and Applications

  1996cited by this paper
• Finite Model Reasoning in Description Logics

  1996cited by this paper
• Theses

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

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

  1995cited by this paper
• Description Logics in Data Management

  1995cited by this paper
• Counting Objects

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

  1995cited by this paper
• Embedding defaults into terminological knowledge representation formalisms

  1995cited by this paper
• Terminological Systems Revisited: Terminology = Schema + Views

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

  1994cited by this paper
• Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus

  1994cited by this paper
• An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract)

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

  1994cited by this paper
• Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations

  1994cited by this paper
• A Computational Account for a Description Logic of Time and Action

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

  1994cited by this paper
• The use of description logics in KBSE systems

  1994cited by this paper
• Deduction in Concept Languages: From Subsumption to Instance Checking

  1994cited by this paper
• Terminological Cycles and the Propositional µ-Calculus

  1994cited by this paper
• Building a Federated Relational Database System: An Approach Using a Knowledge-Based System

  1994cited by this paper
• On the complexity of the instance checking problem in concept languages with existential quantification

  1993cited by this paper
• Decidable Reasoning in Terminological Knowledge Representation Systems

  1993cited by this paper
• Modal logic with names

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

  1993cited by this paper
• A modal perspective on the computational complexity of attribute value grammar

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

  1993cited by this paper
• On Automatic Reasoning for Schema Integration

  1993cited by this paper
• The Complexity of Existential Quantification in Concept Languages

  1992cited by this paper
• Nominal Tense Logic

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

  1992cited by this paper
• On the Semantics of Graded Modalities

  1992cited by this paper
• Terminological Reasoning with Constraint Networks and an Application to Plan Recognition

  1992cited by this paper
• The KL-ONE family

  1992cited by this paper
• The BACK system—an overview

  1991cited by this paper
• Attributive Concept Descriptions with Complements

  1991cited by this paper
• A Correspondence Theory for Terminological Logics: Preliminary Report

  1991influential reference
• An Essay in Combinatory Dynamic Logic

  1991influential reference
• Automata on Infinite Objects

  1991influential reference
• Qualifying Number Restrictions in Concept Languages

  1991cited by this paper
• Concept Languages as Query Languages

  1991cited by this paper
• Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles

  1991cited by this paper

• Towards evolutionary knowledge representation under the big data circumstance

  2021cites this paper
• An extended description logic system with knowledge element based on ALC

  2019cites this paper
• Research and design of logistical information system based on SOA

  2013cites this paper
• Chapter 2 Representing Knowledge Effectively Using Indian logic

  2010cites this paper
• Practical Reasoning in Expressive Description Logics Using Alternating Automata

  2009cites this paper
• Description Logic Framework for Access Control and Security in Object-Oriented Systems

  2009cites this paper
• Deciding Second-order Logics using Database Evaluation Techniques

  2008cites this paper
• An Indian logic-based argument representation formalism for knowledge-sharing

  2008cites this paper
• Gurukulam: Reasoning based Learning System using Extended Description Logics

  2008cites this paper
• Deciding Second-order Logics using Database Evaluation Techniques

  2008cites this paper
• Modeling of the Role-Based Access Control Policy with Constraints Using Description Logic

  2007cites this paper
• Formalization of RBAC Policy with Object Class Hierarchy

  2007influential citation
• Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues

  2007influential citation
• Description Logic Representation for Requirement Specification

  2007influential citation
• A new complicated-knowledge representation approach based on knowledge meshes

  2006cites this paper
• Le modèle DOAN (DOcument ANnotation Model) Modélisation de l'information complexe appliquée à la plateforme Arisem Kaliwatch Server. (The DOAN Model (DOcument ANnotation Model) Complex Information Modelling applied to the Arisem Kaliwatch Server platform)

  2005cites this paper
• Constructing Ontologies for Sharing Knowledge in Digital Archives

  2005cites this paper
• Building ontological knowledge bases for sharing knowledge in digital archive

  2005cites this paper
• Semantic Infrastructure for a Ubiquitous Computing Environment

  2005cites this paper
• Technologies for Army Knowledge Fusion

  2004cites this paper
• Web ontology reasoning with logic databases

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

  2004cites this paper
• Querying Faceted Databases

  2004cites this paper
• Analysis and Experimental Evaluation of a Simple Algorithm for Collaborative Filtering in Planted Partition Models: Extended Abstract

  2003cites this paper
• On Expressive Description Logics with Composition of Roles in Number Restrictions

  2002cites this paper
• Automata-Theoretic Decision Procedures for Information Logics

  2002cites this paper