rdf-mt/commit
Dummy entailment
author | Jan Wielemaker |
---|---|
Mon Dec 16 11:28:41 2013 +0100 | |
committer | Jan Wielemaker |
Mon Dec 16 11:28:41 2013 +0100 | |
commit | 6dcc948fdf4afc9b2efe3bc0f76838ac09021251 |
tree | bd6802d65a85758f5c821f0f6fd242349f9e3700 |
parent | 93df76581295d5c7ae38fd542c12c238fd5def3d |
Diff style: patch stat
diff --git a/lib/rdf_mt/mt_rdf.pl b/lib/rdf_mt/mt_rdf.pl index 5732095..f2b1e08 100644 --- a/lib/rdf_mt/mt_rdf.pl +++ b/lib/rdf_mt/mt_rdf.pl @@ -30,6 +30,9 @@ :- module(mt_rdf, []). :- use_module(library(semweb/rdf_db)). +:- use_module(library(xmlrdf/rdf_rewrite)). :- multifile rdf_reasoner:entailment_module/2. rdf_reasoner:entailment_module(rdf, mt_rdf). + +dummy @@ {sss, ppp, ooo} ==> true. diff --git a/lib/rdf_mt/mt_simple.pl b/lib/rdf_mt/mt_simple.pl index ce62aee..a989d21 100644 --- a/lib/rdf_mt/mt_simple.pl +++ b/lib/rdf_mt/mt_simple.pl @@ -30,6 +30,9 @@ :- module(mt_simple, []). :- use_module(library(semweb/rdf_db)). +:- use_module(library(xmlrdf/rdf_rewrite)). :- multifile rdf_reasoner:entailment_module/2. rdf_reasoner:entailment_module(simple, mt_simple). + +dummy @@ {sss, ppp, ooo} ==> true.