1578 make owl api work with ontohub urls that have no filename extension (#1768) * API controller is now invoked when no Accept header is sent * Use text/plain as default for ontology versions api * Send correct accept header * Fix the ref based locid route * Remove ref_id * Remove debug puts * Fix locid routing tests * route html to api * Add routes.rb to ignore list * Move plain text default helper to concern * Fix test * More tests require accept header * Remove tags from steps

1458 loc ids are not used everywhere (#1746) * Use Loc/Ids for ontologies#edit. * Use Loc/Ids for proving. * Use Loc/Id for retry button. * Fix spec.

Add slug and remove locid from ProofStatus.

Add sidekiq status web interface.

remove category from routes

remove catch-all route

Remove locid from ProofAttemptConfiguration This is not needed anymore because we have a one-to-one relation between ProofAttemptConfiguration and ProofAttempt.

Decouple ProofAttemptConfiguration from Ontology Now that there is only one ProofAttemptConfiguration per ProofAttempt, we can remove this association. The numbering can be dropped as well. Next, the loc/id and routes must be adjusted because it is now associated primarily with the ProofAttempt.

Add controller action and route to delete a file.

Make a proof attempt retriable.

Fix routes: put 'get' routes under the resources Otherwise the '/new' routes won't match.

Add slug to LogicMapping.

Revert part of "Add API LogicMappingsController and its routes." This reverts part of commit f0b4135d200e40b9954d8122c0eb0f1128f97d21.

Add API ProofStatusesController and its routes.

Add API LogicMappingsController and its routes.

Add routes to ProverOutput controller.

Add API routes to sentence symbols index.

Add routes for proof_attempt subsites.

Add API ProofAttemptsController and its routes.

Move ProofAttempts index to ProofAttemptsController This also renders theroems#show obsolete. This action is removed. Also re URLs, which look like going to theorems#show, are now routing to theorems#index until we find a reasonable view for the show action.

Remove unnecessary routes to api/v1/sentences#show This is not needed because sentences are split into axioms and theorems. Those have their own routes and own controllers.

Add route to proof_attempts#show.

Add API ProofAttemptConfigurationsController and its routes.

add controller and route for actions.

add combinations controller into the mix.

Add routes via ProofAttempt locid.

Fix typos.

add an api-keys controller with create-action.

Add route, action and views for proofs#new.

Rename/substantivize ProveController and its route.

Fix routing: Put axioms, theorems before sentences.

Fix typo in specroutes doc.

Remove routes to SentencesController.

Setup routes to axioms controllers.

Use loc-ids for theorems and sentences.

Add basic views for everything around proving.

Add controller and view for proving.

hotfix routes for ontology subsites Some special actions don't have an api-version yet, or maybe never will.

actually set id for ontology-member-routes.

support text for api ontologyversions controller.

mv ontology-version api handling to api namespace This will actually support a show on ontology-versions via json.

adjust routes for api namespaced controllers.

add json serialization for a symbol.

add json serialization for a sentence.

document mimetypes and loc/id routes.

remove mime-constraints from routes In order to return a correct 406 response we need to remove mime constraints from routes where we do not actually use them for routing. This currently holds true for all routes.

Add repository undelete functionality.

support MMT-style ref-based loc/ids.

convert ref-version route to generalized specroute This route should support, with the help of the OntologyVersionFinder, multiple reference arguments, e.g. version-numbers, commits, branches and so forth.

use triple-slash for ontology subsites As per our API-definition we'll use a prefix of three slashes (///) to denote an API-command. Ontology-Subsites are defined as general API commands.

support all ontology-subsites in locid-syntax.

support mapping loc/id's, use show In distinction from sentences and symbols we actually do have a page to display for mappings so we'll do exactly that when resolving the loc/id.

support sentence loc/id's, redirect to index As we currently do not have a useable sentences#show we'll use sentences#index instead to route sentence loc/id's.

add symbols and children loc/id routes.

support symbol loc/id's, redirect to index As we currently do not have a useable symbols#show we'll use symbols#index instead to route symbol loc/id's.

add a specified-get example for standard locid.

utilize specroutes for routes This is a result of `rails g specroutes:routes`.

add filetypes controller to retrieve filetype The controllers only action (create/POST) will retrieve the filetype behind a given iri.

Obey hound.

Run rename refactor script.

Ajaxify directory creation The 'Create subdirectory' button now adds a line to the file browser containing a form. When this form is sent, an XHR is sent. If the directory could be created, the form is replaced by a link. Otherwise an error message is shown. The user can show as many forms as he wants.

rename DirectoriesController to RepositoryDirectoriesController

activate directory creation

Add Theorem route, controller and view.

Deleted routes for deleted controller methods

add route for versioned iris In versioned iris the normal iri route is prefixed by a ref/:version_number in order to fetch the state of a specific version of that ontology-(member).

handle iri for html and plain In the html-case just perform show action. In the plain case send the ontology-file as download.

introduce DiffsController

remove all possibilitiy to change a Logic via view

add the basic status controller.

use controller name SSHAccessController explicitly Routes seem to have a problem with multiple camel on camel case.

split history action off of files controller

use controller name SSHAccessController explicitly Routes seem to have a problem with multiple camel on camel case.

rename Router to RouterConstraint

rename files action to show

Improve routing Only routes for existing files and ontologies are considered.

fix whitespace issues Includes fixes for the following whitespace-related issues: - Trailing whitespace at end of line - Tabs in file - No newline at end of file This commit fixes these issues for .rb, .coffee, and .sass files.

introducing after signup page using locales for complete content

remove superfluous link versions controller.

introducing new home#show

change root to home#index because we need now the show for a page after signup the landing_page will now home#index

add edit ontology file functionality

add formality level management

cleanup, add management for license models

Project management, Preparation for other metadata

Repaired confirmation, password reset and unlocking. Fixes #666.

beginig the subnavigation

Fix indentation

add destroy route to an ontology

Move the filters map to a new exchange

show formality levels in metadata sub-tab

Add formality level show action/route and view

add ontology type view

display errors for ontologies

API for retrieving categories and category_ids

Button for manual reparsing of a specific ontology added. closes #340

adding new routes for categories

remove unnessecerily routes

Button for manual reparsing of a specific ontology added. closes #340

fixing displayed number of links

beging metadata

generating necessarily controllers

Retrying of failed ontologies implemented. closes #340

Simple REST API for listing/updating Repositories and Ontologies

Indentation corrected

add url mappings for repositories implementation part for #181

Changed navbar menu and moved SearchController to EntitiesSearchController.

fixing minor link route issue

Migrated from resque to sidekiq Sidekiq has some great features and offers multithreading.

Add contextual ontology search and keywords for repositories

remove custom import action, add import fields to repository form

add a controller to ask for ssh access - Add a Controller to allow queries, which ask for access on a Repository by git.

prepare for import of repositories: add view (not linked) and action

fix most tests

Tests fixed

add support for routing according to #172.

Move jobs into iframe

specs for FilesController

Tests fixed and refactored

Use "symbols" url for "symbols"

Add top navbar

group files by ontology in files view

Respond to ajax queries

re-route for more actions

Initiate integration of the new search bar in the website

enable browsing in previous commits and branches

add controller action, add views, add exception ' only the raw file download is working ' partial file_base is supposed to be rendered, but it isn't

add routes for browsing repository

stub the links controller In order to successfully resolve the graph view, which contains hyperlinks to links, we need the routes and a stubbed controller.

View for Links begun

activate graphs controller route for ontologies.

Management for SSH Keys

initial dropdown for category tree

add controller for graph data.

mv category navigation from admin to ontology#new

git-julian

route to root category with; use show action

First steps to integrate Git.

basic link-interface #17

improve Oops-integration #148

category views for admin

began admin UI

automatic reload oops_state see #143

Changed oops action route to post method.

Show "Test with OOPS!" only if current version exists.

Send request for oops-action

add serializations Bug #83

add Adjoints

language design and language_mappings like logic*, autocomplete not working for languages

autocomplete for logics nearly done

LanguageMapping CRUD-Interface with tests and more better shared code between the mappings

add LogicMappings interface & some Logic bugfixes

autocomplete

remove camelCase

add supports to Logics and Languages

languages and logics autocomplete

add basic language interface and improve logic interface

basic show for logics

Major fixes Fix ontology land page Fix ontology version download Fix ontology import from other site Fix ontology upload from user's computer Fix ontology version import from other site Fix ontology version upload from user's computer Update functional tests

Make the ontology interface more usable

CASL fixtures added, diplaying of distributed ontologies

Correct mapping between software layers

Fix url path for ontology version entities

Revert "Merge branch 'new-model' of github.com:ontohub/ontohub" This reverts commit 0b033e7818a52932a4dfb18304a67e165483e842, reversing changes made to 8712a741f8a8aa7a1287d9d1186ca5b1aac0c9b1.

Adds scaffold of logic translations Does not fix the creation of AxiomsEntities relations

Logics administration for admins

support for additional actions added

Quick and dirty ontology download.

[#26337061] Entity search implemented with sunspot+solr

[#26441409] Bulk uploader finished

Resque mount in admin namespace (and some lines in README file).

[#26433767] List permissions of a team

javascript for comments and metadata refactored

Better meta-data creation form.

#[26360433] Comments can be destroyed

New tab for metadata, list and create form.

[#26133607] Comments for ontologies

home page and user page with latest updates added

Controller and view for ontology versions created

prevent destroying the last admin

Heavy refacoring of Permissions-Widget

[#26236935] Team listing for site admins

[#26205093] Team management almost complete

Controller and Views for Team-Administration

Controller, Model and Tests for Autocompletion

more tests

[#26012595] Root to ontology#index, Symbols -> Entities.

[#26013941] Listing of ontologies improved and views listings for entities and axioms created.

Ontology views.

Admin::Users-Controller and Views created

Session-Views and User tests created.

Devise integrated

rails skeleton