You are here

Constructive Description Logics

Overview

Constructive description logics consist of interpretations of description logics under different constructive semantics. 

We recently studied the relations across constructive semantics for description logics and ASP (answer set programming), with the goal of "bridging the gap" between the theoretical and practical application of these logics.

In this page we collect some of our most recent works in this line of research.

Publications

  • Loris Bozzato, Camillo Fiorentini. Connections of Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (note)

  • Loris Bozzato. Extending ASP Based Reasoning to Expressive Constructive Description Logics. In eKNOW 2020 - The Twelfth International Conference on Information, Process, and Knowledge Management, 2020 (paper)
  • Loris Bozzato. ASP Based Generation of Information Terms for Constructive EL. In Fundamenta Informaticae 161(1-2):29-51, 2018 (paper)
  • Loris Bozzato. ASP Based Generation of Information Terms for Constructive EL. In CILC 2016 - 31st Italian Conference on Computational Logic, 2016 (paper)

Asp-it Prototype

Prototype for ASP based generator for Information Terms of constructive description logic ELc.

GitHub page: https://github.com/dkmfbk/asp-it

Reference papers: Fundamenta InformaticaeCILC16

Contact

DKMers currently involved: Loris Bozzato

Copyright

Copyright © 2020 the Data & Knowledge Management (DKM) Unit @ Fondazione Bruno Kessler (FBK)

Technology type: