/ontohub/app/serializers/ |
H A D | action_serializer.rb | 3 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 D | formality_level_serializer.rb | 3 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 D | license_model_serializer.rb | 3 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 D | logic_serializer.rb | 3 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 D | ontology_type_serializer.rb | 3 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 D | proof_status_serializer.rb | 3 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 D | ontology_version_serializer.rb | 3 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 D | prover_output_serializer.rb | 3 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 D | logic_mapping_serializer.rb | 3 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 D | repository_serializer.rb | 3 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 D | axiom_serializer.rb | 3 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 D | mapping_serializer.rb | 3 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 D | sentence_serializer.rb | 3 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 D | theorem_serializer.rb | 3 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 D | ontology_serializer.rb | 3 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 D | proof_attempt_configuration_serializer.rb | 3 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 D | proof_attempt_serializer.rb | 3 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 D | symbol_serializer.rb | 3 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 D | ontology.rb | 37 def iri method in class:Ontology 89 name? ? name : iri 94 name? ? iri : nil
|