Searched defs:label (Results 1 - 1 of 1) sorted by relevance

/ontohub/app/models/proof_status/
H A Dcreation_from_ontology.rb25 proof_status.label = label(status)
31 def label(status) method in class:ProofStatus.CreationFromOntology.ClassMethods
37 match = label_sentence.text.match(/hasLabel.*(\s|#)(?<label>\w+)/)
38 match[:label]
42 # The name of the proof status is in the owl-label of the class.
43 # In owl, the label is for a natural language label. A name fits well
45 symbol_by_name(status).label

Completed in 56 milliseconds