Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies

No abstract is available for this paper.

• Publication year

  2009

• Venue

  International Joint Conference on Artificial Intelligence

• Publication date

  2009-07-11

• 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.

• Exploiting Contextual Independence In Probabilistic Inference

  2011cited by this paper
• Deciding inseparability and conservative extensions in the description logic EL

  2010cited by this paper
• The Logical Difference Problem for Description Logic Terminologies

  2008cited by this paper
• Can You Tell the Difference Between DL-Lite Ontologies?

  2008cited by this paper
• Semantic forgetting in answer set programming

  2008cited by this paper
• Forgetting Concepts in DL-Lite

  2008cited by this paper
• Semantic Modularity and Module Extraction in Description Logics

  2008cited by this paper
• Pushing the EL Envelope Further

  2008cited by this paper
• On Conjunctive Query Answering in EL

  2007cited by this paper
• Just the right amount: extracting modules from ontologies

  2007cited by this paper
• Conservative Extensions in the Lightweight Description Logic EL

  2007cited by this paper
• Conservative Extensions in Expressive Description Logics

  2007cited by this paper
• NCI Thesaurus: A semantic model integrating cancer-related clinical and molecular information

  2007cited by this paper
• CEL - A Polynomial-Time Reasoner for Life Science Ontologies

  2006cited by this paper
• Forgetting in Managing Rules and Ontologies

  2006cited by this paper
• Proof-theoretic approach to description-logic

  2005cited by this paper
• Efficient computation for the noisy MAX

  2003cited by this paper
• Âóùöòòð Óó Öøø¬ Blockin

  2003cited by this paper
• Bayesian Logic Programs

  2001cited by this paper
• Approximate inference for first-order probabilistic languages

  2001cited by this paper
• On the complexity of inference about probabilistic relational models

  2000cited by this paper
• Probabilistic Frame-Based Systems

  1998cited by this paper
• Uniform interpolation and layered bisimulation

  1996cited by this paper
• Exploiting Causal Independence in Bayesian Network Inference

  1996influential reference
• Forget It !

  1994cited by this paper
• Operations for Learning with Graphical Models

  1994cited by this paper
• Probabilistic Horn Abduction and Bayesian Networks

  1993cited by this paper
• From knowledge bases to decision models

  1992cited by this paper
• CONSTRUCTION OF BELIEF AND DECISION NETWORKS

  1992cited by this paper
• Probabilistic reasoning in intelligent systems: Networks of plausible inference

  1991cited by this paper
• A Dynamic Approach to Probabilistic Inference using Bayesian Networks

  1990cited by this paper
• An Analysis of First-Order Logics of Probability

  1989cited by this paper
• Symbolic logic and mechanical theorem proving

  1973influential reference
• A Machine-Oriented Logic Based on the Resolution Principle

  1965cited by this paper

• On Symbol Elimination and Uniform Interpolation in Theory Extensions

  2025cites this paper
• Explaining Reasoning Results for Description Logic Ontologies (Invited Paper)

  2025cites this paper
• Strong Forgetting for ALCQ-Ontologies

  2025cites this paper
• Interpolation in Knowledge Representation

  2025cites this paper
• Computing Witnesses Using the SCAN Algorithm (Extended Preprint)

  2025cites this paper
• Efficient Computation of Signature-Restricted Views for Semantic Web Ontologies

  2024cites this paper
• What a Surprise! Computing Rewritten Modules Can Be as Efficient as Computing Subset Modules

  2024cites this paper
• Manifesto from Dagstuhl Perspectives Workshop 22282 Current and Future Challenges in Knowledge Representation and Reasoning

  2023cites this paper
• Focus Set Semantic Differences

  2023cites this paper
• Highly-Optimized Forgetting for Creating Signature-Based Views of Ontologies

  2023cites this paper
• A Review on Ontology Modularization Techniques - A Multi-Dimensional Perspective

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

  2023cites this paper
• Efficient Extraction of EL-Ontology Deductive Modules

  2023influential citation
• Creating Signature-Based Views for Description Logic Ontologies with Transitivity and Qualified Number Restrictions

  2022cites this paper
• Fine-Grained Forgetting for the Description Logic ALC

  2022cites this paper
• Knowledge forgetting in propositional μ-calculus

  2022cites this paper
• Upwardly Abstracted Definition-Based Subontologies

  2021cites this paper
• Computing Views of OWL Ontologies for the Semantic Web

  2021cites this paper
• Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases

  2021influential citation
• Forgetting in Answer Set Programming - A Survey

  2021cites this paper
• Towards Ontology Reshaping for KG Generation with User-in-the-Loop: Applied to Bosch Welding

  2021cites this paper
• LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics

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

  2020influential citation
• UI-FAME

  2020influential citation
• Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+

  2020cites this paper
