Class: RDF::Statement
- Inherits:
-
Object
- Object
- RDF::Statement
- Defined in:
- lib/rdf/reasoner/extensions.rb
Constant Summary collapse
- @@entailments =
{}
Class Method Summary collapse
-
.add_entailment(method, proc) ⇒ Object
Add an entailment method.
Instance Method Summary collapse
-
#entail(method) {|term| ... } ⇒ Array<Term>
Perform an entailment on this term.
Class Method Details
.add_entailment(method, proc) ⇒ Object
Add an entailment method. The method accepts no arguments, and returns or yields an array of values associated with the particular entailment method
123 124 125 |
# File 'lib/rdf/reasoner/extensions.rb', line 123 def add_entailment(method, proc) @@entailments[method] = proc end |
Instance Method Details
#entail(method) {|term| ... } ⇒ Array<Term>
Perform an entailment on this term.
135 136 137 |
# File 'lib/rdf/reasoner/extensions.rb', line 135 def entail(method, &block) self.send(@@entailments.fetch(method), &block) end |