prototyping-inference-engine 0.0.1

A library to protorype inference engines

Pie : Prototyping Inference Engine

Pie is an inference engine library that allows to easily builds software prototypes. The goal is to allow to build quickly any software prototype which needs an inference engine. This library supports existential disjunctive rules (which are Disjunctive Datalog rules with existentially quantified variables in the conclusion), forward chaining, backward chaining and heterogeneous sources of data.

** Warning : this library is still in its infancy and big modifications of its interfaces could still be done. **

Progression

• API: 80% done
• Dlgp Parser: 75% done
• Homomorphism: 50%
• Backward chaining: 90%
• Forward chaining: 0%

Packages

API

The API comprises the essential classes of the library : terms, atoms, atom sets, fact bases, ontologies, queries and so on.

Apps

The apps package contains some example applications with some dlgp file examples

Backward chaining

The backward chaining packages contains classes that allow to rewrite queries (more precisely, one can rewrite union of conjunctives queries with disjunctive existential rules)

Parser

There is, for now, one parser : the dlgp parser, which supports an extended version of the dlgp 2.1 format where disjunction in the queries and the head of the rules is allowed.