Class: RDFS::Semantics::RDFS12

Inherits:

Rule

• Object
• Rule
• RDFS::Semantics::RDFS12

Defined in:

lib/rdfs/semantics.rb

Overview

RDFS entailment rule ‘rdfs12`.

See Also:

• http://www.w3.org/TR/rdf-mt/#RDFSRules

Constant Summary

Constants inherited from Rule

Rule::PLACEHOLDERS

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