---
title: "Defeasible Inheritance-Based Description Logics"
authors:
  - "Giovanni Casini"
  - "Umberto Straccia"
doi: "10.5591/978-1-57735-516-8/IJCAI11-142"
url: "https://ijcai.org/proceedings/2011/142"
pdf: "https://ijcai.org/proceedings/2011/0142.pdf"
venue: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence"
year: 2011
pages: "813-817"
track: ""
keywords:
---

# Defeasible Inheritance-Based Description Logics

Giovanni Casini, Umberto Straccia

*Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence*, pages 813-817. DOI: [10.5591/978-1-57735-516-8/IJCAI11-142](https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-142)

## Abstract

Defeasible inheritance networks are a non-monotonic framework that deals with hierarchical knowledge. On the other hand, rational closure is acknowledged as a landmark of the preferential approach. We will combine these two approaches and define a new non-monotonic closure operation for propositional knowledge bases that combines the advantages of both. Then we redefine such a procedure for Description Logics, a family of logics well-suited to model structured information. In both cases we will provide a simple reasoning method that is build on top of the classical entailment relation.