17 citations · 18 across the 2 of their papers we have counts for
3 papers
Computing CQ lower-bounds over OWL 2 through approximation to RSA
Federico Igne, Stefano Germano, Ian Horrocks
Conjunctive query (CQ) answering over knowledge bases is an important reasoning task. However, with expressive ontology languages such as OWL, query answering is computationally ve…
LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
Stefano Germano, Francesco Calimeri, Eliana Palermiti
Logic-based paradigms are nowadays widely used in many different fields, also thank to the availability of robust tools and systems that allow the development of real-world and ind…
A Framework for Easing the Development of Applications Embedding Answer Set Programming
Francesco Calimeri, Davide Fuscà, Stefano Germano +2
Answer Set Programming (ASP) is a well-established declarative problem solving paradigm which became widely used in AI and recognized as a powerful tool for knowledge representatio…