Encoding a Preferential Extension of the Description Logic in SROIQ

Laura GIORDANO; Valentina Gliozzi

doi:10.1007/978-3-319-25252-0_27

Encoding a Preferential Extension of the Description Logic in SROIQ

Laura GIORDANO, Valentina Gliozzi

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

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.

Lingua originale	Inglese
Pagine	248-258
Numero di pagine	11
DOI	https://doi.org/10.1007/978-3-319-25252-0_27
Stato di pubblicazione	Pubblicato - 2015
Evento	INTERNATIONAL SYPOSIUM ON METHODOLOGIES FOR INTELLIGENT SYSTEMS - Lyon Durata: 1 gen 2015 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	INTERNATIONAL SYPOSIUM ON METHODOLOGIES FOR INTELLIGENT SYSTEMS
Città	Lyon
Periodo	1/01/15 → …

Accesso al documento

10.1007/978-3-319-25252-0_27

http://hdl.handle.net/11579/70494

Altri file e collegamenti

handle

Cita questo

@conference{f962f8abbb934ef1a75c8d9122d32299,

title = "Encoding a Preferential Extension of the Description Logic in SROIQ",

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.",

author = "Laura GIORDANO and Valentina Gliozzi",

year = "2015",

doi = "10.1007/978-3-319-25252-0\_27",

language = "English",

pages = "248--258",

note = "INTERNATIONAL SYPOSIUM ON METHODOLOGIES FOR INTELLIGENT SYSTEMS ; Conference date: 01-01-2015",

}

TY - CONF

T1 - Encoding a Preferential Extension of the Description Logic in SROIQ

AU - GIORDANO, Laura

AU - Gliozzi, Valentina

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

UR - https://iris.uniupo.it/handle/11579/70494

U2 - 10.1007/978-3-319-25252-0_27

DO - 10.1007/978-3-319-25252-0_27

M3 - Paper

SP - 248

EP - 258

T2 - INTERNATIONAL SYPOSIUM ON METHODOLOGIES FOR INTELLIGENT SYSTEMS

Y2 - 1 January 2015

ER -

Encoding a Preferential Extension of the Description Logic in SROIQ

Abstract

???event.eventtypes.event.conference???

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo