Italiano (Italian) English (Inglese)
Wednesday, 18 July 2018


Pubblication Details
Authors:Laura Giordano
Alberto Policriti
Title:Power (set) Description Logic
Published on:TR-INF-2018-02-02-UNIPMN
Publisher:DiSIT, Computer Science Institute, UPO
Tipo Pubblicazione:Technical Report
Abstract: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.