Inconsistency-Tolerant Semantics for Description Logics

No abstract is available for this paper.

• Publication year

  2010

• Venue

  International Conference on Web Reasoning and Rule Systems

• Publication date

  2010-09-22

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-15918-3_9
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model-based Revision Operators for Terminologies in Description Logics

  2009cited by this paper
• Paraconsistent Reasoning for OWL 2

  2009cited by this paper
• Linking Data to Ontologies

  2008influential reference
• Consistent Query Answering over Description Logic Ontologies

  2007influential reference
• Consistent Query Answering: Five Easy Pieces

  2007influential reference
• Exact XML Type Checking in Polynomial Time

  2007cited by this paper
• Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

  2007influential reference
• Conjunctive Query Answering for the Description Logic SHIQ

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

  2005cited by this paper
• Reasoning with Inconsistent Ontologies

  2005cited by this paper
• Debugging OWL ontologies

  2005cited by this paper
• Inconsistency Tolerance

  2005cited by this paper
• The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings

  2005cited by this paper
• The description logic handbook: theory

  2003cited by this paper
• On the decidability and complexity of query answering over inconsistent and incomplete databases

  2003cited by this paper
• On the complexity of propositional knowledge base revision, updates, and counterfactuals

  1992cited by this paper
• Updating Logical Databases

  1986cited by this paper

• Incremental, inconsistency-resilient reasoning over Description Logic Abox streams

  2026cites this paper
• Ontology-driven identification of inconsistencies in clinical data: A case study in lung cancer phenotyping

  2025cites this paper
• Inconsistency Handling in DatalogMTL

  2025cites this paper
• Inconsistency Handling in DatalogMTL (Extended Abstract)

  2025cites this paper
• Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective

  2025cites this paper
• Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics

  2025cites this paper
• Interpolation in Knowledge Representation

  2025cites this paper
• How to tractably compute a productive repair for possibilistic partially ordered DL-LiteR ontologies?

  2025cites this paper
• Dealing with Inconsistency for Reasoning over Knowledge Graphs: A Survey

  2025cites this paper
• A Logic Programming Approach to Repairing SHACL Constraint Violations

  2025cites this paper
• Repairing Assumption-Based Argumentation Frameworks

  2024cites this paper
• Consistent Query Answering for Existential Rules with Closed Predicates

  2024cites this paper
• On the Computation of a Productive Partially Ordered Possibilistic Repair

  2024cites this paper
• A Gentle Introduction to Controlled Query Evaluation in DL-Lite Ontologies

  2024cites this paper
• Solving Decision Theory Problems with Probabilistic Answer Set Programming

  2024cites this paper
• Queries With Exact Truth Values in Paraconsistent Description Logics

  2024cites this paper
• Consistent Query Answering over SHACL Constraints

  2024influential citation
• Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases

  2024cites this paper
• Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases

  2023cites this paper
• A Brief Discussion about the Credal Semantics for Probabilistic Answer Set Programs

  2023cites this paper
• ViWaT: A Lightweight Ontology of the Vietnamese Wastewater Treatment Management with Biological Methodologies

  2023cites this paper
• Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred Repairs

  2023cites this paper
• Making Axiom Weakening Work in SROIQ

  2023cites this paper
• Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

  2023cites this paper
• Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints

  2023cites this paper
• Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies

  2023influential citation
• Repairing Ontologies via Kernel Pseudo-Contraction

  2022cites this paper
• Revisiting Partially Preordered Possibilistic DL-Lite – An Extended Abstract

  2022cites this paper
• On the complexity of finding set repairs for data-graphs

  2022cites this paper
• Consistent Query Answering for Expressive Constraints under Tuple-Deletion Semantics

  2022cites this paper
• Almost Certain Termination for ALC Weakening

  2022cites this paper
• Explanations for Negative Query Answers under Inconsistency-Tolerant Semantics

  2022cites this paper
• Calcul traitable de la réparation fermée possibiliste pour les ontologies partiellement pré-ordonnées

  2022cites this paper
• Une extension possibiliste pour les ontologies DL-Lite inconsistantes partiellement pré-ordonnées

  2022cites this paper
• An argumentative approach for handling inconsistency in prioritized Datalog ± ontologies

  2022cites this paper
• Conflict-Based Inconsistency-Tolerant Query Answering

  2022influential citation
• Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract)

  2022cites this paper
• Reasoning on DL-LiteR with Defeasibility in ASP

  2021influential citation
• Optimizing a tableau reasoner and its implementation in Prolog

  2021cites this paper
• Handling inconsistency in partially preordered ontologies: the Elect method

  2021cites this paper
• Lexicographic Repair Under Querying Prioritised DL-Lite Knowledge Bases

  2021influential citation
• On Free Description Logics with Definite Descriptions

  2021cites this paper
• A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics

  2021cites this paper
• Cleaning Inconsistent Data in Temporal DL-Lite Under Best Repair Semantics

  2021cites this paper
• Pseudo-contraction operations for description logics

  2021cites this paper
