In this paper we define an extension of the description logic SROIQ based on a preferential semantics to introduce a notion of typicality in the language which allows defeasible inclusions to be represented in a knowledge base. We define a polynomial encoding of the resulting language into SROIQ, thus showing that reasoning in the preferential extension of SROIQ has the same complexity as reasoning in SROIQ.
Encoding a Preferential Extension of the Description Logic in SROIQ
GIORDANO, Laura;
2015-01-01
Abstract
In this paper we define an extension of the description logic SROIQ based on a preferential semantics to introduce a notion of typicality in the language which allows defeasible inclusions to be represented in a knowledge base. We define a polynomial encoding of the resulting language into SROIQ, thus showing that reasoning in the preferential extension of SROIQ has the same complexity as reasoning in SROIQ.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
ISMIS2015_postprint.pdf
file disponibile agli utenti autorizzati
Descrizione: articolo principale
Tipologia:
Documento in Post-print
Licenza:
DRM non definito
Dimensione
199.64 kB
Formato
Adobe PDF
|
199.64 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.
