Skip to content
Permalink
Browse files

added Creative Commons 4.0 licence

  • Loading branch information...
carmenchui committed Mar 16, 2019
1 parent db62264 commit 1d369d111175e23d9182aedfa2d51f5f77c86124
Showing with 229 additions and 19 deletions.
  1. +10 −0 ontologies/psl_soo/soo.clif
  2. +10 −1 ontologies/quadripartite_incidence/cospatial_intersect.clif
  3. +10 −1 ontologies/quadripartite_incidence/cospatial_partitioning.clif
  4. +10 −1 ontologies/quadripartite_incidence/diamond_quadripartite.clif
  5. +10 −1 ontologies/quadripartite_incidence/dis3polytope.clif
  6. +10 −1 ontologies/quadripartite_incidence/graded_poset4.clif
  7. +10 −1 ontologies/quadripartite_incidence/near4diamond.clif
  8. +10 −1 ontologies/quadripartite_incidence/near_polytope.clif
  9. +10 −1 ontologies/quadripartite_incidence/nontrivial_space.clif
  10. +10 −1 ontologies/quadripartite_incidence/partition3polytope.clif
  11. +10 −1 ontologies/quadripartite_incidence/partition_near_polytope.clif
  12. +10 −1 ontologies/quadripartite_incidence/quadriclosure.clif
  13. +10 −1 ontologies/quadripartite_incidence/quadripartite.clif
  14. +10 −1 ontologies/quadripartite_incidence/space_existence.clif
  15. +10 −1 ontologies/quadripartite_incidence/space_partitioning.clif
  16. +10 −1 ontologies/quadripartite_incidence/transitive_quadripartite.clif
  17. +10 −1 ontologies/quadripartite_incidence/unique_space.clif
  18. +10 −1 ontologies/quadripartite_incidence/weak_quadripartite.clif
  19. +10 −1 ontologies/quality/direct_quality.clif
  20. +9 −0 ontologies/quivers/directed_multigraph.clif
  21. +9 −0 ontologies/quivers/quiver.clif
  22. +10 −0 ontologies/quivers/simple_digraph.clif
  23. +10 −0 ontologies/quivers/simple_quiver.clif
  24. +1 −1 ontologies/rcc_continuous_process/definitions/rcc_process.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/psl_soo/soo.clif

(cl-imports http://colore.oor.net/psl_actocc/actocc.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/quadripartite_incidence/cospatial_intersect.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/weak_quadripartite.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/quadripartite_incidence/cospatial_partitioning.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/space_partitioning.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/quadripartite_incidence/diamond_quadripartite.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/near4diamond.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/quadripartite_incidence/dis3polytope.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/graded_poset4.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/quadripartite_incidence/graded_poset4.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/quadripartite.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/quadripartite_incidence/near4diamond.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/quadripartite.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/quadripartite_incidence/near_polytope.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/graded_poset4.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/quadripartite_incidence/nontrivial_space.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/weak_quadripartite.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/quadripartite_incidence/partition3polytope.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/dis3polytope.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/quadripartite_incidence/partition_near_polytope.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/near_polytope.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/quadripartite_incidence/quadriclosure.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/weak_quadripartite.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/quadripartite_incidence/quadripartite.clif

(cl-imports http://colore.oor.net/tripartite_incidence/tripartite.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/quadripartite_incidence/space_existence.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/weak_quadripartite.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/quadripartite_incidence/space_partitioning.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/graded_poset4.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/quadripartite_incidence/transitive_quadripartite.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/weak_quadripartite.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/quadripartite_incidence/unique_space.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/weak_quadripartite.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/quadripartite_incidence/weak_quadripartite.clif

(forall (x y)
@@ -1,6 +1,15 @@
/*******************************************************************************
* 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/quality/direct_quality.clif


(forall (x y1 y2)
(if (and (dqt x y1)(dqt x y2))
(= y1 y2)))
@@ -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/quivers/directed_multigraph.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/quivers/quiver.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/quivers/simple_digraph.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/quivers/simple_quiver.clif

@@ -5,7 +5,7 @@
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
* Michael Gruninger, Bahar Ameri - initial implementation
*******************************************************************************/

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

0 comments on commit 1d369d1

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