KReator

The KReator project is a collection of software systems, tools, algorithms
and data structures for logic-based knowledge representation. Currently, it
includes the software systems KReator and MECore and the library Log4KR:

- KReator is an integrated development environment (IDE) for relational
probabilistic knowledge representation languages such as Bayesian Logic
Programs (BLPs), Markov Logic Networks (MLNs), Relational Maximum
Entropy (RME), First-Order Probabilistic Conditional Logic (FO-PCL),
and others.

- MECore is a shell-based system that allows the user to create
propositional knowledge bases, to perform a variety of belief
change operations, and to query a knowledge base with respect to the
principle of optimum entropy.

- Log4KR is a library providing data structures to represent knowledge
bases in various logic formalisms (propositional, relational,
conditional, probabilistic, ...) and providing algorithms to perform reasoning operations