Italiano (Italian) English (Inglese)
sabato, 16 dicembre 2017

Rapporti Tecnici

Dettagli rapporto tecnico
Autori:Laura Giordano
Daniele Theseider Dupré
Area Scientifica:Knowledge Representation
Titolo:Reasoning in a rational extension of SROEL
Apparso su:TR-INF-2016-05-01-UNIPMN
Editore:DiSIT, Computer Science Institute, UPO
Anno:2016
URL:http://www.di.unipmn.it...R-INF-2016-05-01-UNIPMN.pdf
Sommario:In this work we define a rational extension SROEL-RT of the low complexity description logic SROEL, which underlies the OWL EL ontology language. The logic is extended with a typicality operator T, whose semantics is based on Lehmann and Magidor’s ranked models and allows for the definition of defeasible inclusions. We develop a Datalog materialization calculus for rational entailment in SROEL-RT, showing that instance checking can be computed in polynomial time. Also, we show that deciding instance checking under minimal entailment is a coNP-hard problem.