Skip to content
Permalink
Browse files

added Creative Commons 4.0 licence

  • Loading branch information...
carmenchui committed Mar 16, 2019
1 parent 208398e commit d5bac4a5c6f597eb3bc035320a538e46e7bac3ef
Showing with 2,262 additions and 15 deletions.
  1. +10 −0 ontologies/density/definitions/physical_density.clif
  2. +10 −0 ontologies/density/density.clif
  3. +12 −2 ontologies/direct_quality_process/definitions/direct_quality_process.clif
  4. +12 −2 ontologies/direct_quality_process/direct_quality_state.clif
  5. +10 −0 ontologies/dtv_dur_interval/dtv_dur_interval.clif
  6. +10 −0 ontologies/dtv_duration/dtv_duration.clif
  7. +10 −0 ontologies/dtv_interval/dtv_interval.clif
  8. +10 −0 ontologies/dtv_interval/dtv_interval_def.clif
  9. +10 −0 ontologies/dtv_mereology/dtv_mereology.clif
  10. +10 −0 ontologies/dtv_occurrence/dtv_occurrence.clif
  11. +9 −0 ontologies/dtv_plus/dtv_plus.clif
  12. +10 −0 ontologies/dtv_plus/dtv_plus_def.clif
  13. +9 −0 ontologies/duration/point_duration.clif
  14. +10 −1 ontologies/duration/timeduration.clif
  15. +9 −1 ontologies/extended_psl/extended_psl_root.clif
  16. +9 −1 ontologies/extended_psl/psl_dl.clif
  17. +11 −0 ontologies/extended_psl/psl_swrl.clif
  18. +10 −0 ontologies/fount/fount.clif
  19. +10 −0 ontologies/gangemi-participation/gangemi.clif
  20. +10 −0 ontologies/graph_ordering/cgo.clif
  21. +10 −0 ontologies/graphs/P3covered.clif
  22. +10 −0 ontologies/graphs/bipartite_graph.clif
  23. +10 −0 ontologies/graphs/chordal_graph.clif
  24. +10 −0 ontologies/graphs/cograph.clif
  25. +10 −0 ontologies/graphs/comparability_graph.clif
  26. +10 −0 ontologies/graphs/complete_bipartite.clif
  27. +10 −0 ontologies/graphs/complete_graph.clif
  28. +10 −0 ontologies/graphs/complete_simple_graph.clif
  29. +10 −0 ontologies/graphs/cycle_path.clif
  30. +10 −0 ontologies/graphs/cyclic_graph.clif
  31. +10 −0 ontologies/graphs/definitions/graph_def.clif
  32. +10 −0 ontologies/graphs/double_leaf.clif
  33. +10 −0 ontologies/graphs/empty_graph.clif
  34. +10 −0 ontologies/graphs/endloop_graph.clif
  35. +10 −0 ontologies/graphs/graph_loops.clif
  36. +10 −0 ontologies/graphs/interval_graph.clif
  37. +10 −0 ontologies/graphs/nobranch.clif
  38. +10 −0 ontologies/graphs/path_graph.clif
  39. +10 −0 ontologies/graphs/permutation_graph.clif
  40. +10 −0 ontologies/graphs/polycyclic_graph.clif
  41. +10 −0 ontologies/graphs/polycyclic_loop.clif
  42. +10 −0 ontologies/graphs/pseudocyclic_graph.clif
  43. +10 −0 ontologies/graphs/quasicyclic_graph.clif
  44. +10 −0 ontologies/graphs/simple_graph.clif
  45. +10 −0 ontologies/graphs/simple_nobranch.clif
  46. +10 −0 ontologies/graphs/split_graph.clif
  47. +10 −0 ontologies/graphs/star_graph.clif
  48. +10 −0 ontologies/graphs/star_union.clif
  49. +10 −0 ontologies/graphs/trivially_perfect.clif
  50. +10 −0 ontologies/graphs/undirected_cyclic_graph.clif
  51. +10 −0 ontologies/graphs/undirected_graph.clif
  52. +10 −0 ontologies/graphs/weak_pseudocyclic_graph.clif
  53. +10 −0 ontologies/hilbert_geometry/hilbert_congruence.clif
  54. +10 −0 ontologies/incidence_bundle/flag_bundle.clif
  55. +10 −0 ontologies/incidence_bundle/in_bundle.clif
  56. +10 −0 ontologies/incidence_bundle/line_flag_bundle.clif
  57. +10 −0 ontologies/incidence_bundle/lp_bundle.clif
  58. +10 −0 ontologies/incidence_bundle/nip_bundle.clif
  59. +10 −0 ontologies/incidence_bundle/partial_in_bundle.clif
  60. +10 −0 ontologies/incidence_bundle/partial_nip_bundle.clif
  61. +10 −0 ontologies/incidence_bundle/partial_plane_flag_bundle.clif
  62. +10 −0 ontologies/incidence_bundle/plane_flag_bundle.clif
  63. +10 −0 ontologies/incidence_bundle/pp_bundle.clif
  64. +10 −0 ontologies/incidence_bundle/subdiamond.clif
  65. +10 −0 ontologies/incidence_bundle/wpl_bundle.clif
  66. +10 −0 ontologies/incidence_foliation/cem_downward_in_foliation.clif
  67. +10 −0 ontologies/incidence_foliation/downward_in_foliation.clif
  68. +10 −0 ontologies/incidence_foliation/ideal_cem_downward_in_foliation.clif
  69. +10 −0 ontologies/incidence_foliation/ideal_cem_line_downward_in_foliation.clif
  70. +10 −0 ontologies/incidence_foliation/ideal_cem_nip_downward_in_foliation.clif
  71. +10 −0 ontologies/incidence_foliation/ideal_cem_plane_downward_in_foliation.clif
  72. +10 −0 ontologies/incidence_foliation/in_foliation_root.clif
  73. +10 −0 ontologies/incidence_foliation/line_downward_in_foliation.clif
  74. +10 −0 ontologies/incidence_foliation/nip_downward_in_foliation.clif
  75. +10 −0 ontologies/incidence_foliation/plane_downward_in_foliation.clif
  76. +10 −0 ontologies/incidence_foliation/upward_in_foliation.clif
  77. +12 −2 ontologies/injection_bipartite_process/definitions/injection_bipartite_process.clif
  78. +12 −2 ontologies/injection_bipartite_process/injection_bipartite_state.clif
  79. +10 −0 ontologies/interval_meeting/allen_hayes.clif
  80. +10 −0 ontologies/interval_meeting/bounded_meeting.clif
  81. +10 −0 ontologies/interval_meeting/definitions/im_def.clif
  82. +10 −0 ontologies/interval_meeting/dense_interval_meeting.clif
  83. +10 −0 ontologies/interval_meeting/directed_im.clif
  84. +10 −0 ontologies/interval_meeting/discrete_interval_meeting.clif
  85. +10 −0 ontologies/interval_meeting/finite_im.clif
  86. +10 −0 ontologies/interval_meeting/interval_meeting.clif
  87. +10 −0 ontologies/interval_meeting/ladkin_intq.clif
  88. +10 −0 ontologies/interval_meeting/meets_root.clif
  89. +10 −0 ontologies/interval_psl/interval_nontrivial.clif
  90. +10 −0 ontologies/lattices/Atom.clif
  91. +10 −0 ontologies/lattices/definitions/covers.clif
  92. +10 −0 ontologies/lattices/definitions/incomparable.clif
  93. +10 −0 ontologies/lattices/definitions/leq.clif
  94. +10 −0 ontologies/lattices/modular_ortholattice.clif
  95. +10 −0 ontologies/lattices/semicomplemented_lattice.clif
  96. +10 −0 ontologies/lattices/weak_complemented_lattice.clif
  97. +10 −0 ontologies/location_donnelly/definitions/donnelly_def.clif
  98. +10 −0 ontologies/location_donnelly/donnelly_root.clif
  99. +10 −0 ontologies/location_varzi/L_location.clif
  100. +10 −0 ontologies/location_varzi/definitions/location_def.clif
  101. +10 −0 ontologies/location_varzi/dense_region.clif
  102. +10 −0 ontologies/location_varzi/location_root.clif
  103. +10 −0 ontologies/location_varzi/mon_location.clif
  104. +10 −0 ontologies/location_varzi/mt_location.clif
  105. +10 −0 ontologies/location_varzi/nontrivial_loc.clif
  106. +10 −0 ontologies/location_varzi/region_location.clif
  107. +10 −0 ontologies/magma/abelian_group.clif
  108. +10 −0 ontologies/magma/alternative_magma.clif
  109. +10 −0 ontologies/magma/associative_quasigroup.clif
  110. +10 −0 ontologies/magma/band.clif
  111. +10 −0 ontologies/magma/cancellative.clif
  112. +10 −0 ontologies/magma/cancellative_inverse_monoid.clif
  113. +10 −0 ontologies/magma/cancellative_semigroup.clif
  114. +10 −0 ontologies/magma/commutative_magma.clif
  115. +10 −0 ontologies/magma/commutative_monoid.clif
  116. +10 −0 ontologies/magma/commutative_semigroup.clif
  117. +10 −0 ontologies/magma/conditionally_commutative.clif
  118. +10 −0 ontologies/magma/definitions/magma_defs.clif
  119. +10 −0 ontologies/magma/divisible_magma.clif
  120. +10 −0 ontologies/magma/e_inversive_semigroup.clif
  121. +10 −0 ontologies/magma/e_semigroup.clif
  122. +10 −0 ontologies/magma/equiv_e_inversive_semigroup.clif
  123. +10 −0 ontologies/magma/group.clif
  124. +10 −0 ontologies/magma/idempotent_commute.clif
  125. +10 −0 ontologies/magma/idempotent_magma.clif
  126. +10 −0 ontologies/magma/inverse_monoid.clif
  127. +10 −0 ontologies/magma/inverse_semigroup.clif
  128. +10 −0 ontologies/magma/invertible_magma.clif
  129. +10 −0 ontologies/magma/left_cancellative.clif
  130. +10 −0 ontologies/magma/left_commutative.clif
  131. +10 −0 ontologies/magma/left_regular_semigroup.clif
  132. +10 −0 ontologies/magma/loop.clif
  133. +10 −0 ontologies/magma/magma.clif
  134. +10 −0 ontologies/magma/monoid.clif
  135. +10 −0 ontologies/magma/orthodox_semigroup.clif
  136. +10 −0 ontologies/magma/quasigroup.clif
  137. +10 −0 ontologies/magma/regular_idem_semilattice.clif
  138. +10 −0 ontologies/magma/regular_semigroup.clif
  139. +10 −0 ontologies/magma/right_cancellative.clif
  140. +10 −0 ontologies/magma/right_commutative.clif
  141. +10 −0 ontologies/magma/right_regular_semigroup.clif
  142. +10 −0 ontologies/magma/semigroup.clif
  143. +10 −0 ontologies/magma/semilattice_magma.clif
  144. +10 −0 ontologies/magma/unipotent_magma.clif
  145. +10 −0 ontologies/magma/unique_inverse.clif
  146. +10 −0 ontologies/magma/unital.clif
  147. +10 −0 ontologies/magma/weak_invertible.clif
  148. +10 −0 ontologies/magma/zero_magma.clif
  149. +10 −0 ontologies/mass/amount.clif
  150. +10 −0 ontologies/mass/definitions/physical_mass.clif
  151. +11 −0 ontologies/mass/mass.clif
  152. +11 −0 ontologies/material_object/material_object.clif
  153. +10 −0 ontologies/matter/definitions/chunk_diff.clif
  154. +10 −0 ontologies/matter/definitions/chunk_disjoint.clif
  155. +10 −0 ontologies/matter/definitions/chunk_overlaps.clif
  156. +11 −0 ontologies/matter/definitions/chunk_underlaps.clif
  157. +10 −0 ontologies/matter/definitions/proper_chunk.clif
  158. +10 −0 ontologies/matter/matter.clif
  159. +12 −2 ontologies/mcg_process/definitions/mcg_process.clif
  160. +12 −2 ontologies/mcg_process/mcg_state.clif
  161. +10 −0 ontologies/mereograph/P3covered_mereograph.clif
  162. +10 −0 ontologies/mereograph/comparability_mereograph.clif
  163. +10 −0 ontologies/mereograph/mereograph.clif
  164. +10 −0 ontologies/mereograph/neighbour_order.clif
  165. +10 −0 ontologies/mereological_bundle/cem_bundle.clif
  166. +10 −0 ontologies/mereological_bundle/cm_bundle.clif
  167. +10 −0 ontologies/mereological_bundle/em_bundle.clif
  168. +10 −0 ontologies/mereological_bundle/m_bundle.clif
  169. +10 −0 ontologies/mereological_bundle/mm_bundle.clif
  170. +10 −0 ontologies/mereological_bundle/partial_cem_bundle.clif
  171. +10 −0 ontologies/mereological_bundle/partial_m_bundle.clif
  172. +10 −0 ontologies/mereological_bundle/prod_bundle.clif
  173. +10 −0 ontologies/mereological_bundle/sum_bundle.clif
  174. +10 −0 ontologies/mereological_foliation/cem_downward_cem_foliation.clif
  175. +10 −0 ontologies/mereological_foliation/cem_downward_m_foliation.clif
  176. +10 −0 ontologies/mereological_foliation/cem_foliation.clif
  177. +10 −0 ontologies/mereological_foliation/downward_m_foliation.clif
  178. +10 −0 ontologies/mereological_foliation/m_foliation.clif
  179. +10 −0 ontologies/mereological_foliation/upward_m_foliation.clif
  180. +10 −0 ontologies/mereological_geometry/bipartite_lower_mg.clif
  181. +10 −0 ontologies/mereological_geometry/bipartite_upper_mg.clif
  182. +10 −0 ontologies/mereological_geometry/cem_cemmg.clif
  183. +10 −0 ontologies/mereological_geometry/cem_wmg.clif
  184. +10 −0 ontologies/mereological_geometry/cemmg.clif
  185. +10 −0 ontologies/mereological_geometry/cmmg.clif
  186. +10 −0 ontologies/mereological_geometry/emmg.clif
  187. +10 −0 ontologies/mereological_geometry/filter_mg.clif
  188. +10 −0 ontologies/mereological_geometry/ideal_cem_cemmg.clif
  189. +10 −0 ontologies/mereological_geometry/ideal_cem_wmg.clif
  190. +10 −0 ontologies/mereological_geometry/ideal_mg.clif
  191. +10 −0 ontologies/mereological_geometry/lbmg.clif
  192. +10 −0 ontologies/mereological_geometry/lower_mg.clif
  193. +10 −0 ontologies/mereological_geometry/m_wmg.clif
  194. +10 −0 ontologies/mereological_geometry/maximal_filter_mg.clif
  195. +10 −0 ontologies/mereological_geometry/maximal_ideal_mg.clif
  196. +10 −0 ontologies/mereological_geometry/maximal_lower_mg.clif
  197. +10 −0 ontologies/mereological_geometry/maximal_upper_mg.clif
  198. +10 −0 ontologies/mereological_geometry/mg_def.clif
  199. +10 −0 ontologies/mereological_geometry/prodmg.clif
  200. +10 −0 ontologies/mereological_geometry/summg.clif
  201. +10 −0 ontologies/mereological_geometry/ubmg.clif
  202. +10 −0 ontologies/mereological_geometry/upper_mg.clif
  203. +10 −0 ontologies/mereological_geometry/wmg.clif
  204. +10 −0 ontologies/mereology/atomic_mereology.clif
  205. +10 −0 ontologies/mereology/atomless_mereology.clif
  206. +10 −0 ontologies/mereology/cem_C.clif
  207. +10 −0 ontologies/mereology/cem_G.clif
  208. +10 −0 ontologies/mereology/cem_mereology.clif
  209. +10 −0 ontologies/mereology/cem_notC.clif
  210. +10 −0 ontologies/mereology/cem_notG.clif
  211. +10 −0 ontologies/mereology/cm_mereology.clif
  212. +10 −0 ontologies/mereology/comp_cmG_mereology.clif
  213. +10 −0 ontologies/mereology/comp_cm_mereology.clif
  214. +10 −0 ontologies/mereology/comp_mereology.clif
  215. +10 −0 ontologies/mereology/dense_mereology.clif
  216. +10 −0 ontologies/mereology/dense_mm_mereology.clif
  217. +10 −0 ontologies/mereology/discrete_mereology.clif
  218. +10 −0 ontologies/mereology/em_mereology.clif
  219. +10 −0 ontologies/mereology/ex_cm_mereology.clif
  220. +10 −0 ontologies/mereology/exm_mereology.clif
  221. +10 −0 ontologies/mereology/exmm_mereology.clif
  222. +10 −0 ontologies/mereology/grz.clif
  223. +10 −0 ontologies/mereology/inclusion_space.clif
  224. +10 −0 ontologies/mereology/linear_mereology.clif
  225. +10 −0 ontologies/mereology/lub_mereology.clif
