TRILL

TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.

You can find the manual at https://github.com/rzese/trill/blob/master/doc/help-trill.pdf

You can try it online at http://trill-sw.eu

Installation

This is a SWI-Prolog (http://www.swi-prolog.org/) pack.

It can be installed with pack_install/1

$ swipl
?- pack_install(trill).

Requirements

It requires the packs

bddem uses a foreign library and contains the library binaries for 32 and 64 bits Linux and 64 bits Windows. If you want to recompile the foreign library you can use

?- pack_rebuild(bdeem).

On 32 and 64 bits Linux this should work out of the box. On 64 bits Windows the library must be rebuilt by hand, see the pack page https://github.com/friguzzi/bddem

You can upgrade the pack with

$ swipl
?- pack_upgrade(trill).

Note that the packs on which trill depends are not upgraded automatically in this case so they need to be upgraded manually.

Example of use

$ cd <pack>/trill/prolog/examples
$ swipl
?- [peoplePets].
?- prob_instanceOf('natureLover','Kevin',Prob).

Testing the installation

$ swipl
?- [library(trill_test/test)].
?- test.

Support

Use the Google group https://groups.google.com/forum/#!forum/trill-system

Prolog files

pack.plShow source
prolog/examples/BRCA.plShow source
prolog/examples/DBPedia.plShow source
prolog/examples/biopaxLevel3.plShow source
prolog/examples/commander.plShow source
prolog/examples/example_max_rule.plShow source
prolog/examples/example_or_rule.plShow source
prolog/examples/johnEmployee.plShow source
prolog/examples/peoplePets.plShow source
prolog/examples/review_example.plShow source
prolog/examples/vicodi.plShow source
prolog/tornado_internal.plShow source
prolog/trill.pl  -- utility_translationShow source
prolog/trill_2_funct.plShow source
convert_axiom/2The predicate converts the axiom TRILLAxiom from TRILL format to OWL Functional syntax.Source
convert_explanations/2The predicate converts the axioms contained in the list of explanations returned by TRILL into OWL Functional sytntax.Source
prolog/trill_2_manch.plShow source
convert_axiom/2The predicate converts the axiom TRILLAxiom from TRILL format to OWL Manchester syntax.Source
convert_explanations/2The predicate converts the axioms contained in the list of explanations returned by TRILL into OWL Manchester sytntax.Source
prolog/trill_internal.plShow source
prolog/trill_test/test.plShow source
prolog/trill_test/test_tornado.plShow source
prolog/trill_test/test_trill.plShow source
prolog/trill_test/test_trillp.plShow source
prolog/trill_test/trill_test.plShow source
prolog/trillp_internal.plShow source
prolog/utility_translation.pl  -- Translates an RDF database to OWL2 axiomsShow source