Italiano (Italian) English (Inglese)
sabato, 28 novembre 2020

Rapporti Tecnici

Dettagli rapporto tecnico
Autori:Laura Giordano
Alberto Policriti
Titolo:Power (set) Description Logic
Apparso su:TR-INF-2018-02-02-UNIPMN
Editore:DiSIT, Computer Science Institute, UPO
Anno:2018
URL:http://www.di.unipmn.it...R-INF-2018-02-02-UNIPMN.pdf
Sommario:We explore the relationships between Description Logics and Set Theory. The study is carried on using, on the set-theoretic side, a very rudimentary axiomatic set theory Ω, consisting of only four axioms characterizing binary union, set difference, inclusion, and the power-set. The approach is then completed defining ALCΩ, an extension of ALC, in which concepts are naturally interpreted as sets living in Ω-models. In ALCΩ not only membership between concepts is allowed—even admitting circularity—but also the power-set construct is exploited to add metamodeling capabilities. We conclude providing a polynomial translation of ALCΩ in ALCOI and proving its basic traits, among which the validity of the finite model property.