Cross Reference: /ontohub/app/models/axiom.rb

History log of /ontohub/app/models/axiom.rb
Revision	Date	Author	Comments Expand
24c99038b338f4b04165e141fdde5ac628b6a77a	17-Jan-2016	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add missing dependent: :destroy. axiom.rb axiom_selection.rb ontology_member/symbol.rb proof_attempt.rb sine_axiom_selection.rb
c4fbb8807c02a24da404ebe5f26c8415cce30352	10-Aug-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add association model SineSymbolAxiomTrigger. axiom.rb ontology_member/symbol.rb sine_symbol_axiom_trigger.rb /ontohub/db/migrate/20150703143155_create_sine_symbol_axiom_triggers.rb /ontohub/spec/models/sine_symbol_axiom_trigger_spec.rb
98562d03c9868c6e5f1281f163d2a800b5c9f8ba	24-Mar-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add Axiom model. axiom.rb
d0e19b833d7f9c691a36342c365029720c095742	07-Mar-2012	henning mueller <henning@orgizm.net>	Metadata model and Ontology, Axiom, Entity, Link metadatable. axiom.rb entity.rb link.rb metadata.rb ontology.rb /ontohub/db/migrate/20120307165334_create_metadata.rb /ontohub/db/structure.sql /ontohub/lib/metadatable.rb /ontohub/test/unit/metadata_test.rb
3005ac92eb4a1fffe8e3bf2a2ea572b3ac67c46c	07-Mar-2012	henning mueller <henning@orgizm.net>	Models: Axiom, Entity axiom.rb entity.rb /ontohub/config/application.rb /ontohub/db/migrate/20120307152347_create_entities.rb /ontohub/db/migrate/20120307152935_create_axioms.rb /ontohub/db/migrate/20120307154214_create_axioms_entities_table.rb /ontohub/db/schema.rb /ontohub/db/structure.sql /ontohub/test/unit/axiom_test.rb /ontohub/test/unit/entity_test.rb