n this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC + Tmin is built upon a previously introduced (monotonic) logic ALC + T, that is obtained by adding a typicality operator T to ALC. The operator T is intended to select the “most normal” or “most typical” instances of a concept, so that knowledge bases may contain subsumption relations of the form “T(C ) is subsumed by P”, expressing that typical C-members have the property P. In order to perform nonmonotonic inferences, we define a “minimal model” semantics ALC + Tmin for ALC + T. The intuition is that preferred, or minimal models are those that maximise typical instances of concepts. By means of ALC + Tmin we are able to infer defeasible properties of (explicit or implicit) individuals. We also present a tableau calculus for deciding ALC + Tmin entailment. Main contributes of this paper have been also presented at the 11th European Conference on Logics in Artificial Intelligence "JELIA 2008".

A Non-monotonic Description Logic of Typicality

GLIOZZI, Valentina;POZZATO, GIAN LUCA
2009-01-01

Abstract

n this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC + Tmin is built upon a previously introduced (monotonic) logic ALC + T, that is obtained by adding a typicality operator T to ALC. The operator T is intended to select the “most normal” or “most typical” instances of a concept, so that knowledge bases may contain subsumption relations of the form “T(C ) is subsumed by P”, expressing that typical C-members have the property P. In order to perform nonmonotonic inferences, we define a “minimal model” semantics ALC + Tmin for ALC + T. The intuition is that preferred, or minimal models are those that maximise typical instances of concepts. By means of ALC + Tmin we are able to infer defeasible properties of (explicit or implicit) individuals. We also present a tableau calculus for deciding ALC + Tmin entailment. Main contributes of this paper have been also presented at the 11th European Conference on Logics in Artificial Intelligence "JELIA 2008".
2009
24o Convegno Italiano di Logica Computazionale
Ferrara
24-26 Giugno 2009
Proceedings of CILC 2009 (24th Convegno Italiano di Logica Computazionale)
Gavanelli, M. and Riguzzi, F.
1
13
http://www.ing.unife.it/eventi/cilc09/
Description Logics; Nonmonotonic Reasoning
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/65035
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact