In the context of the Description Logic DL-Liteℛ≠, i.e., DL-Liteℛ without UNA and with inequality axioms, we address the problem of adding to unions of conjunctive queries (UCQs) one of the simplest forms of negation, namely, inequality. It is well known that answering conjunctive queries with...
Logics for AI
-
-
-
-
-
Marco Console è risultato vincitore della procedura selettiva per n.1 posto di ricercatore a tempo determinato – tipologia A ai sensi dell’art.24, comma 3, lett. b, legge 240/2010 – per il settore concorsuale 09/H1-settore scientifico disciplinare ING-INF/05 - bandita con D.D. n. 1332/2020 del...
-
-
-
-
-