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.

Fix indentation.

Set state to not_started_yet on new theorem.

Set evaluation state during parsing.

Set ProofStatus in parsing step.

Fixup: Add provable attribtue to Theorem.

Add provable attribtue to Theorem.

Fix translated sentences query being too general.

Use original scope on translated sentences query.

Move SqlHelper out of GraphStructures We need it in several places now.

Add and use method translated_axioms.

Add has_many :axioms relation.

hardset member-separator to // per loc/id def.

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.

Add missing newline.

Un-align.

Parse Theorems.

Add Theorem route, controller and view.

set ontology_id of translated sentence correctly The ontology_id of translated sentence should equal the ontology_id of the underlying sentence and not the origin of the mapping. This is because there could be multiple mappings without a sentence-definition in between.

safeguard against link being nil for translations.

refactor setting a sentence as imported Instead of calling save again(which triggers an sql-query) we introduce the `imported` attribute into the hash and set it in the update_or_create_from_hash method accordingly. Also we refactor the method to call sentences by their name (sentence), instead of `e`. Also remove obsolete unused translate_for method.

fix import-direction and query type For fetching directly imported ontologies we need to adjust the direction as well. Also we can't use find, because that would only return one record.

establish generation of translated sentences.

add methods to fetch translated/combined sentences.

save current state of sentence translations.

autosave for sentences disabled should avoid ActiveRecord::StatementInvalid: PG::NotNullViolation related to #340

Set display_text on sentences from update_or_create_from_hash.

XML parser adjusted to the new format

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

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