Reasoning with Uncertain and Inconsistent OWL Ontologies
From MaRDI portal
Publication:4647816
DOI10.1007/978-3-642-33158-9_6zbMath1251.68234OpenAlexW1535309505MaRDI QIDQ4647816
Publication date: 8 November 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33158-9_6
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A theory of diagnosis from first principles
- The complexity of optimization problems
- Nonmonotonic reasoning: From complexity to algorithms
- Reversing the Levi identity
- Probabilistic default reasoning with conditional constraints
- Theorem proving with ordering and equality constrained clauses
- Forward and backward simulations. I. Untimed Systems
- A textbook of belief dynamics. Theory change and database updating
- Expressive probabilistic description logics
- Reasoning in description logics by a reduction to disjunctive datalog
- Extending description logics with uncertainty reasoning in possibilistic logic
- Reasoning Support for Mapping Revision
- Kernel contraction
- Practical reasoning for very expressive description logics