Package org.semanticweb.kaon2.api.rules

Interface Summary

Constant	Represents a constant in a literal.
Literal	Represents a literal in the rule.
NonOWLPredicate	Represents a predicate in a program which does not come from an OWL knowledge base.
Predicate	Represents a predicate in the program.
Rule	Represents a rule in the program.
Term	Represents a term of a literal.
Variable	Represents a variable in a literal.

Class Summary

Rule.SubsumptionResult

Returns the result of a subsumption check.

Enum Summary

Rule.SubsumptionType

The enumeration of the types of subsumption relationships.