Lines Matching refs:ontology
4 def clean_ontology(ontology)
5 ontology.symbols.destroy_all
6 ontology.all_sentences.destroy_all
7 ontology.symbols_count = 0
8 ontology.sentences_count = 0
9 ontology.axioms_count = 0
10 ontology.theorems_count = 0
11 ontology.save!
14 def assign_language(ontology, current_element)
17 ontology.language = Language.where(iri: iri)
22 def assign_logic(ontology, current_element)
25 ontology.logic = Logic.where(iri: iri)
30 def assign_distributed_ontology_logic(ontology)
33 ontology.logic = Logic.where(iri: iri)
38 # generate IRI for child-ontology
41 # find or create child-ontology by IRI
42 ontology = parent_ontology.all_children.find_with_locid(child_locid)
43 if ontology.nil?
50 ontology = SingleOntology.new(options, without_protection: true)
51 parent_ontology.children << ontology
53 ontology.present = true
54 ontology.save! if ontology.changed? || !ontology.persisted?
56 version = ontology.versions.build
57 version.basepath = ontology.basepath
61 version.file_extension = ontology.file_extension
65 ontology
80 ontology = Ontology.find_with_iri(internal_iri)
81 if ontology.nil?
84 ontohub_iri = ontology.iri
95 # 'more than one ontology' issue.
107 ontology = Ontology.find_with_iri(iri)
108 if ontology.nil?
109 ontology = ExternalRepository.create_ontology(iri)
111 importer.ontology_aliases[element['name']] = ontology.iri
119 ontology = procure_child_ontology(iri)
121 ontology = parent_ontology
122 ontology.present = true
125 clean_ontology(ontology)
126 ontology