We present an extension EL+⊥T of the description logic EL+⊥ for reasoning about prototypical properties and inheritance with exceptions. EL+⊥T is obtained by adding to EL+⊥ a typicality operator T, which is intended to select the “typical” instances of a concept. In EL+⊥T knowledge bases may contain inclusions of the form “T(C) is subsumed by P”, expressing that typical C-members have the property P. We show that the problem of entailment in EL+⊥T is in co-NP.
Prototypical reasoning with low complexity Description Logics: preliminary results
GLIOZZI, Valentina;POZZATO, GIAN LUCA
2009-01-01
Abstract
We present an extension EL+⊥T of the description logic EL+⊥ for reasoning about prototypical properties and inheritance with exceptions. EL+⊥T is obtained by adding to EL+⊥ a typicality operator T, which is intended to select the “typical” instances of a concept. In EL+⊥T knowledge bases may contain inclusions of the form “T(C) is subsumed by P”, expressing that typical C-members have the property P. We show that the problem of entailment in EL+⊥T is in co-NP.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
LPNMR 2009.pdf
Accesso riservato
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
163.54 kB
Formato
Adobe PDF
|
163.54 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
