A Kernel Revision Operator for Terminologies

No abstract is available for this paper.

• Publication year

  2008

• Venue

  Description Logics

• Publication date

  Unknown publication date

• Fields of study

  Philosophy, 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.

• Knowledge in Flux: Modeling the Dynamics of Epistemic States

  2008cited by this paper
• Ontology Learning and Reasoning - Dealing with Uncertainty and Inconsistency

  2008cited by this paper
• Debugging Incoherent Terminologies

  2007cited by this paper
• Finding All Justifications of OWL DL Entailments

  2007cited by this paper
• Base Revision in Description Logics-Preliminary Results

  2007cited by this paper
• Measuring Incoherence in Description Logic-Based Ontologies

  2007cited by this paper
• Applying Logical Constraints to Ontology Matching

  2007cited by this paper
• Inconsistencies, Negations and Changes in Ontologies

  2006cited by this paper
• Matching Ontologies in Open Networked Systems: Techniques and Applications

  2006cited by this paper
• Knowledge Base Revision in Description Logics

  2006cited by this paper
• On the Logic of Theory Change: Relations Between Incision and Selection Functions

  2006cited by this paper
• A Framework for Handling Inconsistency in Changing Ontologies

  2005cited by this paper
• Consistent Evolution of OWL Ontologies

  2005cited by this paper
• On Applying the AGM Theory to DLs and OWL

  2005cited by this paper
• Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies

  2003cited by this paper
• An Algorithm for Belief Revision

  2000cited by this paper
• A textbook of belief dynamics - theory change and database updating

  1999cited by this paper
• Kernel contraction

  1994influential reference
• Propositional Knowledge Base Revision and Minimal Change

  1991cited by this paper
• Knowledge in flux: modeling the dynamics of epistemic states

  1988cited by this paper
• A Theory of Diagnosis from First Principles

  1986cited by this paper
• On the logic of theory change: Partial meet contraction and revision functions

  1985cited by this paper

• Graph-based approaches to debugging and revision of terminologies in DL-Lite

  2016cites this paper
• Minimal Change in AGM Revision for Non-Classical Logics

  2014cites this paper
• Belief Base Revision for Datalog+/- Ontologies

  2013cites this paper
• Evidential reasoning for the treatment of incoherent terminologies

  2010cites this paper
• Generalized Abstract Argumentation: A First-order Machinery towards Ontology Debugging

  2010cites this paper
• Belief Contraction in the Description Logic EL

  2009cites this paper
• A Theoretical Model to Handle Ontology Debugging & Change Through Argumentation

  2008cites this paper
• Model-Based Contractions for Description Logics

  2008cites this paper
• Handling inconsistency on ontologies through a generalized dynamic argumentation framework

  2008cites this paper
• The 7 th International Semantic Web Conference Ontology Dynamics ( IWOD 2008 )

  2008cites this paper