Definitorially Complete Description Logics

No abstract is available for this paper.

• Publication year

  2006

• Venue

  International Conference on Principles of Knowledge Representation and Reasoning

• Publication date

  2006-06-02

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• On modal mu-calculus with explicit interpolants

  2006cited by this paper
• Hybrid logics with Sahlqvist axioms

  2005cited by this paper
• Model theory for extended modal languages

  2005cited by this paper
• Complexity of Reasoning

  2003cited by this paper
• Handling Boolean ABoxes

  2003cited by this paper
• Basic Description Logics

  2003influential reference
• Relationships with other Formalisms

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

  2003cited by this paper
• From SHIQ and RDF to OWL: the making of a Web Ontology Language

  2003cited by this paper
• Advances in Modal Logic, Volume 3

  2002cited by this paper
• Exptime Tableaux for ALC

  2000cited by this paper
• Tableau Algorithms for Description Logics

  2000cited by this paper
• From Description to Hybrid Logics, and Back

  2000cited by this paper
• Uniform interpolation and layered bisimulation

  1996cited by this paper
• Basic model theory

  1996cited by this paper
• An Algebraic Theory of Normal Forms

  1995cited by this paper
• Automata for the Modal mu-Calculus and related Results

  1995cited by this paper
• On an interpretation of second order quantification in first order intuitionistic propositional logic

  1992cited by this paper
• The complexity of explicit definitions

  1976cited by this paper

• The Size of Interpolants in Modal Logics

  2025cites this paper
• Interpolation in Knowledge Representation

  2025influential citation
• Six Proofs of Interpolation for the Modal Logic K

  2025cites this paper
• Computation of Interpolants for Description Logic Concepts in Hard Cases

  2025cites this paper
• Interpolation in First-Order Logic

  2025cites this paper
• Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations

  2024cites this paper
• Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic

  2024cites this paper
• Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents

  2024influential citation
• Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic

  2023cites this paper
• Interpolants and Explicit Definitions in Extensions of the Description Logic EL

  2022cites this paper
• Lyndon Interpolation for Modal Logic Via Type Elimination Sequences

  2022cites this paper
• More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions

  2022cites this paper
• Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments

  2021cites this paper
• On Free Description Logics with Definite Descriptions

  2021cites this paper
• A general multi-agent epistemic planner based on higher-order belief change

  2021cites this paper
• Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract)

  2021cites this paper
• Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions

  2021influential citation
• Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract)

  2020cites this paper
• Modular Structures and Atomic Decomposition in Ontologies

  2020cites this paper
• Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions

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

  2020cites this paper
• Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability

  2019influential citation
• A General Multi-agent Epistemic Planner Based on Higher-order Belief Change

  2018cites this paper
• Knowledge Compilation in the Multi-Agent Epistemic Logic Kn

  2018cites this paper
• Knowledge Compilation in Multi-Agent Epistemic Logics

  2018influential citation
• Reformulating Queries: Theory and Practice

  2017cites this paper
• griffith . edu . au Concept and role forgetting in ALC Ontologies

  2017influential citation
• Forgetting in Multi-Agent Modal Logics

  2016cites this paper
• Techniques for optimized reasoning in description logic knowledge bases

  2016cites this paper
• A generalized abstract argumentation framework for inconsistency-tolerant ontology reasoning

  2016cites this paper
• Practical uniform interpolation for expressive description logics

  2015cites this paper
• The succinctness of the cover modality

  2015cites this paper
• Application of Definability to Query Answering over Knowledge Bases

  2014cites this paper
• ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS

  2014influential citation
• Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes

  2014influential citation
• Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference

  2014cites this paper
• Concept Definability and Interpolation in Enriched Models of EL-TBoxes

  2013influential citation
• Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes

  2013cites this paper
• Reasoning-Supported Quality Assurance for Knowledge Bases

  2012cites this paper
• Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics

  2011cites this paper
• Interpolation Theorems for Some Extended Description Logics

  2011cites this paper
• Coalgebraic semantics of modal logics: An overview

  2011cites this paper
• Beth Definability in Expressive Description Logics

  2011influential citation
• Linkless Normal Form for ALC Concepts and TBoxes

  2011cites this paper
• Carnap , Goguen , and the

  2010cites this paper
• Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies

  2010cites this paper
• Forgetting for knowledge bases in DL-Lite

  2010cites this paper
• Enriching EL-Concepts with Greatest Fixpoints

  2010cites this paper
• Optimal Rewritings in Definitorially Complete Description Logics

  2010influential citation
• Decomposing Description Logic Ontologies

  2010cites this paper
• EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers

  2010cites this paper
• Uniform Interpolation for Monotone Modal Logic

  2010cites this paper
• Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design

  2010cites this paper
• Uniform Interpolation for ALC Revisited

  2009influential citation
• Uniform Interpolation for 퓐퓛퓒 Revisited ★

  2009cites this paper
• Formal Properties of Modularisation

  2009cites this paper
• Concept and Role Forgetting in ALC{\mathcal {ALC}} Ontologies

  2009influential citation
• A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi

  2009cites this paper
• Concept and Role Forgetting in ALC Ontologies

  2009influential citation
• Uniform Interpolation by Resolution in Modal Logic

  2008cites this paper
• Conservativity in Structured and Heterogeneous Ontologies

  2008cites this paper
• Proof systems for the coalgebraic cover modality

  2008cites this paper
• Prime Implicate Normal Form for ALC Concepts

  2008cites this paper
• On propositional definability

  2008cites this paper
• Reusing relational sources for semantic information access

  2007cites this paper
• Modules in Transition - Conservativity, Composition, and Colimits

  2007cites this paper
• The Description Logic ABox Update Problem Revisited

  2007cites this paper
• The Description Logic Abox Update Problem Revisited , 1982 in Jakarta

  2007cites this paper
• Queries determined by views: pack your views

  2007cites this paper
• Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics

  2006cites this paper
• A Modularity Approach for a Fragment of ALC

  2006cites this paper
• Composing and decomposing ontologies : a logic-based approach — A Case for Support

  2006cites this paper
• What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic

  2006cites this paper
• Conservative extensions in modal logic

  2006cites this paper