Class: RDFS::Semantics::RDFS11

Inherits:
Rule
  • Object
show all
Defined in:
lib/rdfs/semantics.rb

Overview

RDFS entailment rule ‘rdfs11` for `rdfs:subClassOf`.

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