routes.rb revision b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96
a847d9812b328c048773e705606b10875a929034Eugen Kuksarequire Rails.root.join('lib', 'router_constraints.rb')
a4344d37747b6733bbd0d8df738b614cb385316cTim ReddehaseSpecroutes.define(Ontohub::Application.routes) do
5ec1c6ff5da427d945d7fb708567ce3526c4c741Tim Reddehase # IRI Routing #
5ec1c6ff5da427d945d7fb708567ce3526c4c741Tim Reddehase ###############
98ba1c38b1cce99ecc61117259f2ae05ffe98469Tim Reddehase # as per Loc/Id definition
81a6387a4ab56a24194ecbabd6609c6bcca568b7Tim Reddehase # Special (/ref-based) Loc/Id routes
10be32b36246121321399ec3ab26d4d723d550e3Tim Reddehase specified_get '/ref/:reference/:repository_id/*locid' => 'api/v1/ontology_versions#show',
10be32b36246121321399ec3ab26d4d723d550e3Tim Reddehase RefLocIdRouterConstraint.new(Ontology, ontology: :ontology_id),
10be32b36246121321399ec3ab26d4d723d550e3Tim Reddehase # reroute_on_mime 'application/json', to: 'api/v1/ontology_versions#show'
10be32b36246121321399ec3ab26d4d723d550e3Tim Reddehase doc title: 'Ontology IRI (loc/id) with version reference',
10be32b36246121321399ec3ab26d4d723d550e3Tim ReddehaseWill return a representation of the ontology at a
10be32b36246121321399ec3ab26d4d723d550e3Tim Reddehaseontology version referenced by the {reference}.
81a6387a4ab56a24194ecbabd6609c6bcca568b7Tim Reddehase specified_get '/ref/:reference/:repository_id/*locid' => 'ontologies#show',
81a6387a4ab56a24194ecbabd6609c6bcca568b7Tim Reddehase as: :ontology_iri_versioned,
81a6387a4ab56a24194ecbabd6609c6bcca568b7Tim Reddehase constraints: [
81a6387a4ab56a24194ecbabd6609c6bcca568b7Tim Reddehase RefLocIdRouterConstraint.new(Ontology, ontology: :id),
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase accept 'text/html'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: 'Ontology IRI (loc/id) with version reference',
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill return a representation of the ontology at a
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehaseontology version referenced by the {reference}.
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase # MMT-Support
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase specified_get '/ref/mmt/:repository_id/*path' => 'ontologies#show',
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase as: :ontology_iri_mmt,
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase constraints: [
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase MMTRouterConstraint.new(Ontology, ontology: :id),
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'text/plain', to: 'api/v1/ontologies#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/ontologies#show'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: 'MMT reference to an ontology',
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill return a representation of the ontology. The ontology
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehaseis determined according to the *path and to the MMT-query-string.
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase specified_get '/ref/mmt/:repository_id/*path' => 'mappings#show',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase as: :mapping_iri_mmt,
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase constraints: [
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase MMTRouterConstraint.new(Mapping, ontology: :ontology_id, element: :id),
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/mappings#show'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: 'MMT reference to a mapping',
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill return a representation of the mapping. The mapping
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehaseis determined according to the *path and to the MMT-query-string.
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase specified_get '/ref/mmt/:repository_id/*path' => 'symbols#index',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase as: :symbol_iri_mmt,
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase constraints: [
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase MMTRouterConstraint.new(OntologyMember::Symbol, ontology: :ontology_id),
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/symbols#show'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: 'MMT reference to a symbol',
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill return a representation of the symbol. The symbol
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehaseis determined according to the *path and to the MMT-query-string.
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseCurrently the representation ist a list of all symbols in the ontology.
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa specified_get '/ref/mmt/:repository_id/*path' => 'axioms#index',
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa as: :axiom_iri_mmt,
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa constraints: [
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa MMTRouterConstraint.new(Axiom, ontology: :ontology_id),
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa accept 'text/html'
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa reroute_on_mime 'application/json', to: 'api/v1/axioms#show'
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa doc title: 'MMT reference to a axiom',
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa body: <<-BODY
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen KuksaWill return a representation of the axiom. The axiom
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksais determined according to the *path and to the MMT-query-string.
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen KuksaCurrently the representation is a list of all axioms in the ontology.
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen Kuksa specified_get '/ref/mmt/:repository_id/*path' => 'theorems#show',
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen Kuksa as: :theorem_iri_mmt,
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen Kuksa constraints: [
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen Kuksa MMTRouterConstraint.new(Theorem, ontology: :ontology_id, element: :id),
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen Kuksa accept 'text/html'
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen Kuksa doc title: 'MMT reference to a theorem',
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen Kuksa body: <<-BODY
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen KuksaWill return a representation of the theorem. The theorem
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen Kuksais determined according to the *path and to the MMT-query-string.
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen KuksaCurrently the representation is a list of all theorems in the ontology.
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa specified_get '/ref/mmt/:repository_id/*path' => 'api/v1/sentences#show',
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa as: :sentence_iri_mmt,
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa constraints: [
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa MMTRouterConstraint.new(Sentence, ontology: :ontology_id),
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa accept 'application/json'
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa doc title: 'MMT reference to a sentence',
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa body: <<-BODY
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen KuksaWill return a representation of the sentence. The sentence
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksais determined according to the *path and to the MMT-query-string.
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen KuksaCurrently the representation is a list of all sentences in the ontology.
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa specified_get '/ref/mmt/:repository_id/*path' => 'api/v1/proof_attempt_configurations#show',
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa as: :proof_attempt_configuration_iri_mmt,
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa constraints: [
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa MMTRouterConstraint.new(ProofAttemptConfiguration, ontology: :ontology_id),
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa accept 'application/json'
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa doc title: 'MMT reference to a proof attempt configuration',
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa body: <<-BODY
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen KuksaWill return a representation of the proof attempt configuration. The proof
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksaattempt configuration is determined according to the *path and to the
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen KuksaMMT-query-string.
81a6387a4ab56a24194ecbabd6609c6bcca568b7Tim Reddehase # Subsites for ontologies
7c0f71e3e6e26af2cc91112fdbe3905879bfd893Tim Reddehase ontology_subsites = %i(
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase comments metadata graphs
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase projects categories tasks
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase ontology_api_subsites = %i(
7c0f71e3e6e26af2cc91112fdbe3905879bfd893Tim Reddehase mappings symbols children
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa axioms theorems
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa ontology_versions
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase license_models formality_levels
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa proof_attempt_configurations
7c0f71e3e6e26af2cc91112fdbe3905879bfd893Tim Reddehase ontology_subsites.each do |category|
d11de492e18415f91e383e1567beb4e1385d5938Tim Reddehase specified_get "/:repository_id/*locid///#{category}" => "#{category}#index",
7c0f71e3e6e26af2cc91112fdbe3905879bfd893Tim Reddehase as: :"ontology_iri_#{category}",
7c0f71e3e6e26af2cc91112fdbe3905879bfd893Tim Reddehase constraints: [
7c0f71e3e6e26af2cc91112fdbe3905879bfd893Tim Reddehase LocIdRouterConstraint.new(Ontology, ontology: :ontology_id),
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase accept 'text/html'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: "Ontology subsite about #{category.to_s.gsub(/_/, ' ')}",
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill provide a subsite of a specific ontology.
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase ontology_api_subsites.each do |category|
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase specified_get "/:repository_id/*locid///#{category}" => "#{category}#index",
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase as: :"ontology_iri_#{category}",
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase constraints: [
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase LocIdRouterConstraint.new(Ontology, ontology: :ontology_id),
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase accept 'text/html'
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase reroute_on_mime 'application/json', to: "api/v1/#{category}#index"
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase doc title: "Ontology subsite about #{category.to_s.gsub(/_/, ' ')}",
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase body: <<-BODY
503ccb65bd740225668eb51be966d60fb4ae29e1Tim ReddehaseWill provide a subsite of a specific ontology.
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa specified_get "/:repository_id/*locid///sentences" => "api/v1/sentences#index",
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa as: :"ontology_iri_sentences",
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa constraints: [
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa LocIdRouterConstraint.new(Ontology, ontology: :ontology_id),
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa accept 'application/json'
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa doc title: "Ontology subsite about sentences",
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa body: <<-BODY
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen KuksaWill provide a subsite of a specific ontology.
81a6387a4ab56a24194ecbabd6609c6bcca568b7Tim Reddehase # Loc/Id-Show(-equivalent) routes
98ba1c38b1cce99ecc61117259f2ae05ffe98469Tim Reddehase specified_get '/:repository_id/*locid' => 'ontologies#show',
98ba1c38b1cce99ecc61117259f2ae05ffe98469Tim Reddehase as: :ontology_iri,
98ba1c38b1cce99ecc61117259f2ae05ffe98469Tim Reddehase constraints: [
d51cee8257d50d1f2d7c0818d968b32096f6b795Tim Reddehase LocIdRouterConstraint.new(Ontology, ontology: :id),
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'text/plain', to: 'api/v1/ontologies#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/ontologies#show'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: 'loc/id reference to an ontology',
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill return a representation of the ontology. The ontology
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehaseis determined according to the *locid.
7dadc1a5aa3845c2ce19ad1daa2c63dfd7b59979Tim Reddehase specified_get '/:repository_id/*locid' => 'mappings#show',
7dadc1a5aa3845c2ce19ad1daa2c63dfd7b59979Tim Reddehase as: :mapping_iri,
7dadc1a5aa3845c2ce19ad1daa2c63dfd7b59979Tim Reddehase constraints: [
7dadc1a5aa3845c2ce19ad1daa2c63dfd7b59979Tim Reddehase LocIdRouterConstraint.new(Mapping, ontology: :ontology_id, element: :id),
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/mappings#show'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: 'loc/id reference to a mapping',
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill return a representation of the mapping. The mapping
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehaseis determined according to the *locid.
d51cee8257d50d1f2d7c0818d968b32096f6b795Tim Reddehase specified_get '/:repository_id/*locid' => 'symbols#index',
d51cee8257d50d1f2d7c0818d968b32096f6b795Tim Reddehase as: :symbol_iri,
d51cee8257d50d1f2d7c0818d968b32096f6b795Tim Reddehase constraints: [
772288cf17d57e84a4799c56949263f7ff098773Tim Reddehase LocIdRouterConstraint.new(OntologyMember::Symbol, ontology: :ontology_id, element: :id),
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/symbols#show'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: 'loc/id reference to a symbol',
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill return a representation of the symbol. The symbol
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehaseis determined according to the *locid.
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseCurrently this will return the list of all symbols of the ontology.
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa specified_get '/:repository_id/*locid' => 'api/v1/sentences#show',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase as: :sentence_iri,
653f8d7c88abc38a2c42f12b80b3e3efd882e039Tim Reddehase constraints: [
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa LocIdRouterConstraint.new(Sentence, ontology: :ontology_id, element: :id),
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa accept 'application/json'
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa doc title: 'loc/id reference to a sentence',
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen KuksaWill return a representation of the sentence. The sentence
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehaseis determined according to the *locid.
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen KuksaCurrently this will return the list of all sentences of the ontology.
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa specified_get '/:repository_id/*locid' => 'axioms#index',
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa as: :axiom_iri,
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa constraints: [
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa LocIdRouterConstraint.new(Axiom, ontology: :ontology_id, element: :id),
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa accept 'text/html'
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa reroute_on_mime 'application/json', to: 'api/v1/axioms#show'
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa doc title: 'loc/id reference to an axiom',
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa body: <<-BODY
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen KuksaWill return a representation of the axiom. The axiom
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksais determined according to the *locid.
0af42668e3f55c0feaf10dc656fb423c4adaba80Eugen KuksaCurrently this will return the list of all axioms of the ontology.
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa specified_get '/:repository_id/*locid' => 'theorems#show',
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa as: :theorem_iri,
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa constraints: [
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa LocIdRouterConstraint.new(Theorem, ontology: :ontology_id, element: :id),
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa accept 'text/html'
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa reroute_on_mime 'application/json', to: 'api/v1/theorems#show'
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa doc title: 'loc/id reference to a theorem',
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa body: <<-BODY
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen KuksaWill return a representation of the theorem. The theorem
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksais determined according to the *locid.
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa proof_attempt_configuration_api_subsites =
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa %i(selected_axioms selected_theorems)
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa proof_attempt_configuration_api_subsites.each do |subsite|
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa specified_get "/:repository_id/*locid///#{subsite}" => "api/v1/proof_attempt_configurations##{subsite}",
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa as: :"proof_attempt_configuration_iri_#{subsite}",
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa constraints: [
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa LocIdRouterConstraint.new(ProofAttemptConfiguration, ontology: :ontology_id, element: :id),
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa accept 'application/json'
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa doc title: 'loc/id reference to a proof attempt configuration subsite',
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa body: <<-BODY
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa Will return a subsite of the proof attempt configuration. The proof attempt
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa configuration is determined according to the *locid.
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa specified_get '/:repository_id/*locid' => 'api/v1/proof_attempt_configurations#show',
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa as: :proof_attempt_configuration_iri,
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa constraints: [
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa LocIdRouterConstraint.new(ProofAttemptConfiguration, ontology: :ontology_id, element: :id),
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa accept 'application/json'
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa doc title: 'loc/id reference to a proof attempt configuration',
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa body: <<-BODY
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen KuksaWill return a representation of the proof attempt configuration. The proof attempt configuration
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksais determined according to the *locid.
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa specified_get '/:repository_id/*locid' => 'sentences#index',
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa as: :sentence_iri,
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa constraints: [
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa LocIdRouterConstraint.new(Sentence, ontology: :ontology_id, element: :id),
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa accept 'text/html'
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa reroute_on_mime 'application/json', to: 'api/v1/sentences#show'
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa doc title: 'loc/id reference to a sentence',
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa body: <<-BODY
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen KuksaWill return a representation of the sentence. The sentence
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksais determined according to the *locid.
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen KuksaCurrently this will return the list of all sentences of the ontology.
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa specified_get '/:repository_id/*locid' => 'proof_attempts#show',
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa as: :proof_attempt_iri,
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa constraints: [
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa LocIdRouterConstraint.new(ProofAttempt, ontology: :ontology_id, theorem: :theorem_id, element: :id),
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa accept 'text/html'
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa # TODO: add api controller
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa #reroute_on_mime 'application/json', to: 'api/v1/proof_attempts#show'
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa doc title: 'loc/id reference to a proof attempt',
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa body: <<-BODY
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen KuksaWill return a representation of the proof attempt. The proof attempt
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksais determined according to the *locid.
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase specified_get '/ontology_types/:id' => 'ontology_types#show',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase as: :ontology_type do
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/ontology_types#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase doc title: 'IRI of an ontology type',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase body: <<-BODY
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim ReddehaseWill return a representation of the ontology type.
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase specified_get '/logics/:id' => 'logics#show',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase as: :logic do
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'text/xml', to: 'api/v1/logics#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/xml', to: 'api/v1/logics#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/rdf+xml', to: 'api/v1/logics#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/logics#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase doc title: 'IRI of a logic',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase body: <<-BODY
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim ReddehaseWill return a representation of the logic.
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase specified_get '/license_models/:id' => 'license_models#show',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase as: :license_model do
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/license_models#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase doc title: 'IRI of a license model',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase body: <<-BODY
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim ReddehaseWill return a representation of the license model.
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase specified_get '/formality_levels/:id' => 'formality_levels#show',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase as: :formality_level do
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/formality_levels#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase doc title: 'IRI of a formality level',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase body: <<-BODY
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim ReddehaseWill return a representation of the formality level.
5ec1c6ff5da427d945d7fb708567ce3526c4c741Tim Reddehase ###############
9789c65179e43e0e8c91aa11c67e60b02250cba9Sascha Graef get '/after_signup', to: 'home#show' , as: 'after_sign_up'
c7dbfa39641dbdf8d00d1fac2ce96d50a97fcb74henning mueller devise_for :users, controllers: {
c7dbfa39641dbdf8d00d1fac2ce96d50a97fcb74henning mueller confirmations: 'users/confirmations',
c7dbfa39641dbdf8d00d1fac2ce96d50a97fcb74henning mueller registrations: 'users/registrations'
c7dbfa39641dbdf8d00d1fac2ce96d50a97fcb74henning mueller resources :users, only: :show
ef94c50e972402c1f2257068838128424f6bccf1Tim Reddehase namespace 'users' do
ef94c50e972402c1f2257068838128424f6bccf1Tim Reddehase resource :api_keys, only: %w(create)
560baaad7d614c8aa6b7871e3a99ce33a137d93bJulian Kornberger resources :keys, except: [:show, :edit, :update]
6f91bdc1c03bee33882518bd6b5f072968562061Sascha Graef resources :logics, only: [:index, :show] do
a0b65fd7d17589196751bea546f738c3534c4facChristian Clausen resources :supports, :only => [:create, :update, :destroy, :index]
9fbd3a72a4733a42acbea268f38b75b7a35354dcTim Reddehase resources :graphs, :only => [:index]
634abf6594d5960c4ca0b0701b69a81231b05aceChristian Clausen resources :languages do
a0b65fd7d17589196751bea546f738c3534c4facChristian Clausen resources :supports, :only => [:create, :update, :destroy, :index]
7c7f3cf9415077b18027586822f15ac1dafbbaa3Christian Clausen resources :language_mappings
7c7f3cf9415077b18027586822f15ac1dafbbaa3Christian Clausen resources :logic_mappings
00c175adc24043fbcd4cd5e3769c9d13e31ff831Model Renamer resources :mappings, only: :index
b23869f9e7504049f5d28bbbc54d812c8ca36abbEugen Kuksa resources :categories, :only => [:index, :show]
b23869f9e7504049f5d28bbbc54d812c8ca36abbEugen Kuksa resources :projects
b23869f9e7504049f5d28bbbc54d812c8ca36abbEugen Kuksa resources :tasks
b23869f9e7504049f5d28bbbc54d812c8ca36abbEugen Kuksa resources :license_models
b23869f9e7504049f5d28bbbc54d812c8ca36abbEugen Kuksa resources :formality_levels
ca68055161f6beb2ec248e789ab787e6de69bd18Christian Clausen resources :language_adjoints
ca68055161f6beb2ec248e789ab787e6de69bd18Christian Clausen resources :logic_adjoints
7c5e9db9a07461d92c007563a2a27ca42ce93baeChristian Clausen resources :serializations