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

/ontohub/app/serializers/
H A Daction_serializer.rb3 attributes :iri
5 def iri method in class:ActionSerializer.Reference
12 attributes :iri, :status, :eta
14 def iri method in class:ActionSerializer
15 Reference.new(object).iri
H A Dformality_level_serializer.rb3 attributes :iri
6 def iri method in class:FormalityLevelSerializer.Reference
13 attributes :iri
16 def iri method in class:FormalityLevelSerializer
17 Reference.new(object).iri
H A Dlicense_model_serializer.rb3 attributes :iri
6 def iri method in class:LicenseModelSerializer.Reference
13 attributes :iri
16 def iri method in class:LicenseModelSerializer
17 Reference.new(object).iri
H A Dlogic_serializer.rb3 attributes :iri
6 def iri method in class:LogicSerializer.Reference
13 attributes :iri, :name, :description
16 def iri method in class:LogicSerializer
17 Reference.new(object).iri
H A Dontology_type_serializer.rb3 attributes :iri
6 def iri method in class:OntologyTypeSerializer.Reference
13 attributes :iri, :documentation_url
16 def iri method in class:OntologyTypeSerializer
17 Reference.new(object).iri
H A Dproof_status_serializer.rb3 attributes :iri,
6 def iri method in class:ProofStatusSerializer.Reference
11 attributes :iri,
16 def iri method in class:ProofStatusSerializer
17 Reference.new(object).iri
H A Dontology_version_serializer.rb3 attributes :iri
6 def iri method in class:OntologyVersionSerializer.Reference
11 attributes :iri, :evaluation_state
18 def iri method in class:OntologyVersionSerializer
19 Reference.new(object).iri
H A Dprover_output_serializer.rb3 attributes :iri
5 def iri method in class:ProverOutputSerializer.Reference
10 attributes :iri
15 def iri method in class:ProverOutputSerializer
16 Reference.new(object).iri
H A Dlogic_mapping_serializer.rb3 attributes :iri
5 def iri method in class:LogicMappingSerializer.Reference
12 attributes :iri
23 def iri method in class:LogicMappingSerializer
24 Reference.new(object).iri
H A Drepository_serializer.rb3 attributes :iri
6 def iri method in class:RepositorySerializer.Reference
13 attributes :iri, :remote_origin, :source
16 def iri method in class:RepositorySerializer
17 Reference.new(object).iri
H A Daxiom_serializer.rb3 attributes :iri
6 def iri method in class:AxiomSerializer.Reference
11 attributes :iri, :symbols
16 def iri method in class:AxiomSerializer
17 Reference.new(object).iri
H A Dmapping_serializer.rb3 attributes :iri
6 def iri method in class:MappingSerializer.Reference
11 attributes :iri
18 def iri method in class:MappingSerializer
19 Reference.new(object).iri
H A Dsentence_serializer.rb3 attributes :iri
6 def iri method in class:SentenceSerializer.Reference
11 attributes :iri, :symbols
16 def iri method in class:SentenceSerializer
17 Reference.new(object).iri
H A Dtheorem_serializer.rb3 attributes :iri
6 def iri method in class:TheoremSerializer.Reference
11 attributes :iri,
21 def iri method in class:TheoremSerializer
22 Reference.new(object).iri
H A Dontology_serializer.rb3 attributes :iri
6 def iri method in class:OntologySerializer.Reference
11 attributes :iri, :evaluation_state
29 def iri method in class:OntologySerializer
30 Reference.new(object).iri
H A Dproof_attempt_configuration_serializer.rb3 attributes :iri
5 def iri method in class:ProofAttemptConfigurationSerializer.Reference
10 attributes :iri
19 def iri method in class:ProofAttemptConfigurationSerializer
20 Reference.new(object).iri
H A Dproof_attempt_serializer.rb3 attributes :iri
6 def iri method in class:ProofAttemptSerializer.Reference
11 attributes :iri,
26 def iri method in class:ProofAttemptSerializer
27 Reference.new(object).iri
/ontohub/app/serializers/ontology_member/
H A Dsymbol_serializer.rb3 attributes :iri
6 def iri method in class:OntologyMember.Reference
11 attributes :iri, :sentences
16 def iri method in class:OntologyMember
17 Reference.new(object).iri
/ontohub/app/models/
H A Dontology.rb37 def iri method in class:Ontology
89 name? ? name : iri
94 name? ? iri : nil

Completed in 452 milliseconds