Versions of CODI with relevant theorems created

ontologies/multidim_mereotopology_codi/codi_bounded_discrete_with_theorems.clif

@@ -0,0 +1,23 @@
+/*******************************************************************************
+ * Copyright (c) University of Toronto and others. All rights reserved. 
+ * The content of this file is licensed under the Creative Commons Attribution-
+ * ShareAlike 4.0 Unported license. The legal text of this license can be
+ * found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
+ *
+ * Contributors:
+ *    Torsten Hahmann - initial implementation
+ *******************************************************************************/
+
+(cl-comment 'CODI with its relative dimension relations constrained to form a discrete bounded set. All relevant theorems that explicitly relate its spatial relations (like sobproperties, disjointness, and exhaustiveness) are included')
+
+(cl-text http://colore.oor.net/multidim_mereotopology_codi/codi_with_theorems.clif
+
+(cl-imports http://colore.oor.net/multidim_mereotopology_codi/codi_with_theorems.clif)
+
+(cl-comment 'Extra theorems for bounded discrete dimensions')
+
+(cl-imports http://colore.oor.net/multidim_mereotopology_dim/theorems/dim_linear_bounded_discrete_theorems.clif
+
+
+
+)

ontologies/multidim_mereotopology_codi/codi_with_theorems.clif

@@ -0,0 +1,40 @@
+/*******************************************************************************
+ * Copyright (c) University of Toronto and others. All rights reserved. 
+ * The content of this file is licensed under the Creative Commons Attribution-
+ * ShareAlike 4.0 Unported license. The legal text of this license can be
+ * found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
+ *
+ * Contributors:
+ *    Torsten Hahmann - initial implementation
+ *******************************************************************************/
+
+(cl-comment 'CODI with all relevant theorems that explicitly relate its spatial relations (like sobproperties, disjointness, and exhaustiveness)')
+
+(cl-text http://colore.oor.net/multidim_mereotopology_codi/codi_with_theorems.clif
+
+(cl-imports http://colore.oor.net/multidim_mereotopology_codi/codi.clif)
+
+(cl-comment 'Dimension theorems')
+
+(cl-imports http://colore.oor.net/multidim_mereotopology_dim/theorems/dim_prime_linear_theorems.clif)
+
+(cl-comment 'Containment theorems')
+
+(cl-imports http://colore.oor.net/multidim_mereotopology_cont/theorems/cont_c_theorems.clif)
+
+(cl-comment 'CODI theorems')
+
+(cl-imports http://colore.oor.net/multidim_mereotopology_codi/theorems/ep_theorems.clif)
+
+(cl-imports http://colore.oor.net/multidim_mereotopology_codi/theorems/po_theorems.clif)
+
+(cl-imports http://colore.oor.net/multidim_mereotopology_codi/theorems/inc_theorems.clif)
+
+(cl-imports http://colore.oor.net/multidim_mereotopology_codi/theorems/sc_theorems.clif)
+
+
+(cl-imports http://colore.oor.net/multidim_mereotopology_codi/theorems/codi_theorems.clif)
+
+
+
+)