Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator
package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator
-
ClassDescriptionHomomorphism finder that considers two derived ordinary literals to be homomorphic, even whey they have different predicate names, if they have homomorphic derivation rules.Under this criteria, two derived ordinary literals are considered homomorphic, even if they have different predicate names, if their derivation rules are homomorphicThis class is responsible for detecting whether two list of literals (or derivation rules, or logic constraints) are logically equivalent, or not.This class is responsible for checking whether there is an homomorphism between two NormalClauses.Under this strategy, two ordinary literals are considered homomorphic if they have the same name, and their terms are homomorphic.