File "lib/rdf_mt/rdf_reasoner.pl"[download]

in pack:	rdf-mt
Prolog module:	rdf_reasoner
size:	2175

Recent changes

8 years ago	Jan Wielemaker	Added rdf:_NNN entailment
8 years ago	Jan Wielemaker	Added reasoning framework

This file requires

• From packages
  • library(xmlrdf/rdf_rewrite) resolved by
    • rdf_rewrite.pl: rdf_rewrite/1
• From the Prolog library
  • library(debug) resolved by
    • debug.pl: debug/3
  • library(option) resolved by
    • option.pl: option/3
  • library(semweb/rdf_db) resolved by
    • rdf_db.pl could not find proof of dependency

Exported predicates

• compute_closure/2

Required predicates

• debug/3 from library(debug)
• option/3 from library(option)
• rdf_rewrite/1 from library(xmlrdf/rdf_rewrite)