Package com.semedy.reasoner.rewriter
package com.semedy.reasoner.rewriter
-
ClassesClassDescriptionThis rewriter eliniates redundant bodies in rulesAdds the OO axioms to the idb if neededThis rewriter joins comparisons to between comparisonsreorders rules and adorns rules that they are top-down evaluableSelects rules bottom up.This rewriter deals with size comparisons.Eliminates rule bodies which are marked by "/".This rewriter deletes semi joins in rulesThis rewriter substitutes member(_,Class) literals by elementOf literalsThis rewriter eliniates redundant bodies in rulesThis rewriter deletes equal predicates in rulesThis rewriter adds for each value literal in query a set of rules to create null values if there is no value for a propertyThis rewriter translates rules into rules which apply to sub relations.This rewriter eliniates redundant bodies in rulesfolds rules.Searches for rule body sequences like p(..,?Removes isa-literals in a rule if there is an access to at least one unique propertyreorders rules and adorns rules that they are top-down evaluableThis rewriter adds a module to the rulesThis rewriter adds path rules for path expressionsThis rewriter propagates constants top-down in the rules and
then removes rules which cannot contribute to the answer or instantiates variables with constants in rulesThis rewriter propagates constraints like less,greater top-down in the rules.This rewriter creates a rule and a simplified query out of a complex query.This rewriter ....select one elements of the inputThis rewriter changes rules and queries such that facts which should be deleted are excluded from reasoning
E.g. given the rule p(?Splits a rule into two rules if the same join sequence occurs two times.reorders rules and adorns rules that they are top-down evaluableUnfolder unfolds rules into other rules.