| /ontohub/spec/lib/ |
| H A D | logicgraph_parser_spec.rb | 10 let(:symbols) { [] }
13 symbol: Proc.new{ |h| symbols << h }
17 expect(symbols.count).to eq(0)
|
| H A D | tarjan_spec.rb | 19 symbols = ontology.symbols.where(name: ["B1","B2","B3"])
20 expect(ontology.symbol_groups.includes(:symbols).where("symbols.id" => symbols).first).not_to be(nil)
|
| /ontohub/app/serializers/ |
| H A D | axiom_serializer.rb | 11 attributes :iri, :symbols
20 def symbols method in class:AxiomSerializer
21 url_for([object, :symbols])
|
| H A D | sentence_serializer.rb | 11 attributes :iri, :symbols
20 def symbols method in class:SentenceSerializer
21 url_for([object, :symbols])
|
| H A D | theorem_serializer.rb | 18 attributes :symbols,
33 def symbols method in class:TheoremSerializer
34 url_for([object, :symbols])
|
| H A D | ontology_serializer.rb | 27 attributes :ontology_versions, :symbols, :sentences, :mappings
45 def symbols method in class:OntologySerializer
46 url_for([object, :symbols])
|
| /ontohub/app/models/ |
| H A D | symbol_group.rb | 4 has_many :symbols, class_name: 'OntologyMember::Symbol'
6 attr_accessible :ontology, :name, :symbols
|
| H A D | oops_response.rb | 3 has_and_belongs_to_many :symbols, class_name: 'OntologyMember::Symbol'
20 self.symbols = request.ontology_version.ontology.symbols.
|
| H A D | sine_axiom_selection.rb | 59 ontology.symbols.each { |symbol| calculate_commonness(symbol) }
73 ontology.all_axioms.joins(:symbols).where(:'symbols.id' => symbol.id).count
78 axiom.symbols.each do |symbol|
101 axiom.symbols.includes(:sine_symbol_commonness).
131 sentence.symbols.map { |symbol| triggered_axioms(symbol) }.flatten
141 Axiom.unscoped.joins(:symbols).
142 where('symbols.id' => OntologyMember::Symbol.
|
| H A D | sentence.rb | 6 has_and_belongs_to_many :symbols, class_name: 'OntologyMember::Symbol'
|
| H A D | symbol_mapping.rb | 22 symbol_ids = sentence.symbols.pluck(:id)
|
| /ontohub/spec/routing/ |
| H A D | symbols_routing_spec.rb | 5 should route(:get, "/repositories/path/ontologies/id/symbols").to(
6 controller: :symbols,
|
| /ontohub/lib/ |
| H A D | tarjan_tree.rb | 4 attr_accessor :hashed_symbols, :subclasses, :ontology, :symbols
10 self.symbols = ontology.symbols
18 child = ontology.symbols.where('name = ? OR iri = ?', c1, c1).first!
19 parent = ontology.symbols.where('name = ? OR iri = ?', c2, c2).first!
59 symbols = self.symbols - subclass_symbols
64 symbols: connected_symbols,
68 symbols.each do |symbol|
70 SymbolGroup.create!(ontology: ontology, symbols
[all...] |
| H A D | aggregatable.rb | 22 counts = symbols.groups_by_kind.map { |symbol| {name: symbol.kind, count: symbol.count} }
|
| /ontohub/spec/models/ |
| H A D | symbol_mapping_spec.rb | 14 context 'which has mapped symbols' do
18 expect(ontology.symbols.find_by_name('Human')).to be(nil)
|
| H A D | symbol_spec.rb | 37 it 'should have the correct number of described symbols' do
38 labeled_symbols = ontology.symbols.
40 commented_symbols = ontology.symbols.
61 before { ontology.symbols.update_or_create_from_hash(symbol_hash) }
64 let(:symbol) { ontology.symbols.first }
103 let(:symbol) { ontology.symbols.first }
105 before { ontology.symbols.update_or_create_from_hash(symbol_hash) }
121 let(:symbol) { ontology.symbols.first }
123 before { ontology.symbols.update_or_create_from_hash(symbol_hash) }
|
| H A D | sentence_spec.rb | 30 it { have_and_belong_to_many :symbols }
74 it "should not contain symbols' iris" do
75 sentence.symbols.each do |symbol|
|
| /ontohub/app/models/sentence/ |
| H A D | readability.rb | 8 symbols.each do |symbol|
|
| /ontohub/app/models/ontology/ |
| H A D | symbols.rb | 40 e.ontology.symbols << e if e.id.nil?
48 EEdge.where(key => symbols.where(kind: 'Class')).delete_all
66 child_id = symbols.where('name = ? OR iri = ?', c1, c1).first.id
67 parent_id = symbols.where('name = ? OR iri = ?', c2, c2).first.id
|
| H A D | categories.rb | 16 classes = symbols.select { |e| e.kind == 'Class' }
24 e1 = symbols.where('name = ? OR iri = ?', c1, c1).first
25 e2 = symbols.where('name = ? OR iri = ?', c2, c2).first
|
| /ontohub/app/assets/stylesheets/ |
| H A D | application.css.sass | 38 @import symbols
|
| /ontohub/app/controllers/ |
| H A D | symbols_controller.rb | 2 # Lists symbols of an ontology
20 symbols = ontology.symbol_groups
26 @nodes = SymbolGroup.roots_of(*symbols)
|
| /ontohub/db/seeds/ |
| H A D | 070-oops.rb | 25 ontology.symbols.all.select do |symbol|
|
| /ontohub/app/helpers/ |
| H A D | navigation_helper.rb | 21 content_page = ontology.distributed? ? :children : :symbols
43 @symbols =
47 ontology.symbols.groups_by_kind.sort_by(&:kind)
51 choose_default_symbol_kind(@symbols) if current_page == :symbols
145 when :symbols
|
| /ontohub/app/models/proof_status/ |
| H A D | creation_from_ontology.rb | 69 @symbols_by_name[status] ||= szs_ontology.symbols.find_by_name(status)
|