Class: RDFS::Semantics::RDFS10
Overview
RDFS entailment rule ‘rdfs10` for `rdfs:subClassOf`.
Constant Summary
Constants inherited from Rule
Instance Attribute Summary
Attributes inherited from Rule
#antecedents, #consequents, #constraints
Method Summary
Methods inherited from Rule
#antecedent, #antecedents_ordered_by_decreasing_specificity, #consequent, #constraint, #initialize, #match, substitute, unitary_match
Constructor Details
This class inherits a constructor from RDFS::Rule