no code implementations • 1 Jul 2021 • Federico Igne, Stefano Germano, Ian Horrocks
We present a novel approximation of OWL 2 ontologies into RSA, and an algorithm to compute a closer (than PAGOdA) lower bound approximation using the RSA combined approach.
1 code implementation • 15 Sep 2017 • 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 industrial applications.
1 code implementation • 21 Jul 2017 • Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
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 representation and reasoning (KRR), especially for its high expressiveness and the ability to deal also with incomplete knowledge.