Module fr.boreal.backward_chaining
Package fr.boreal.backward_chaining.source_target
package fr.boreal.backward_chaining.source_target
-
ClassesClassDescriptionThis operator rewrites a query with the given rules assuming the rules are source to target rules meaning that the vocabulary of the initial query and the rewritings will be totally disjoint.