added uris to orderings hierarchy

gruninger · May 30, 2013 · e6cff93 · e6cff93
1 parent b1e4ff9
commit e6cff93
Show file tree

Hide file tree

Showing 43 changed files with 114 additions and 102 deletions.
diff --git a/ontologies/orderings/bounded_dense_linear_order.clif b/ontologies/orderings/bounded_dense_linear_order.clif
@@ -1,8 +1,8 @@
 
-(cl-text bounded_dense_linear_order
+(cl-text http://colore.oor.net/orderings/bounded_dense_linear_order.clif
 
-(cl-imports bounded_linear_order)
+(cl-imports http://colore.oor.net/orderings/bounded_linear_order.clif)
 
-(cl-imports dense_partial)
+(cl-imports http://colore.oor.net/orderings/dense_partial.clif)
 
 )
diff --git a/ontologies/orderings/bounded_discrete_linear_order.clif b/ontologies/orderings/bounded_discrete_linear_order.clif
@@ -1,8 +1,8 @@
 
-(cl-text bounded_discrete_linear_order
+(cl-text http://colore.oor.net/orderings/bounded_discrete_linear_order.clif
 
-(cl-imports bounded_linear_order)
+(cl-imports http://colore.oor.net/orderings/bounded_linear_order.clif)
 
-(cl-imports discrete_partial)
+(cl-imports http://colore.oor.net/orderings/discrete_partial.clif)
 
 )
diff --git a/ontologies/orderings/bounded_linear_order.clif b/ontologies/orderings/bounded_linear_order.clif
@@ -1,10 +1,10 @@
 
-(cl-text bounded_linear_order
+(cl-text http://colore.oor.net/orderings/bounded_linear_order.clif
 
-(cl-imports linear_ordering)
+(cl-imports http://colore.oor.net/orderings/linear_ordering.clif)
 
-(cl-imports minexists)
+(cl-imports http://colore.oor.net/orderings/minexists.clif)
 
-(cl-imports maxexists)
+(cl-imports http://colore.oor.net/orderings/maxexists.clif)
 
 )
diff --git a/ontologies/orderings/chains.clif b/ontologies/orderings/chains.clif
@@ -1,7 +1,7 @@
 
-(cl-text chains
+(cl-text http://colore.oor.net/orderings/chains.clif
 
-(cl-imports partial_ordering)
+(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)
 
 (forall (x y z)
 	(if	(and	(leq x y)

diff --git a/ontologies/orderings/definitions/orderings_def.clif b/ontologies/orderings/definitions/orderings_def.clif
@@ -0,0 +1,12 @@
+
+(cl-text http://colore.oor.net/orderings/definitions/orderings_def.clif
+
+(cl-imports http://colore.oor.net/orderings/quasiorder.clif)
+
+(forall (x y)
+(iff	(lt x y)
+	(and	(leq x y)
+		(not (leq y x)))))
+
+
+)
diff --git a/ontologies/orderings/dense_linear.clif b/ontologies/orderings/dense_linear.clif
@@ -1,7 +1,7 @@
 
-(cl-text dense_linear
+(cl-text http://colore.oor.net/orderings/dense_linear.clif
 
-(cl-imports linear_ordering)
+(cl-imports http://colore.oor.net/orderings/linear_ordering.clif)
 
 (forall (x y)
    	(exists (z) 

diff --git a/ontologies/orderings/dense_linear_order_no_end.clif b/ontologies/orderings/dense_linear_order_no_end.clif
@@ -1,10 +1,10 @@
 
-(cl-text dense_linear_order_no_end
+(cl-text http://colore.oor.net/orderings/dense_linear_order_no_end.clif
 
-(cl-imports noinitial)
+(cl-imports http://colore.oor.net/orderings/noinitial.clif)
 
-(cl-imports nofinal)
+(cl-imports http://colore.oor.net/orderings/nofinal.clif)
 
-(cl-imports dense_linear)
+(cl-imports http://colore.oor.net/orderings/dense_linear.clif)
 
 )
diff --git a/ontologies/orderings/dense_partial.clif b/ontologies/orderings/dense_partial.clif
@@ -1,7 +1,7 @@
 
-(cl-text dense_partial
+(cl-text http://colore.oor.net/orderings/dense_partial.clif
 
-(cl-imports partial_ordering)
+(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)
 
 (forall (x y)
    	(exists (z) 

diff --git a/ontologies/orderings/dense_semilinear.clif b/ontologies/orderings/dense_semilinear.clif
@@ -1,8 +1,8 @@
 
-(cl-text dense_semilinear
+(cl-text http://colore.oor.net/orderings/dense_semilinear.clif
 
-(cl-imports semilinear_ordering)
+(cl-imports http://colore.oor.net/orderings/semilinear_ordering.clif)
 
-(cl-imports dense_partial)
+(cl-imports http://colore.oor.net/orderings/dense_partial.clif)
 
 )
diff --git a/ontologies/orderings/dense_weak_separative.clif b/ontologies/orderings/dense_weak_separative.clif
@@ -1,7 +1,7 @@
-(cl-text dense_weak_separative
+(cl-text http://colore.oor.net/orderings/dense_weak_separative.clif
 
-(cl-imports weak_separative)
+(cl-imports http://colore.oor.net/orderings/weak_separative.clif)
 
-(cl-imports dense_partial)
+(cl-imports http://colore.oor.net/orderings/dense_partial.clif)
 
 )
diff --git a/ontologies/orderings/disconnected_semilinear.in b/ontologies/orderings/disconnected_semilinear.in
@@ -1,7 +1,7 @@
 
-(cl-module semilinear_ordering
+(cl-text http://colore.oor.net/orderings/semilinear_ordering.clif
 
-(cl-imports partial_ordering)
+(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)
 
 (forall (x y z)
 	(if	(and	(leq x y)

diff --git a/ontologies/orderings/discrete_chains.clif b/ontologies/orderings/discrete_chains.clif
@@ -1,7 +1,7 @@
 
-(cl-text discrete_chains
+(cl-text http://colore.oor.net/orderings/discrete_chains.clif
 
-(cl-imports chains)
+(cl-imports http://colore.oor.net/orderings/chains.clif)
 
 (forall (x y)
 	(if	(lt x y)

diff --git a/ontologies/orderings/discrete_forest.clif b/ontologies/orderings/discrete_forest.clif
@@ -1,8 +1,8 @@
 
-(cl-text discrete_forest
+(cl-text http://colore.oor.net/orderings/discrete_forest.clif
 
-(cl-imports forest)
+(cl-imports http://colore.oor.net/orderings/forest.clif)
 
-(cl-imports discrete_partial)
+(cl-imports http://colore.oor.net/orderings/discrete_partial.clif)
 
 )
diff --git a/ontologies/orderings/discrete_linear.clif b/ontologies/orderings/discrete_linear.clif
@@ -1,8 +1,8 @@
 
-(cl-text discrete_linear
+(cl-text http://colore.oor.net/orderings/discrete_linear.clif
 
-(cl-imports linear_ordering)
+(cl-imports http://colore.oor.net/orderings/linear_ordering.clif)
 
-(cl-imports discrete_partial)
+(cl-imports http://colore.oor.net/orderings/discrete_partial.clif)
 
 )
diff --git a/ontologies/orderings/discrete_linear_order_no_end.clif b/ontologies/orderings/discrete_linear_order_no_end.clif
@@ -1,10 +1,10 @@
 
-(cl-text discrete_linear_order_no_end
+(cl-text http://colore.oor.net/orderings/discrete_linear_order_no_end.clif
 
-(cl-imports noinitial)
+(cl-imports http://colore.oor.net/orderings/noinitial.clif)
 
-(cl-imports nofinal)
+(cl-imports http://colore.oor.net/orderings/nofinal.clif)
 
-(cl-imports discrete_linear)
+(cl-imports http://colore.oor.net/orderings/discrete_linear.clif)
 
 )
diff --git a/ontologies/orderings/discrete_partial.clif b/ontologies/orderings/discrete_partial.clif
@@ -1,7 +1,7 @@
 
-(cl-text discrete_partial
+(cl-text http://colore.oor.net/orderings/discrete_partial.clif
 
-(cl-imports partial_ordering)
+(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)
 
 (cl-comment "Downwards discreteness")
 (forall (x y)

diff --git a/ontologies/orderings/discrete_semilinear.clif b/ontologies/orderings/discrete_semilinear.clif
@@ -1,8 +1,8 @@
 
-(cl-text discrete_semilinear
+(cl-text http://colore.oor.net/orderings/discrete_semilinear.clif
 
-(cl-imports semilinear_ordering)
+(cl-imports http://colore.oor.net/orderings/semilinear_ordering.clif)
 
-(cl-imports discrete_partial)
+(cl-imports http://colore.oor.net/orderings/discrete_partial.clif)
 
 )
diff --git a/ontologies/orderings/discrete_tree.clif b/ontologies/orderings/discrete_tree.clif
@@ -1,8 +1,8 @@
 
-(cl-text discrete_tree
+(cl-text http://colore.oor.net/orderings/discrete_tree.clif
 
-(cl-imports tree)
+(cl-imports http://colore.oor.net/orderings/tree.clif)
 
-(cl-imports discrete_partial)
+(cl-imports http://colore.oor.net/orderings/discrete_partial.clif)
 
 )
diff --git a/ontologies/orderings/final_dense_linear.clif b/ontologies/orderings/final_dense_linear.clif
@@ -1,8 +1,8 @@
 
-(cl-text final_dense_linear
+(cl-text http://colore.oor.net/orderings/final_dense_linear.clif
 
-(cl-imports dense_linear)
+(cl-imports http://colore.oor.net/orderings/dense_linear.clif)
 
-(cl-imports maxexists)
+(cl-imports http://colore.oor.net/orderings/maxexists.clif)
 
 )
diff --git a/ontologies/orderings/final_discrete_linear.clif b/ontologies/orderings/final_discrete_linear.clif
@@ -1,8 +1,8 @@
 
-(cl-text final_discrete_linear
+(cl-text http://colore.oor.net/orderings/final_discrete_linear.clif
 
-(cl-imports discrete_linear)
+(cl-imports http://colore.oor.net/orderings/discrete_linear.clif)
 
-(cl-imports maxexists)
+(cl-imports http://colore.oor.net/orderings/maxexists.clif)
 
 )
diff --git a/ontologies/orderings/forest.clif b/ontologies/orderings/forest.clif
@@ -1,7 +1,7 @@
 
-(cl-text forest
+(cl-text http://colore.oor.net/orderings/forest.clif
 
-(cl-imports semilinear_ordering)
+(cl-imports http://colore.oor.net/orderings/semilinear_ordering.clif)
 
 (exists (x)
 	(forall (y)

diff --git a/ontologies/orderings/infinite_ordering.clif b/ontologies/orderings/infinite_ordering.clif
@@ -1,9 +1,9 @@
 
-(cl-text infinite_ordering
+(cl-text http://colore.oor.net/orderings/infinite_ordering.clif
 
-(cl-imports noinitial)
+(cl-imports http://colore.oor.net/orderings/noinitial.clif)
 
-(cl-imports nofinal)
+(cl-imports http://colore.oor.net/orderings/nofinal.clif)
 
 )
 
diff --git a/ontologies/orderings/initial_dense_linear.clif b/ontologies/orderings/initial_dense_linear.clif
@@ -1,8 +1,8 @@
 
-(cl-text initial_dense_linear
+(cl-text http://colore.oor.net/orderings/initial_dense_linear.clif
 
-(cl-imports dense_linear)
+(cl-imports http://colore.oor.net/orderings/dense_linear.clif)
 
-(cl-imports maxexists)
+(cl-imports http://colore.oor.net/orderings/maxexists.clif)
 
 )
diff --git a/ontologies/orderings/initial_discrete_linear.clif b/ontologies/orderings/initial_discrete_linear.clif
@@ -1,8 +1,8 @@
 
-(cl-text initial_discrete_linear
+(cl-text http://colore.oor.net/orderings/initial_discrete_linear.clif
 
-(cl-imports discrete_linear)
+(cl-imports http://colore.oor.net/orderings/discrete_linear.clif)
 
-(cl-imports minexists)
+(cl-imports http://colore.oor.net/orderings/minexists.clif)
 
 )
diff --git a/ontologies/orderings/interval_order.clif b/ontologies/orderings/interval_order.clif
@@ -1,7 +1,7 @@
 
-(cl-text interval_order
+(cl-text http://colore.oor.net/orderings/interval_order.clif
 
-(cl-imports partial_ordering)
+(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)
 
 (forall (x y a b)
 	(if	(and	(lt a x)

diff --git a/ontologies/orderings/join_semilattice_ordering.clif b/ontologies/orderings/join_semilattice_ordering.clif
@@ -1,7 +1,7 @@
 
-(cl-text join_semilattice_ordering
+(cl-text http://colore.oor.net/orderings/join_semilattice_ordering.clif
 
-(cl-imports partial_ordering)
+(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)
 
 (cl-comment "Unique join")
 

diff --git a/ontologies/orderings/lattice_ordering.clif b/ontologies/orderings/lattice_ordering.clif
@@ -1,7 +1,7 @@
 
-(cl-text lattice_ordering
+(cl-text http://colore.oor.net/orderings/lattice_ordering.clif
 
-(cl-imports partial_ordering)
+(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)
 
 (cl-comment "Unique meet")
 

diff --git a/ontologies/orderings/linear_ordering.clif b/ontologies/orderings/linear_ordering.clif
@@ -1,7 +1,7 @@
 
-(cl-text linear_ordering
+(cl-text http://colore.oor.net/orderings/linear_ordering.clif
 
-(cl-imports partial_ordering)
+(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)
 
 (forall (x y)
 	(or	(leq x y)

diff --git a/ontologies/orderings/maxexists.clif b/ontologies/orderings/maxexists.clif
@@ -1,7 +1,7 @@
 
-(cl-text minexists
+(cl-text http://colore.oor.net/orderings/minexists.clif
 
-(cl-imports partial_ordering)
+(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)
 
 (exists (x)
 	(forall (y)

diff --git a/ontologies/orderings/meet_semilattice_ordering.clif b/ontologies/orderings/meet_semilattice_ordering.clif
@@ -1,7 +1,7 @@
 
-(cl-text meet_semilattice_ordering
+(cl-text http://colore.oor.net/orderings/meet_semilattice_ordering.clif
 
-(cl-imports partial_ordering)
+(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)
 
 (cl-comment "Unique meet")
 

diff --git a/ontologies/orderings/minexists.clif b/ontologies/orderings/minexists.clif
@@ -1,7 +1,7 @@
 
-(cl-text minexists
+(cl-text http://colore.oor.net/orderings/minexists.clif
 
-(cl-imports partial_ordering)
+(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)
 
 (exists (x)
 	(forall (y)

diff --git a/ontologies/orderings/nofinal.clif b/ontologies/orderings/nofinal.clif
@@ -1,7 +1,7 @@
 
-(cl-text nofinal
+(cl-text http://colore.oor.net/orderings/nofinal.clif
 
-(cl-imports partial_ordering)
+(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)
 
 (forall (x)
 	(exists (y)

diff --git a/ontologies/orderings/noinitial.clif b/ontologies/orderings/noinitial.clif
@@ -1,7 +1,7 @@
 
-(cl-text noinitial
+(cl-text http://colore.oor.net/orderings/noinitial.clif
 
-(cl-imports partial_ordering)
+(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)
 
 (forall (x)
 	(exists (y)

diff --git a/ontologies/orderings/partial_ordering.clif b/ontologies/orderings/partial_ordering.clif
@@ -1,7 +1,7 @@
 
-(cl-text partial_ordering
+(cl-text http://colore.oor.net/orderings/partial_ordering.clif
 
-(cl-imports quasiorder)
+(cl-imports http://colore.oor.net/orderings/quasiorder.clif)
 
 (forall (x y)
         (if     (and	(leq x y)

diff --git a/ontologies/orderings/partial_semiorder.clif b/ontologies/orderings/partial_semiorder.clif
@@ -1,7 +1,7 @@
 
-(cl-text semiorder
+(cl-text http://colore.oor.net/orderings/partial_semiorder.clif
 
-(cl-imports partial_ordering)
+(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)
 
 (forall (x a b c)
 	(if	(and	(lt a b)