Skip to content
Permalink
Browse files

added uris to owltime hierarchies

  • Loading branch information...
michael.gruninger
michael.gruninger committed May 30, 2013
1 parent e6cff93 commit 8d998be6c41b27e6a5ecaa8c85c646a647beaa20
Showing with 70 additions and 70 deletions.
  1. +1 −1 ontologies/owltime/owltime.clif
  2. +1 −1 ontologies/owltime/owltime_hp.clif
  3. +1 −1 ontologies/owltime/owltime_ordering_trans.clif
  4. +2 −2 ontologies/owltime_eventuality/eventuality.clif
  5. +2 −2 ontologies/owltime_eventuality/eventuality_a.clif
  6. +1 −1 ontologies/owltime_eventuality/mappings/owltime_eventuality2tripartite_incidence.clif
  7. +1 −1 ontologies/owltime_eventuality/mappings/owltime_eventuality_reduction.clif
  8. +1 −1 ontologies/owltime_inside/mappings/owltime_inside2ordered_geometry.clif
  9. +1 −1 ontologies/owltime_inside/mappings/owltime_inside_reduction.clif
  10. +2 −2 ontologies/owltime_inside/owltime_inside.clif
  11. +3 −3 ontologies/owltime_inside/owltime_inside_le.clif
  12. +3 −3 ontologies/owltime_inside/owltime_inside_leu.clif
  13. +2 −2 ontologies/owltime_inside/owltime_inside_o.clif
  14. +3 −3 ontologies/owltime_inside/owltime_inside_se.clif
  15. +1 −1 ontologies/owltime_instants/mappings/owltime2orderings.clif
  16. +1 −1 ontologies/owltime_instants/mappings/owltime_instants_reduction.clif
  17. +2 −2 ontologies/owltime_instants/owltime_instant_l.clif
  18. +2 −2 ontologies/owltime_instants/owltime_instant_s.clif
  19. +1 −1 ontologies/owltime_instants/owltime_instants.clif
  20. +2 −2 ontologies/owltime_instants/owltime_instants_infinite.clif
  21. +2 −2 ontologies/owltime_interval/owltime_e.clif
  22. +2 −2 ontologies/owltime_interval/owltime_interval.clif
  23. +1 −1 ontologies/owltime_interval/owltime_interval_lemmas.clif
  24. +2 −2 ontologies/owltime_interval/owltime_interval_root.clif
  25. +3 −3 ontologies/owltime_interval/owltime_le.clif
  26. +2 −2 ontologies/owltime_interval/owltime_leu.clif
  27. +3 −3 ontologies/owltime_interval/owltime_linear.clif
  28. +2 −2 ontologies/owltime_interval/owltime_mle.clif
  29. +3 −3 ontologies/owltime_interval/owltime_mleu.clif
  30. +2 −2 ontologies/owltime_interval/owltime_nle.clif
  31. +3 −3 ontologies/owltime_interval/owltime_nleu.clif
  32. +3 −3 ontologies/owltime_interval/owltime_root_leu.clif
  33. +3 −3 ontologies/owltime_interval/owltime_se.clif
  34. +3 −3 ontologies/owltime_interval/owltime_semilinear.clif
  35. +3 −3 ontologies/owltime_interval/vila.clif
@@ -1,5 +1,5 @@