• A Practical Approach to Forgetting in Description Logics with Nominals

  2020cites this paper
• UI-FAME: A Deductive Forgetting Tool for Creating Views of ALC-TBoxes

  2020cites this paper
• On Sufficient and Necessary Conditions in Bounded CTL

  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
• Ontology Extraction for Large Ontologies via Modularity and Forgetting

  2019influential citation
• FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions

  2019cites this paper
• Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology

  2019cites this paper
• Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach

  2019cites this paper
• Query Inseparability for ALC Ontologies

  2019cites this paper
• The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics

  2018cites this paper
• Automated semantic forgetting for expressive description logics

  2018cites this paper
• A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective

  2018cites this paper
• FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics

  2018cites this paper
• On Concept Forgetting in Description Logics with Qualified Number Restrictions

  2018cites this paper
• Forgetting and Unfolding for Existential Rules

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

  2017cites this paper
• A Knowledge Level Account of Forgetting

  2017cites this paper
• Reformulating Queries: Theory and Practice

  2017cites this paper
• Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach

  2017cites this paper
• Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey

  2016cites this paper
• Module Based Data Management : A Survey Manisha

  2016influential citation
• Knowledge Base Exchange

  2016cites this paper
• Forgetting in Multi-Agent Modal Logics

  2016cites this paper
• Forgetting for distance-based reasoning and repair in DL-Lite

  2016cites this paper
• Module Extraction in Expressive Ontology Languages via Datalog Reasoning

  2016influential citation
• Games for query inseparability of description logic knowledge bases

  2016cites this paper
• Interpolation theorems for some variants of LTL

  2015cites this paper
• STRONG COMPONENT BASED STATISTICAL MANAGEMENT

  2015cites this paper
• Saturated-Based Forgetting in the Description Logic SIF

  2015cites this paper
• Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies

  2015cites this paper
• Association Rules in Horizontally Distributed Databases for Secured Data Extraction System

  2015cites this paper
• Personis-LF: user modelling framework with user controlled forgetting for pervasive lifelong personalisation

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

  2015cites this paper
• Second-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected Applications

  2015cites this paper
• When Are Description Logic Knowledge Bases Indistinguishable?

  2015influential citation
• Symbolic Abstraction: Algorithms and Applications

  2014cites this paper
• Application Patterns of Projection/Forgetting

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

  2014influential citation
• Count and Forget : Uniform Interpolation of SHQ-Ontologies — Long Version ?

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

  2014cites this paper
• Query Inseparability for Description Logic Knowledge Bases

  2014cites this paper
• (Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL

  2014cites this paper
• Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes

  2014cites this paper
• Towards a Knowledge Level Analysis of Forgetting

  2014cites this paper
• Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference

  2014influential citation
• Second-Order Characterizations of Denientia in Formula Classes

  2014cites this paper
• Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information

  2014cites this paper
• Joint Automated Reasoning Workshop and Deduktionstreffen

  2014cites this paper
• Polynomially Bounded Forgetting

  2014cites this paper
• Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies

  2014cites this paper
• Generic Algorithm based Data Retrieval Technique in Data Mining

  2014cites this paper
• Robust Model Based Data Management

  2014cites this paper
• Robust Model-Based Data Management

  2014cites this paper
• International Journal of Ethics in Engineering & Management Education

  2014cites this paper
• Socratic Proofs for Propositional Linear-Time Logic

  2014cites this paper
• XAML Based Mechanism with Closed Dataset Robust System Using HERM Algorithm

  2014cites this paper
• DATA MANAGEMENT SYSTEM BASED VIEWPOINT

  2014cites this paper
• Forgetting Concept and Role Symbols in ALCH -Ontologies (cid:63)

  2013influential citation
• An argumentation framework for description logic ontology reasoning and management

  2013cites this paper
• Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes

  2013cites this paper
• Controlled Query Evaluation over OWL 2 RL Ontologies

  2013cites this paper
• Model-theoretic inseparability and modularity of description logic ontologies

  2013cites this paper
• Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies

  2013cites this paper
• Simplifying Description Logic Ontologies

  2013cites this paper
• Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach

  2012cites this paper
• Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics

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

  2012cites this paper
• ExpExpExplosion: Uniform Interpolation in General EL Terminologies

  2012cites this paper
• Automatic & Semi-Automatic Methods for Supporting Ontology Change

  2012cites this paper
• On the (Non-)Succinctness of Uniform Interpolation in General ${\mathcal{EL}}$ Terminologies

  2012cites this paper
• Forgetting for Defeasible Logic

  2012cites this paper
• On the ( Non-) Succinctness of Uniform Interpolation in General EL Terminologies

  2012cites this paper
• Sud Knowledge Representation meets Databases for the sake of ontology-based data management

  2012cites this paper
• Inverting Subsumption for Constructive Reasoning

  2012influential citation