Searched defs:axiom (Results 1 - 3 of 3) sorted by relevance
| /ontohub/lib/parsing_callback/ | ||
| H A D | owl.rb | 37 def axiom(hash, axiom) method in class:ParsingCallback.Callback |
| H A D | generic_callback.rb | 22 def axiom(_hash, _axiom) method in class:ParsingCallback.GenericCallback |
| /ontohub/lib/hets/dg/ | ||
| H A D | node_evaluator.rb | 17 register :axiom, :end, to: :axiom 95 type1: 'axiom', 102 def axiom(current_element) method in class:Hets.DG.NodeEvaluator 104 axiom = ontology.axioms.update_or_create_from_hash( 109 logic_callback.axiom(current_element, axiom) 117 class: 'axiom', 128 axiom = ontology.axioms.update_or_create_from_hash( 133 logic_callback.axiom(current_elemen [all...] |
Completed in 221 milliseconds