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

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

Recent changes

12 years agoJan WielemakerAdded rdf:_NNN entailment
12 years agoJan WielemakerAdded reasoning framework

This file requires

Exported predicates

Required predicates