@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/density/definitions/physical_density.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/

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

(cl-imports http://colore.oor.net/mass/amount.clif)
@@ -1,6 +1,16 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/

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

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



@@ -16,4 +26,4 @@
(exists (x y)
(changes o (dqt x y)))))))

)
)
@@ -1,6 +1,16 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/

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

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


(forall (o x y)
@@ -63,4 +73,4 @@
(prior (dqt p1 l) o)
(prior (dqt p1 l) o))
(= p1 p2)))
)
)
@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,12 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/

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

@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,12 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/

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

@@ -1,4 +1,13 @@

/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/

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

(cl-module field (cl-imports http://colore.oor.net/ringoids/field.clif))
@@ -1,4 +1,12 @@

/*******************************************************************************
* 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:
* Michael Gruninger, Megan Katsumi - initial implementation
*******************************************************************************/
(cl-text http://colore.oor.net/extended_psl/extended_psl_root.clif

(cl-imports http://colore.oor.net/process_specification_language/binary_psl.clif)
@@ -1,4 +1,12 @@

/*******************************************************************************
* 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:
* Michael Gruninger, Megan Katsumi - initial implementation
*******************************************************************************/
(cl-text http://colore.oor.net/extended_psl/psl_dl.clif

(cl-imports http://colore.oor.net/psl_actocc/complex_actocc_dl.clif)
@@ -1,3 +1,14 @@
/*******************************************************************************
* 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:
* Michael Gruninger, Megan Katsumi - initial implementation
*******************************************************************************/


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

(cl-imports http://colore.oor.net/extended_psl/psl_dl.clif)
@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Aldo Gangemi, Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/

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

(cl-imports http://colore.oor.net/graphs/undirected_graph.clif)
@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/

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

(cl-imports http://colore.oor.net/graphs/graph_loops.clif)
@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* 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:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

Oops, something went wrong.

0 comments on commit d5bac4a

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