• Digital Transformation for a Sustainable Society in the 21st Century: I3E 2019 IFIP WG 6.11 International Workshops, Trondheim, Norway, September 18–20, 2019, Revised Selected Papers

  2020cites this paper
• Ontology Reasoning with Deep Neural Networks (Extended Abstract)

  2020cites this paper
• Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation

  2020cites this paper
• Partially Preordered Inconsistent Lightweight Ontologies in Possibility Theory

  2020influential citation
• Axiom Pinpointing

  2020cites this paper
• Semantic Technologies for Situation Awareness

  2020cites this paper
• Preference-based Inconsistency-Tolerant Query Answering under Existential Rules

  2020cites this paper
• Sets of Attacking Arguments for Inconsistent Datalog Knowledge Bases

  2020cites this paper
• Logic-Based Ranking of Assertions in Inconsistent ABoxes

  2020cites this paper
• Towards Even More Irresistible Axiom Weakening

  2020cites this paper
• Ontologies and Concepts in Mind and Machine: 25th International Conference on Conceptual Structures, ICCS 2020, Bolzano, Italy, September 18–20, 2020, Proceedings

  2020cites this paper
• A Short Survey on Inconsistency Handling in Ontology-Mediated Query Answering

  2020influential citation
• A Formalism Unifying Defeasible Logics and Repair Semantics for Existential Rules

  2020cites this paper
• Error-Tolerance and Error Management in Lightweight Description Logics

  2020influential citation
• Query answering DL-lite knowledge bases from hidden datasets

  2020cites this paper
• An Ontology-based Approach for Building and Querying ICH Video Datasets

  2020cites this paper
• An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information

  2020cites this paper
• On Dealing with Conflicting, Uncertain and Partially Ordered Ontologies

  2020cites this paper
• An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases

  2020cites this paper
• Explanations for Inconsistency-Tolerant Query Answering under Existential Rules

  2020influential citation
• Querying of several DL-Lite knowledge bases from various information sources-based polynomial response unification approach

  2020cites this paper
• Inconsistency Handling in Ontology-Mediated Query Answering: A Progress Report

  2019influential citation
• CuneiForce: Involving the Crowd in the Annotation of Unread Mesopotamian Cuneiform Tablets Through a Gamified Design

  2019cites this paper
• NAKED: N-Ary Graphs from Knowledge Bases Expressed in Datalog±

  2019cites this paper
• Database Repairs and Consistent Query Answering: Origins and Further Developments

  2019cites this paper
• Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies

  2019cites this paper
• A Note on Reasoning on DL-LiteR with Defeasibility

  2019cites this paper
• Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Cardinality-Based Repairs

  2019influential citation
• Ontology-mediated query answering over temporal and inconsistent data

  2019influential citation
• Explaining Axiom Pinpointing

  2019cites this paper
• Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases

  2019influential citation
• Restoring Consistency in Ontological Multidimensional Data Models via Weighted Repairs

  2019cites this paper
• A Lightweight Defeasible Description Logic in Depth - Quantification in Rational Reasoning and Beyond

  2019cites this paper
• Distance-Based Approaches to Repair Semantics in Ontology-based Data Access

  2019cites this paper
• INFERENCE SYSTEM TO ACHIEVE SATURATION OF (F, R, N) KNOWLEDGE BASES

  2019cites this paper
• Institutional Repository

  2019cites this paper
• Inconsistency Handling for Partially Preordered Ontologies: Going Beyond Elect

  2019cites this paper
• Argumentation techniques for existential rules

  2019influential citation
• Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP

  2019cites this paper
• ACQUA: Approximate Consistent Query Answering Over Inconsistent Knowledge Bases

  2019cites this paper
• Query Rewriting for DL Ontologies Under the ICAR Semantics

  2019cites this paper
• A novel approach to Controlled Query Evaluation in DL-Lite (DISCUSSION PAPER)

  2019cites this paper
• Simple User Assistance by Data Posting

  2019cites this paper
• Environnement d'assistance au développement de transformations de graphes correctes. (Assistance framework for writing correct graph transformations)

  2019cites this paper
• Explanation-Friendly Query Answering Under Uncertainty

  2019cites this paper
• Pseudo-contractions as Gentle Repairs

  2019cites this paper
• Revisiting Controlled Query Evaluation in Description Logics

  2019cites this paper
• Recursive algorithms to repair prioritized and inconsistent dl-lite knowledge base

  2019influential citation
• Defeasible reasoning for existential rules

  2018cites this paper
• DAGGER: Datalog+/- Argumentation Graph GEneRator

  2018cites this paper
• Managing Data through the Lens of an Ontology

  2018cites this paper
• N ov 2 01 7 Repairing Ontologies via AxiomWeakening

  2018influential citation
• Querying Expressive DL Ontologies under the ICAR Semantics

  2018cites this paper
• A Dynamic Extension of ALCO for Repairing via Preferred Updates

  2018cites this paper
• Computing Approximate Query Answers over Inconsistent Knowledge Bases

  2018influential citation