Group: fr.lirmm.graphik - All Dependencies

fr.lirmm.graphik:dlgp2-parser · A low level parser for Dlgp2 format (Datalog+)

fr.lirmm.graphik:graal-io-iris-dtg · The graal-io-iris-dtg module provides a writer for the iris compatible dtg format.

fr.lirmm.graphik:graal-grd · The graal-grd module provides an implementation of the GraphOfRuleDependencies interface.

Graal Defeasible Core · This is the core library relying on the GRAAL reasoning tool and containing a Defeasible Existential Rules DLGP parser along with the support for preferences on rules and alternatives

fr.lirmm.graphik:graal-main-project · Graal is a java toolkit dedicated to ontological query answering in the framework of existential rules. We consider knowledge bases composed of data and an ontology expressed by existential rules. The main features of Graal are the following: a basic layer that provides generic interfaces to store and query various kinds of data, forward chaining and query rewriting algorithms, structural analysis of decidability properties of a rule set, a textual format and its parser, and import of OWL 2 files. We describe in more detail the query rewriting algorithms, which rely on original techniques, and report some experiments.

fr.lirmm.graphik:graal · Graal is a java toolkit dedicated to ontological query answering in the framework of existential rules. We consider knowledge bases composed of data and an ontology expressed by existential rules. The main features of Graal are the following: a basic layer that provides generic interfaces to store and query various kinds of data, forward chaining and query rewriting algorithms, structural analysis of decidability properties of a rule set, a textual format and its parser, and import of OWL 2 files. We describe in more detail the query rewriting algorithms, which rely on original techniques, and report some experiments.