Current works

• Master student at Università della Calabria
• Member of dlvhex-sparql team with Axel Polleres and Thomas Krennwallner

Current interests

Semantic Web

When I came into the dlvhex-sparql project, the team was pondering about how to contribute to the current efforts of shaping the Semantic Web. Thanks to the wonderful work of Axel Polleres and Roman Schindlauer, the team thought that it is possible use DLV solver (through dlvhex) to infer knowlege not only from Transactional Databases. This is where the team saw the opportunity of introducing Answer Set Programming (ASP) to the Semantic Web development - believing in the benefits of a fully declarative, nonmonotonic logic programming semantics - in order to have a tool able to retrieve data from RDF triples (thanks to rdf-plugin) and handle it to yield SPARQL queries results.

Answer Set Programming

Answer Set Programming (ASP) has recently attracted increasing interest as a declarative problem solving paradigm. In this approach, a problem is encoded to a nonmonotonic logic program such that the solutions of the former can be extracted from the answer sets of the latter. Due to the availability of efficient answer-set solvers, like Smodels or DLV, and various extensions of the basic language with features such as classical negation, weak constraints, or aggregates, ASP has become an important KR formalism for declaratively solving AI problems in areas including planning, diagnosis, information integration, and reasoning about inheritance.

Recent Works

I worked as Intern Researcher at Digital Enterprise Research Institute (DERI) in Galway (Ireland) where our team started the hard task of making SPARQL on dlvhex increasingly compliant with the everyday changing W3C specifications. In particular, I implemented support for FILTERS in the dlvhex sparql-plugin and I deployed a Web Service using Apache AXIS to implement the SOAP Protocol. The Service is located on a server using Apache Tomcat and it gives results in two different ways:

• in the official SPARQL XML Result Format for SELECT and ASK queries (with an optional "human-readable" html-table view),
• in RDF-XML or N3/Turtle for CONSTRUCT queries.

Obviously, results are processed using dlvhex-sparql reasoner. Here you can find its simple JSP interface.