JarCastingProject Group: fr.lirmm.graphik
Graal Defeasible Core
fr.lirmm.graphik : graal-defeasible-coreThis 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
Last Version: 0.0.6
Release Date:Existential Logic for Defeasible Reasoning
fr.lirmm.graphik : graal-elderA defeasible reasoning tool for existential rules, it supports defeasible reasoning with amibguity blocking/propagating with or without team defeat
Last Version: 1.0.17
Release Date:
fr.lirmm.graphik:graal-core
fr.lirmm.graphik : graal-coreThis module contains the main interfaces and classes of Graal.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-util
fr.lirmm.graphik : graal-utilGraal 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.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-api
fr.lirmm.graphik : graal-apiThis module provides all interfaces of Graal.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-io-dlgp
fr.lirmm.graphik : graal-io-dlgpThe graal-io-dlgp provides a parser and a writer for the Dlgp format.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-forward-chaining
fr.lirmm.graphik : graal-forward-chainingThe graal-forward-chaining module provides implementation for chase algorithms.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-homomorphism
fr.lirmm.graphik : graal-homomorphismThe Homomorphism module implements algorithms to query data.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-store-rdbms
fr.lirmm.graphik : graal-store-rdbmsGraal 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.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-backward-chaining
fr.lirmm.graphik : graal-backward-chainingThe graal-backward-chaining provides implementation for query rewriting algorithms.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-rules-analyser
fr.lirmm.graphik : graal-rules-analyserThis module is dedicated to the analysis of a set of existential rules. It can check if this set belongs to a known decidable class of rules, either directly or by means of its Graph of Rule Dependencies (GRD). This module allows to analyze the properties of the strongly connected components in the GRD, which allows to determine properties of the rule set with respect to decidability as well as the kind of paradigm (forward or backward chaining) ensuring decidability.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-io-owl
fr.lirmm.graphik : graal-io-owlThe graal-io-owl module provides a parser from OWL2.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-io-sparql
fr.lirmm.graphik : graal-io-sparqlThe graal-io-sparql provides a parser and a writer for sparql queries (core).
Last Version: 1.3.1
Release Date:fr.lirmm.graphik:graal-io-ruleml
fr.lirmm.graphik : graal-io-rulemlGraal 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.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:rdf4j-common
fr.lirmm.graphik : rdf4j-commonGraal 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.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-io-rdf
fr.lirmm.graphik : graal-io-rdfGraal 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.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:rdbms-common
fr.lirmm.graphik : rdbms-commonGraal 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.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-store-neo4j
fr.lirmm.graphik : graal-store-neo4jGraal 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.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-grd
fr.lirmm.graphik : graal-grdThe graal-grd module provides an implementation of the GraphOfRuleDependencies interface.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal
fr.lirmm.graphik : graalGraal 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.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-io
fr.lirmm.graphik : graal-ioGraal 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.
Last Version: 1.3.1
Release Date:
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-store
fr.lirmm.graphik : graal-storeGraal 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.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:rdbms-adhoc
fr.lirmm.graphik : rdbms-adhocGraal 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.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:rdbms-natural
fr.lirmm.graphik : rdbms-naturalGraal 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.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:rdbms-test
fr.lirmm.graphik : rdbms-testGraal 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.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-store-rdf4j
fr.lirmm.graphik : graal-store-rdf4jGraal 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.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-test
fr.lirmm.graphik : graal-testGraal 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.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-coverage
fr.lirmm.graphik : graal-coverageGraal 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.
Last Version: 1.3.1
Release Date:
fr.lirmm.graphik:graal-store-blueprints
fr.lirmm.graphik : graal-store-blueprintsGraal 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.
Last Version: 1.3.a2
Release Date:fr.lirmm.graphik:dlgp2-parser
fr.lirmm.graphik : dlgp2-parserA low level parser for Dlgp2 format (Datalog+)
Last Version: 2.1.1
Release Date:
fr.lirmm.graphik:graal-store-jenaTDB
fr.lirmm.graphik : graal-store-jenaTDBGraal 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.
Last Version: 1.3.a1
Release Date:
fr.lirmm.graphik:graal-store-openrdf
fr.lirmm.graphik : graal-store-openrdfGraal 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.
Last Version: 1.3.a0
Release Date:
fr.lirmm.graphik:graal-incubator-misc
fr.lirmm.graphik : graal-incubator-miscGraal 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.
Last Version: 1.2.0
Release Date:
fr.lirmm.graphik:graal-io-iris-dtg
fr.lirmm.graphik : graal-io-iris-dtgThe graal-io-iris-dtg module provides a writer for the iris compatible dtg format.
Last Version: 1.2.0
Release Date:
fr.lirmm.graphik:graal-main-project
fr.lirmm.graphik : graal-main-projectGraal 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.
Last Version: 1.2.0
Release Date:
fr.lirmm.graphik:graal-incubator
fr.lirmm.graphik : graal-incubatorGraal 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.
Last Version: 1.2.0
Release Date:
fr.lirmm.graphik:graal-apps
fr.lirmm.graphik : graal-appsGraal 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.
Last Version: 1.2.0
Release Date:
fr.lirmm.graphik:graal-apps-incubator
fr.lirmm.graphik : graal-apps-incubatorGraal 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.
Last Version: 1.2.0
Release Date:
fr.lirmm.graphik:graal-cli
fr.lirmm.graphik : graal-cliGraal 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.
Last Version: 1.2.0
Release Date:
fr.lirmm.graphik:graal-cqa
fr.lirmm.graphik : graal-cqaGraal 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.
Last Version: 1.2.0
Release Date:
fr.lirmm.graphik:graal-converter
fr.lirmm.graphik : graal-converterGraal 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.
Last Version: 1.2.0
Release Date:
fr.lirmm.graphik:graal-query
fr.lirmm.graphik : graal-queryGraal 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.
Last Version: 1.2.0
Release Date:
fr.lirmm.graphik:utility-tools
fr.lirmm.graphik : utility-toolsGraal 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.
Last Version: 1.2.0
Release Date:
fr.lirmm.graphik:forward-chaining
fr.lirmm.graphik : forward-chainingGraal 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.
Last Version: 1.2.0
Release Date:
fr.lirmm.graphik:graal-interpreter
fr.lirmm.graphik : graal-interpreterGraal 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.
Last Version: 1.2.0
Release Date:
fr.lirmm.graphik:graal-examples
fr.lirmm.graphik : graal-examplesGraal 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.
Last Version: 1.2.0
Release Date:
fr.lirmm.graphik:graal-distro
fr.lirmm.graphik : graal-distroGraal 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.
Last Version: 1.2.0
Release Date:
fr.lirmm.graphik:graal-store-test
fr.lirmm.graphik : graal-store-testGraal 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.
Last Version: 1.0.1
Release Date:
fr.lirmm.graphik:graal-tools
fr.lirmm.graphik : graal-toolsGraal 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.
Last Version: 1.0.1
Release Date:- 1