Improve locId (#1618) * introduce new model to ontohub * introduce new locid behavior * adding try to prevent undefined method for nil * generate the locids by object creation * introduce method to simulate an attribute * generate Locids correctly for ontologies * correct creation of child_ontology locids * remove old uniqueness validation for ontology locid * use better names vor locidportion * correct behaviour for locid creation * generate loc_id correctly for ontology * use correct class for inherritanc * remove locids on deletion of objects * rename the base model * introduce data-migration to move the locids * remove double naming in the cat ontology * obey hound * correct behaviour of external repository for locid * change factory behaviour for locid * fix missing comma * begin to fix test * change ontology factory to new locid * change factories for new LocId Model * remove unneeded test * Use proper class retrieval in factories. * Always use to_s on the class call in LocIdBaseModel. * Always use .class.to_s instead of .class when used for the database. * Fix external repository. * Be clean and unstub again. * Fix sentence factory. * Quick fix the destruction of locids. * Fix code style. * Generate locids during create process: Base class. * Generate locids during create process: Mapping. * Generate locids during create process: Sentence. * Generate locids during create process: Symbol. * Generate locids during create process: ProofAttempt. * Generate locids during create process: ProverOutput. * Generate locids during create process: Ontology #1. * Generate locids during create process: Ontology #2. * Generate locids during create process: Ontology #3. * Generate locids during create process: Factories. * Fix seeds errors. * Fix ontology spec on error while parsing The ontology needs to be reloaded because sidekiq does so as well. It always fetches a fresh record from the database. The test failed before because `NodeEvaluationHelper#clean_ontology` called destroy on all the ontology's symbols which existed in the object, but were not really persisted because of an aborted transaction. * Remove redundant space. * Move comment to the correct line. * Fix worker_spec In the production code, the locid is never set before saving the ontology. * Add gems pry-stack_explorer, awesome_print for debugging purposes. * Only start hets if there was a hets error and rollback the changes. * Destroy dependent prover output. * Fix ProofAttempt factory. * Rename assorted_object to specific and fix migration. * Fix migration code style. * Reanalyze ontologies with duplicate locids. * Fix code style. * Remove redundancies. * Remove useless association. * Obey Hound. * Directly query in the LocIdBaseModel. * Add locid routing feature. * Cache LocId query results This should speed up the routing in a great extent. For each matching `specified_get`, the LocIdRouterConstraint fetched the element once from the database. This resulted in 8 times the same SQL query for a ProofAttempt. The implemented cache reduces this to a single query. * Clear the elements cache periodically to prevent memory leaks. * Add missing dependent: :destroy. * Add Recreating repository feature. * Combine if statements. * Change Given to When. * Catch ambiguous locid error. * Fix i18n key usage. * Fix code style. * Comment on error suppression. * Add spec for Syntax Error. * Use single-quoted strings. * Fix error message check: language. * Keep parameter assignment DRY. * Rename RecreatingRepository feature to Repository. * Use local_variable_get instead of eval. * Change locid column type to text. * Implement (implicit) down-migration. * Implement (explicit) down migration. * Add migration to create missing locids. * Fix nil error. * Really fix nil error. * Fix migration. * Fix sentence migration accessing association. * Force old Mappings to have a name. * Add missing locids to symbols.

Change delegates to associations.

Simplify to_s definition.

Remove default scope, add original scope.

Make repository available from Sentence.

Remove default scope on type.

Add and use to_s of Sentence.

obey hound.

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 loc/id to sentences Additionally add mechanism to set the loc/id during ontology-parsing.

Obey hound.

Namespace model `Symbol` in module `OntologyMember`.

Run rename refactor script.

Exclude Theorem from Sentence scope.

delete translation when sentence is deleted.

set default scope of sentences Set the default scoped to imported: false to ensure past behavior. In order to get all sentences, the all_sentences method was defined.

extract_class_names is obsolete hierarchical_class_names should be used instead. one test still fails. related to #249

introduce hierarchical class-extraction method.

sentence_test: extract names

methods to import meta ontology as categories

finished test for display of sentences, began model

Remove the versioning (a step) Revert changes to the ontology Rapair ontology tests Bind entities and sentences to the ontology

Versioning is not to be kept in the relational database anymore. Revert "Trying to get the Ontology(Version) import working again." This reverts commit 48c232c64e7f7396ddec7182eeb5af76e24676c3.

Trying to get the Ontology(Version) import working again.

Fix test for sentence controller

Rename axiom to sentence Abstracted module for ontology version members (sentence and entities) Bind sentences to ontology versions (not to ontologies)

Match models and the database Create controllers