Группа библиотек: fr.lirmm.graphik

Graal Defeasible Core

fr.lirmm.graphik : 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

Последняя версия: 0.0.6

Дата:

Existential Logic for Defeasible Reasoning

fr.lirmm.graphik : graal-elder

A defeasible reasoning tool for existential rules, it supports defeasible reasoning with amibguity blocking/propagating with or without team defeat

Последняя версия: 1.0.17

Дата:

fr.lirmm.graphik:graal-core

fr.lirmm.graphik : graal-core

This module contains the main interfaces and classes of Graal.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-util

fr.lirmm.graphik : graal-util

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-api

fr.lirmm.graphik : graal-api

This module provides all interfaces of Graal.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-io-dlgp

fr.lirmm.graphik : graal-io-dlgp

The graal-io-dlgp provides a parser and a writer for the Dlgp format.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-forward-chaining

fr.lirmm.graphik : graal-forward-chaining

The graal-forward-chaining module provides implementation for chase algorithms.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-homomorphism

fr.lirmm.graphik : graal-homomorphism

The Homomorphism module implements algorithms to query data.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-store-rdbms

fr.lirmm.graphik : graal-store-rdbms

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-backward-chaining

fr.lirmm.graphik : graal-backward-chaining

The graal-backward-chaining provides implementation for query rewriting algorithms.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-rules-analyser

fr.lirmm.graphik : graal-rules-analyser

This 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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-io-owl

fr.lirmm.graphik : graal-io-owl

The graal-io-owl module provides a parser from OWL2.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-io-sparql

fr.lirmm.graphik : graal-io-sparql

The graal-io-sparql provides a parser and a writer for sparql queries (core).

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-io-ruleml

fr.lirmm.graphik : graal-io-ruleml

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:rdf4j-common

fr.lirmm.graphik : rdf4j-common

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-io-rdf

fr.lirmm.graphik : graal-io-rdf

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:rdbms-common

fr.lirmm.graphik : rdbms-common

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-store-neo4j

fr.lirmm.graphik : graal-store-neo4j

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-grd

fr.lirmm.graphik : graal-grd

The graal-grd module provides an implementation of the GraphOfRuleDependencies interface.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-io

fr.lirmm.graphik : graal-io

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-kb

fr.lirmm.graphik : graal-kb

The Graal Knowledge Base layer

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-store

fr.lirmm.graphik : graal-store

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:rdbms-adhoc

fr.lirmm.graphik : rdbms-adhoc

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:rdbms-natural

fr.lirmm.graphik : rdbms-natural

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:rdbms-test

fr.lirmm.graphik : rdbms-test

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-store-rdf4j

fr.lirmm.graphik : graal-store-rdf4j

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-test

fr.lirmm.graphik : graal-test

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-coverage

fr.lirmm.graphik : graal-coverage

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.

Последняя версия: 1.3.1

Дата:

fr.lirmm.graphik:graal-store-blueprints

fr.lirmm.graphik : graal-store-blueprints

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.

Последняя версия: 1.3.a2

Дата:

fr.lirmm.graphik:dlgp2-parser

fr.lirmm.graphik : dlgp2-parser

A low level parser for Dlgp2 format (Datalog+)

Последняя версия: 2.1.1

Дата:

fr.lirmm.graphik:graal-store-jenaTDB

fr.lirmm.graphik : graal-store-jenaTDB

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.

Последняя версия: 1.3.a1

Дата:

fr.lirmm.graphik:graal-store-openrdf

fr.lirmm.graphik : graal-store-openrdf

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.

Последняя версия: 1.3.a0

Дата:

fr.lirmm.graphik:graal-incubator-misc

fr.lirmm.graphik : graal-incubator-misc

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.

Последняя версия: 1.2.0

Дата:

fr.lirmm.graphik:graal-io-iris-dtg

fr.lirmm.graphik : graal-io-iris-dtg

The graal-io-iris-dtg module provides a writer for the iris compatible dtg format.

Последняя версия: 1.2.0

Дата:

fr.lirmm.graphik:graal-main-project

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.

Последняя версия: 1.2.0

Дата:

fr.lirmm.graphik:graal-incubator

fr.lirmm.graphik : graal-incubator

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.

Последняя версия: 1.2.0

Дата:

fr.lirmm.graphik:graal-apps

fr.lirmm.graphik : graal-apps

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.

Последняя версия: 1.2.0

Дата:

fr.lirmm.graphik:graal-apps-incubator

fr.lirmm.graphik : graal-apps-incubator

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.

Последняя версия: 1.2.0

Дата:

fr.lirmm.graphik:graal-cli

fr.lirmm.graphik : graal-cli

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.

Последняя версия: 1.2.0

Дата:

fr.lirmm.graphik:graal-cqa

fr.lirmm.graphik : graal-cqa

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.

Последняя версия: 1.2.0

Дата:

fr.lirmm.graphik:graal-converter

fr.lirmm.graphik : graal-converter

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.

Последняя версия: 1.2.0

Дата:

fr.lirmm.graphik:graal-query

fr.lirmm.graphik : graal-query

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.

Последняя версия: 1.2.0

Дата:

fr.lirmm.graphik:utility-tools

fr.lirmm.graphik : utility-tools

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.

Последняя версия: 1.2.0

Дата:

fr.lirmm.graphik:forward-chaining

fr.lirmm.graphik : forward-chaining

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.

Последняя версия: 1.2.0

Дата:

fr.lirmm.graphik:graal-interpreter

fr.lirmm.graphik : graal-interpreter

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.

Последняя версия: 1.2.0

Дата:

fr.lirmm.graphik:graal-examples

fr.lirmm.graphik : graal-examples

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.

Последняя версия: 1.2.0

Дата:

fr.lirmm.graphik:graal-distro

fr.lirmm.graphik : graal-distro

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.

Последняя версия: 1.2.0

Дата:

fr.lirmm.graphik:graal-store-test

fr.lirmm.graphik : graal-store-test

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.

Последняя версия: 1.0.1

Дата:

fr.lirmm.graphik:graal-tools

fr.lirmm.graphik : graal-tools

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.

Последняя версия: 1.0.1

Дата:

  • 1