Searched defs:Logic (Results 1 - 1 of 1) sorted by relevance

/ontohub/app/models/
H A Dlogic.rb5 # * Classical Logic
6 # * Common Logic
7 # * Description Logic
8 # * First-Order Logic
9 # * Modal Logic
11 class Logic < ActiveRecord::Base class
19 Logic::DEFAULT_DISTRIBUTED_ONTOLOGY_LOGIC = 'DOL'

Completed in 7 milliseconds