Cross Reference: /ontohub/db/seeds/041-proving.rb

Lines Matching refs:ontology

3   ontology = repository.ontologies.find_by_name(ontology_name)
4   Proof.new({ontology_id: ontology.id,
9 ontology = repository.ontologies.find_by_name('v__T')
10 theorem = ontology.theorems.find_by_name('antisymmetric')
11 Proof.new({ontology_id: ontology.id,
16 ontology = repository.ontologies.find_by_name('SubclassToleranceOne')
17 theorem = ontology.theorems.find_by_name('beer < liquid')
18 Proof.new({ontology_id: ontology.id,
26 ontology = repository.ontologies.find_by_name('SubclassToleranceOnePointFive')
27 theorem = ontology.theorems.find_by_name('beer < liquid')
28 Proof.new({ontology_id: ontology.id,