(cl-text owltime
(cl-text http://colore.oor.net/owltime/owltime.clif

(forall (t1 t2)
(if (before t1 t2)
@@ -1,5 +1,5 @@

(cl-text owltime
(cl-text http://colore.oor.net/owltime/owltime_hp.clif

(forall (t1 t2)
(if (before t1 t2)
@@ -1,5 +1,5 @@

(cl-text owltime_ordering
(cl-text http://colore.oor.net/owltime/owltime_ordering_trans.clif

(forall (x)
(iff (TemporalEntity x)
@@ -1,7 +1,7 @@

(cl-text eventuality
(cl-text http://colore.oor.net/owltime_eventuality/eventuality.clif

(cl-imports owltime_inside)
(cl-imports http://colore.oor.net/owltime_inside/owltime_inside.clif)

(forall (e t)
(if (atTime e t)
@@ -1,7 +1,7 @@

(cl-text eventuality_a
(cl-text http://colore.oor.net/owltime_eventuality/eventuality_a.clif

(cl-imports owltime_inside_o)
(cl-imports http://colore.oor.net/owltime_inside/owltime_inside_o.clif)

(forall (e)
(if (Eventuality e)
@@ -1,5 +1,5 @@

(cl-text owltime_eventuality2planar_geometry
(cl-text http://colore.oor.net/owltime_eventuality/mappings/owltime_eventuality2planar_geometry.clif

(forall (x)
(iff (point x)
@@ -1,5 +1,5 @@

(cl-text owltime_eventuality_reduction
(cl-text http://colore.oor.net/owltime_eventuality/mappings/owltime_eventuality_reduction.clif

(forall (x y)
(iff (before x y)
@@ -1,5 +1,5 @@

(cl-text owltime_inside2ordered_geometry
(cl-text http://colore.oor.net/owltime_inside/mappings/owltime_inside2ordered_geometry.clif

(forall (x)
(iff (point x)
@@ -1,5 +1,5 @@

(cl-text owltime_interval_reduction
(cl-text http://colore.oor.net/owltime_inside/mappings/owltime_interval_reduction.clif

(forall (x y)
(iff (before x y)
@@ -1,7 +1,7 @@

(cl-text owltime_inside
(cl-text http://colore.oor.net/owltime_inside/owltime_inside.clif

(cl-imports owltime_interval)
(cl-imports http://colore.oor.net/owltime_interval/owltime_interval.clif)

(forall (t x)
(if (inside t x)
@@ -1,8 +1,8 @@

(cl-text owltime_inside_le
(cl-text http://colore.oor.net/owltime_inside/owltime_inside_le.clif

(cl-imports owltime_inside_o)
(cl-imports http://colore.oor.net/owltime_inside/owltime_inside_o.clif)

(cl-imports owltime_le)
(cl-imports http://colore.oor.net/owltime_interval/owltime_le.clif)

)
@@ -1,8 +1,8 @@

(cl-text owltime_inside_leu
(cl-text http://colore.oor.net/owltime_inside/owltime_inside_leu.clif

(cl-imports owltime_inside_o)
(cl-imports http://colore.oor.net/owltime_inside/owltime_inside_o.clif)

(cl-imports owltime_leu)
(cl-imports http://colore.oor.net/owltime_interval/owltime_leu.clif)

)
@@ -1,7 +1,7 @@

(cl-text owltime_inside_o
(cl-text http://colore.oor.net/owltime_inside/owltime_inside_o.clif

(cl-imports owltime_interval)
(cl-imports http://colore.oor.net/owltime_interval/owltime_interval.clif)

(forall (t x)
(if (inside t x)
@@ -1,8 +1,8 @@

(cl-text owltime_inside_se
(cl-text http://colore.oor.net/owltime_inside/owltime_inside_se.clif

(cl-imports owltime_inside_o)
(cl-imports http://colore.oor.net/owltime_inside/owltime_inside_o.clif)

(cl-imports owltime_se)
(cl-imports http://colore.oor.net/owltime_interval/owltime_se.clif)

)
@@ -1,4 +1,4 @@
(cl-text owltime2orderings
(cl-text http://colore.oor.net/owltime_instants/mappings/owltime2orderings.clif

(forall (x y)
(iff (lt x y)
@@ -1,4 +1,4 @@
(cl-text owltime_instants_reduction
(cl-text http://colore.oor.net/owltime_instants/mappings/owltime_instants_reduction.clif

(forall (x y)
(iff (before x y)
@@ -1,7 +1,7 @@

(cl-text owltime_instant_l
(cl-text http://colore.oor.net/owltime_instants/owltime_instant_l.clif

(cl-imports owltime_instants)
(cl-imports http://colore.oor.net/owltime_instants/owltime_instants.clif)

(forall (t1 t2)
(if (and (Instant t1)
@@ -1,7 +1,7 @@

(cl-text owltime_instant_s
(cl-text http://colore.oor.net/owltime_instants/owltime_instant_s.clif

(cl-imports owltime_instants)
(cl-imports http://colore.oor.net/owltime_instants/owltime_instants.clif)

(forall (t1 t2)
(if (and (Instant t1)
@@ -1,5 +1,5 @@

(cl-text owltime_instants
(cl-text http://colore.oor.net/owltime_instants/owltime_instants.clif

(forall (t1 t2)
(if (before t1 t2)
@@ -1,7 +1,7 @@

(cl-text owltime_instants_infinite
(cl-text http://colore.oor.net/owltime_instants/owltime_instants_infinite.clif

(cl-imports owltime_instants)
(cl-imports http://colore.oor.net/owltime_instants/owltime_instants.clif)

(forall (i1)
(exists (i2)
@@ -1,7 +1,7 @@

(cl-text owltime_e
(cl-text http://colore.oor.net/owltime_interval/owltime_e.clif

(cl-imports owltime_interval)
(cl-imports http://colore.oor.net/owltime_interval/owltime_interval.clif)

(forall (i)
(if (Interval i)
@@ -1,7 +1,7 @@

(cl-text owltime_interval
(cl-text http://colore.oor.net/owltime_interval/owltime_interval.clif

(cl-imports ../owltime_instants/owltime_instants)
(cl-imports http://colore.oor.net/owltime_instants/owltime_instants.clif)

(forall (t)
(if (Instant t)
@@ -1,5 +1,5 @@

(cl-text owltime_interval_lemmas
(cl-text http://colore.oor.net/owltime_interval/owltime_interval_lemmas

(cl-imports owltime_interval)

@@ -1,7 +1,7 @@

(cl-text owltime_interval_root
(cl-text http://colore.oor.net/owltime_interval/owltime_interval_root.clif

(cl-imports owltime_instants)
(cl-imports http://colore.oor.net/owltime_instants/owltime_instants.clif)

(forall (t)
(if (Instant t)
@@ -1,8 +1,8 @@

(cl-text owltime_le
(cl-text http://colore.oor.net/owltime_interval/owltime_le.clif

(cl-imports owltime_linear)
(cl-imports http://colore.oor.net/owltime_interval/owltime_linear.clif)

(cl-imports owltime_e)
(cl-imports http://colore.oor.net/owltime_interval/owltime_e.clif)

)
@@ -1,7 +1,7 @@

(cl-text owltime_leu
(cl-text http://colore.oor.net/owltime_interval/owltime_leu.clif

(cl-imports owltime_le)
(cl-imports http://colore.oor.net/owltime_interval/owltime_le.clif)

(forall (t1 t2 i1 i2)
(if (and (Interval i1)
@@ -1,8 +1,8 @@

(cl-text owltime_linear
(cl-text http://colore.oor.net/owltime_interval/owltime_linear.clif

(cl-imports owltime_interval)
(cl-imports http://colore.oor.net/owltime_interval/owltime_interval.clif)

(cl-imports ../owltime_instants/owltime_instant_l)
(cl-imports http://colore.oor.net/owltime_instants/owltime_instant_l.clif)

)
@@ -1,7 +1,7 @@

(cl-text owltime_mle
(cl-text http://colore.oor.net/owltime_interval/owltime_mle.clif

(cl-imports owltime_le)
(cl-imports http://colore.oor.net/owltime_interval/owltime_le.clif)

(forall (t)
(if (Instant t)
@@ -1,8 +1,8 @@

(cl-text owltime_mleu
(cl-text http://colore.oor.net/owltime_interval/owltime_mleu.clif

(cl-imports owltime_mle)
(cl-imports http://colore.oor.net/owltime_interval/owltime_mle.clif)

(cl-imports owltime_leu)
(cl-imports http://colore.oor.net/owltime_interval/owltime_leu.clif)

)
@@ -1,7 +1,7 @@

(cl-text owltime_nle
(cl-text http://colore.oor.net/owltime_interval/owltime_nle.clif

(cl-imports owltime_le)
(cl-imports http://colore.oor.net/owltime_interval/owltime_le.clif)

(forall (i)
(if (Interval i)
@@ -1,8 +1,8 @@

(cl-text owltime_nleu
(cl-text http://colore.oor.net/owltime_interval/owltime_nleu.clif

(cl-imports owltime_nle)
(cl-imports http://colore.oor.net/owltime_interval/owltime_nle.clif)

(cl-imports owltime_leu)
(cl-imports http://colore.oor.net/owltime_interval/owltime_leu.clif)

)
@@ -1,9 +1,9 @@

(cl-text owltime_root_leu
(cl-text http://colore.oor.net/owltime_interval/owltime_root_leu.clif

(cl-imports owltime_interval_root)
(cl-imports http://colore.oor.net/owltime_interval/owltime_interval_root.clif)

(cl-imports owltime_instant_l)
(cl-imports http://colore.oor.net/owltime_instants/owltime_instant_l.clif)

(forall (i)
(if (Interval i)
@@ -1,8 +1,8 @@

(cl-text owltime_se
(cl-text http://colore.oor.net/owltime_interval/owltime_se.clif

(cl-imports owltime_semilinear)
(cl-imports http://colore.oor.net/owltime_interval/owltime_semilinear.clif)

(cl-imports owltime_e)
(cl-imports http://colore.oor.net/owltime_interval/owltime_e.clif)

)
@@ -1,8 +1,8 @@

(cl-text owltime_semilinear
(cl-text http://colore.oor.net/owltime_interval/owltime_semilinear.clif

(cl-imports owltime_interval)
(cl-imports http://colore.oor.net/owltime_interval/owltime_interval.clif)

(cl-imports ../owltime_instants/owltime_instant_s)
(cl-imports http://colore.oor.net/owltime_instants/owltime_instant_s.clif)

)
@@ -1,9 +1,9 @@

(cl-text vila
(cl-text http://colore.oor.net/owltime_interval/vila.clif

(cl-imports ../owltime_instants/owltime_instant_l)
(cl-imports http://colore.oor.net/owltime_instants/owltime_instant_l.clif)

(cl-imports ../owltime_instants/owltime_instants_infinite)
(cl-imports http://colore.oor.net/owltime_instants/owltime_instants_infinite.clif)

(forall (i p)
(if (begins i p)

0 comments on commit 8d998be

Please sign in to comment.
You can’t perform that action at this time.