1. 21 Oct, 2016 2 commits
    • María's avatar
      add isContainedIn · 398d4809
      María authored
      and the axiom in Device
      398d4809
    • María's avatar
      Axioms in bldg · e614aea8
      María authored
      first version of the bldg with axioms in classes.
      
      real ranges and complex numbers should be refined.
      e614aea8
  2. 20 Oct, 2016 11 commits
  3. 19 Oct, 2016 6 commits
  4. 18 Oct, 2016 6 commits
  5. 17 Oct, 2016 2 commits
  6. 14 Oct, 2016 2 commits
  7. 13 Oct, 2016 2 commits
    • María's avatar
      remove old files · 9e274014
      María authored
      Two old ttl deleted.
      9e274014
    • María's avatar
      first version · 38122d9e
      María authored
      First version of the full ontology without comments
      38122d9e