Prototypical reasoning with low complexity description logics: Preliminary results

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

We present an extension ℰ ℒ +perp;T of the description logic ℰ ℒ +perp; for reasoning about prototypical properties and inheritance with exceptions. ℰ ℒ +perp;T is obtained by adding to ℰ ℒ +perp; a typicality operator T, which is intended to select the "typical" instances of a concept. In ℰ ℒ +perp;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 ℰ ℒ +perp; is in co-NP.

Lingua originaleInglese
Titolo della pubblicazione ospiteLogic Programming and Nonmonotonic Reasoning - 10th International Conference, LPNMR 2009, Proceedings
Pagine430-436
Numero di pagine7
DOI
Stato di pubblicazionePubblicato - 2009
Pubblicato esternamente
Evento10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009 - Potsdam, Germany
Durata: 14 set 200918 set 2009

Serie di pubblicazioni

NomeLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5753 LNAI
ISSN (stampa)0302-9743
ISSN (elettronico)1611-3349

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

???event.eventtypes.event.conference???10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009
Paese/TerritorioGermany
CittàPotsdam
Periodo14/09/0918/09/09

Fingerprint

Entra nei temi di ricerca di 'Prototypical reasoning with low complexity description logics: Preliminary results'. Insieme formano una fingerprint unica.

Cita questo