Participants : Jean-FranÃ§ois Baget, Michel LeclÃ¨re, Marie-Laure Mugnier, Alain Gutierrez, Swan Rocher [first year master internship] , ClÃ©ment Sipieter [first year master internship] .
DLGP (for Datalog Plus) is a textual exchange format at once human-friendly, concise and easy to parse. This format can be seen as an extension of the commonly used format for plain Datalog. A file may contain four kinds of knowledge elements: facts, existential rules, negative constraints and conjunctive queries. This format will allow us to easily exchange data and ontologies with groups working on the equivalent Datalog+/- formalism, developped in Oxford.
A DLGP parser is now available.