Constructive description logics represent different re-interpretations of description logics (DLs) under constructive semantics. Constructive description logics have been mostly studied for their formal properties, while limited practical approaches have been shown for their use in Knowledge Representation languages and tools (which, on the other hand, constitute the distinctive applications of description logics). To address this aspect, we recently studied the relation of constructive DLs based on Information Term semantics with Answer Set semantics in the context of the positive logic EL. In this paper we continue this study in the direction of more expressive DLs by considering the introduction of negative information, leading to a constructive interpretation for the DL EL⊥. We show that formal results linking the constructive semantics to answer set semantics can be extended to the case of negative information in EL⊥.
Reasoning on Information Term Semantics with ASP for Constructive ELꓕ / L. Bozzato, C. Fiorentini (CEUR WORKSHOP PROCEEDINGS). - In: CILC 2020 : Proceedings of CILC 2020 / [a cura di] F. Calimeri , S. Perri, E. Zumpano. - [s.l] : CEUR Workshop Proceedings, 2020. - pp. 141-156 (( Intervento presentato al 35. convegno Italian Conference on Computational Logic nel 2020.
|Titolo:||Reasoning on Information Term Semantics with ASP for Constructive ELꓕ|
|Settore Scientifico Disciplinare:||Settore INF/01 - Informatica|
Settore MAT/01 - Logica Matematica
|Data di pubblicazione:||2020|
|Tipologia:||Book Part (author)|
|Appare nelle tipologie:||03 - Contributo in volume|