Permalink
Browse files

appended .clif extension to URIs

  • Loading branch information...
carmenschui@gmail.com
carmenschui@gmail.com committed May 29, 2013
1 parent ad31724 commit b7a81eaa21d5b181daa77c9d397b554e9f9e3953
Showing with 68 additions and 68 deletions.
  1. +2 −2 ontologies/dolce/cp_temporary_parthood.clif
  2. +9 −9 ontologies/dolce/dolce_colore.clif
  3. +3 −3 ontologies/dolce/dolce_core.clif
  4. +1 −1 ontologies/dolce/dolce_hets_tptp.clif
  5. +2 −2 ontologies/dolce_constitution/dolce_constitution.clif
  6. +2 −2 ontologies/dolce_dependence/AQ_NPED_dependence.clif
  7. +2 −2 ontologies/dolce_dependence/F_NAPO_dependence.clif
  8. +2 −2 ontologies/dolce_dependence/MOB_APO_dependence.clif
  9. +2 −2 ontologies/dolce_dependence/NASO_SC_dependence.clif
  10. +2 −2 ontologies/dolce_dependence/PQ_PED_dependence.clif
  11. +2 −2 ontologies/dolce_dependence/SAG_APO_dependence.clif
  12. +2 −2 ontologies/dolce_dependence/TQ_PD_dependence.clif
  13. +2 −2 ontologies/dolce_dependence/dolce_dependence.clif
  14. +3 −3 ontologies/dolce_mereology/dolce_mereology.clif
  15. +2 −2 ontologies/dolce_participation/dolce_participation.clif
  16. +2 −2 ontologies/dolce_present/dolce_present.clif
  17. +1 −1 ontologies/dolce_taxonomy/dolce_taxonomy.clif
  18. +3 −3 ontologies/dolce_temporary_parthood/cp_temporary_parthood.clif
  19. +2 −2 ontologies/dolce_temporary_parthood/dolce_temporary_parthood.clif
  20. +2 −2 ontologies/dolce_time_mereology/dolce_time_mereology.clif
  21. +4 −4 ontologies/dtv_dur_interval/dtv_dur_interval.clif
  22. +1 −1 ontologies/dtv_duration/dtv_duration.clif
  23. +2 −2 ontologies/dtv_interval/dtv_interval.clif
  24. +2 −2 ontologies/dtv_interval/dtv_interval_def.clif
  25. +1 −1 ontologies/dtv_mereology/dtv_mereology.clif
  26. +2 −2 ontologies/dtv_occurrence/dtv_occurrence.clif
  27. +3 −3 ontologies/dtv_plus/dtv_plus.clif
  28. +3 −3 ontologies/dtv_plus/dtv_plus_def.clif
  29. +2 −2 ontologies/duration/point_duration.clif
@@ -8,10 +8,10 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_core/dolce_core_temporary_parthood
(cl-text http://colore.oor.net/dolce_core/dolce_core_temporary_parthood.clif
(cl-comment "Import the DOLCE temporary parthood theory.")
(cl-imports http://colore.oor.net/dolce_temporary_parthood/dolce_temporary_parthood)
(cl-imports http://colore.oor.net/dolce_temporary_parthood/dolce_temporary_parthood.clif)
(cl-comment "This is a non-conservative extension of dolce_temporary_parthood. It imports dolce_mereology because of the P relation (part).")
@@ -8,32 +8,32 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_core/dolce_colore
(cl-text http://colore.oor.net/dolce_core/dolce_colore.clif
(cl-comment "This CLIF file contains imports of all of the DOLCE modules.")
(cl-comment "Import the DOLCE taxonomy.")
(cl-imports http://colore.oor.net/dolce_taxonomy/dolce_taxonomy)
(cl-imports http://colore.oor.net/dolce_taxonomy/dolce_taxonomy.clif)
(cl-comment "Import the DOLCE constitution theory.")
(cl-imports http://colore.oor.net/dolce_constitution/dolce_constitution)
(cl-imports http://colore.oor.net/dolce_constitution/dolce_constitution.clif)
(cl-comment "Import the DOLCE dependence theory.")
(cl-imports http://colore.oor.net/dolce_dependence/dolce_dependence)
(cl-imports http://colore.oor.net/dolce_dependence/dolce_dependence.clif)
(cl-comment "Import the DOLCE mereology theory.")
(cl-imports http://colore.oor.net/dolce_mereology/dolce_mereology)
(cl-imports http://colore.oor.net/dolce_mereology/dolce_mereology.clif)
(cl-comment "Import the DOLCE participation theory.")
(cl-imports http://colore.oor.net/dolce_participation/dolce_participation)
(cl-imports http://colore.oor.net/dolce_participation/dolce_participation.clif)
(cl-comment "Import the DOLCE present theory.")
(cl-imports http://colore.oor.net/dolce_present/dolce_present)
(cl-imports http://colore.oor.net/dolce_present/dolce_present.clif)
(cl-comment "Import the DOLCE temporary_parthood theory.")
(cl-imports http://colore.oor.net/dolce_temporary_parthood/dolce_temporary_parthood)
(cl-imports http://colore.oor.net/dolce_temporary_parthood/dolce_temporary_parthood.clif)
(cl-comment "Import the DOLCE time_mereology theory.")
(cl-imports http://colore.oor.net/dolce_time_mereology/dolce_time_mereology)
(cl-imports http://colore.oor.net/dolce_time_mereology/dolce_time_mereology.clif)
)
@@ -8,13 +8,13 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_core/dolce_core
(cl-text http://colore.oor.net/dolce_core/dolce_core.clif
(cl-comment "Import the DOLCE taxonomy.")
(cl-imports http://colore.oor.net/dolce_taxonomy/dolce_taxonomy)
(cl-imports http://colore.oor.net/dolce_taxonomy/dolce_taxonomy.clif)
(cl-comment "Import the DOLCE present theory.")
(cl-imports http://colore.oor.net/dolce_present/dolce_present)
(cl-imports http://colore.oor.net/dolce_present/dolce_present.clif)
(cl-comment "------------------------DOLCE_CORE_MEREOLOGY------------------------")
@@ -8,7 +8,7 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce/dolce_hets_tptp)
(cl-text http://colore.oor.net/dolce/dolce_hets_tptp.clif)
(cl-comment "Source: Oliver Kutz, Till Mossakowski: A Modular Consistency Proof for DOLCE. AAAI 2011.")
(cl-comment "Taxonomy according to subsort declarations")
@@ -8,13 +8,13 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_constitution/dolce_constitution
(cl-text http://colore.oor.net/dolce_constitution/dolce_constitution.clif
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Comment: DOLCE axioms from 4.3.3 Constitution")
(cl-comment "Import the DOLCE temporary parthood theory.")
(cl-imports http://colore.oor.net/dolce_temporary_parthood/dolce_temporary_parthood)
(cl-imports http://colore.oor.net/dolce_temporary_parthood/dolce_temporary_parthood.clif)
(cl-comment "A20 to Ad32")
(cl-comment "Td1 to Td5")
@@ -8,13 +8,13 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_dependence/AQ_NPED_dependence
(cl-text http://colore.oor.net/dolce_dependence/AQ_NPED_dependence.clif
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Comment: DOLCE axioms from 4.3.7 Dependence and Spatial Dependence")
(cl-comment "Import the DOLCE present theory.")
(cl-imports http://colore.oor.net/dolce_present/dolce_present)
(cl-imports http://colore.oor.net/dolce_present/dolce_present.clif)
(cl-comment "Taken directly from HETS axioms - going from sorted logic to unsorted logic.")
(forall (x y)
@@ -8,13 +8,13 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_dependence/F_NAPO_dependence
(cl-text http://colore.oor.net/dolce_dependence/F_NAPO_dependence.clif
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Comment: DOLCE axioms from 4.3.7 Dependence and Spatial Dependence")
(cl-comment "Import the DOLCE present theory.")
(cl-imports http://colore.oor.net/dolce_present/dolce_present)
(cl-imports http://colore.oor.net/dolce_present/dolce_present.clif)
(cl-comment "Taken directly from HETS axioms - going from sorted logic to unsorted logic.")
(forall (y t)
@@ -8,13 +8,13 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_dependence/MOB_APO_dependence
(cl-text http://colore.oor.net/dolce_dependence/MOB_APO_dependence.clif
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Comment: DOLCE axioms from 4.3.7 Dependence and Spatial Dependence")
(cl-comment "Import the DOLCE present theory.")
(cl-imports http://colore.oor.net/dolce_present/dolce_present)
(cl-imports http://colore.oor.net/dolce_present/dolce_present.clif)
(cl-comment "Taken directly from HETS axioms - going from sorted logic to unsorted logic.")
(forall (y t)
@@ -8,13 +8,13 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_dependence/NASO_SC_dependence
(cl-text http://colore.oor.net/dolce_dependence/NASO_SC_dependence.clif
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Comment: DOLCE axioms from 4.3.7 Dependence and Spatial Dependence")
(cl-comment "Import the DOLCE present theory.")
(cl-imports http://colore.oor.net/dolce_present/dolce_present)
(cl-imports http://colore.oor.net/dolce_present/dolce_present.clif)
(cl-comment "Taken directly from HETS axioms - going from sorted logic to unsorted logic.")
(forall (y t)
@@ -8,13 +8,13 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_dependence/PQ_PED_dependence
(cl-text http://colore.oor.net/dolce_dependence/PQ_PED_dependence.clif
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Comment: DOLCE axioms from 4.3.7 Dependence and Spatial Dependence")
(cl-comment "Import the DOLCE present theory.")
(cl-imports http://colore.oor.net/dolce_present/dolce_present)
(cl-imports http://colore.oor.net/dolce_present/dolce_present.clif)
(cl-comment "Taken directly from HETS axioms - going from sorted logic to unsorted logic.")
(forall (x y)
@@ -8,13 +8,13 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_dependence/SAG_APO_dependence
(cl-text http://colore.oor.net/dolce_dependence/SAG_APO_dependence.clif
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Comment: DOLCE axioms from 4.3.7 Dependence and Spatial Dependence")
(cl-comment "Import the DOLCE present theory.")
(cl-imports http://colore.oor.net/dolce_present/dolce_present)
(cl-imports http://colore.oor.net/dolce_present/dolce_present.clif)
(cl-comment "Taken directly from HETS axioms - going from sorted logic to unsorted logic.")
(forall (y t)
@@ -8,13 +8,13 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_dependence/TQ_PD_dependence
(cl-text http://colore.oor.net/dolce_dependence/TQ_PD_dependence.clif
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Comment: DOLCE axioms from 4.3.7 Dependence and Spatial Dependence")
(cl-comment "Import the DOLCE present theory.")
(cl-imports http://colore.oor.net/dolce_present/dolce_present)
(cl-imports http://colore.oor.net/dolce_present/dolce_present.clif)
(cl-comment "Taken directly from HETS axioms - going from sorted logic to unsorted logic.")
(forall (x y)
@@ -8,13 +8,13 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_dependence/dolce_dependence
(cl-text http://colore.oor.net/dolce_dependence/dolce_dependence.clif
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Comment: DOLCE axioms from 4.3.7 Dependence and Spatial Dependence")
(cl-comment "Import the DOLCE present theory.")
(cl-imports http://colore.oor.net/dolce_present/dolce_present)
(cl-imports http://colore.oor.net/dolce_present/dolce_present.clif)
(cl-comment "Ad67 to Ad74")
(cl-comment "Td9 to Td14")
@@ -8,17 +8,17 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_mereology/dolce_mereology
(cl-text http://colore.oor.net/dolce_mereology/dolce_mereology.clif
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Comment: DOLCE axioms from 4.3.1 Parthood")
(cl-comment "We shall adopt for the atemporal parthood the axioms of atomic General Extensional Mereology (GEM), and the classical definitions of overlap, proper part, atom, etc.")
(cl-comment "Import the DOLCE taxonomy.")
(cl-imports http://colore.oor.net/dolce_taxonomy/dolce_taxonomy)
(cl-imports http://colore.oor.net/dolce_taxonomy/dolce_taxonomy.clif)
(cl-comment "Import the DOLCE time mereology.")
(cl-imports http://colore.oor.net/dolce_time_mereology/dolce_time_mereology)
(cl-imports http://colore.oor.net/dolce_time_mereology/dolce_time_mereology.clif)
(cl-comment "Ad1 to Ad9")
(cl-comment "Argument Restrictions")
@@ -8,13 +8,13 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_participation/dolce_participation
(cl-text http://colore.oor.net/dolce_participation/dolce_participation.clif
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Comment: DOLCE axioms from 4.3.4 Participation")
(cl-comment "Import the DOLCE present theory.")
(cl-imports http://colore.oor.net/dolce_present/dolce_present)
(cl-imports http://colore.oor.net/dolce_present/dolce_present.clif)
(cl-comment "A33 to Ad37")
(cl-comment "Td6 to Td7")
@@ -8,13 +8,13 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_present/dolce_present
(cl-text http://colore.oor.net/dolce_present/dolce_present.clif
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Comment: DOLCE axioms from 4.3.8 Being Present")
(cl-comment "Import the DOLCE time mereology theory.")
(cl-imports ../dolce_time_mereology)
(cl-imports http://colore.oor.net/dolce_time_mereology/dolce_time_mereology.clif)
(cl-comment "Td15 to Td18")
@@ -8,7 +8,7 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_taxonomy/dolce_taxonomy
(cl-text http://colore.oor.net/dolce_taxonomy/dolce_taxonomy.clif
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Comment: DOLCE axioms from 4.1 Taxonomic Constraints")
@@ -8,13 +8,13 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_temporary_parthood/dolce_core_temporary_parthood
(cl-text http://colore.oor.net/dolce_temporary_parthood/dolce_core_temporary_parthood.clif
(cl-comment "Import the DOLCE present theory.")
(cl-imports http://colore.oor.net/dolce_mereology/dolce_mereology)
(cl-imports http://colore.oor.net/dolce_mereology/dolce_mereology.clif)
(cl-comment "Import the DOLCE temporary parthood theory.")
(cl-imports http://colore.oor.net/dolce_temporary_parthood/dolce_temporary_parthood)
(cl-imports http://colore.oor.net/dolce_temporary_parthood/dolce_temporary_parthood.clif)
(cl-comment "This is a non-conservative extension of dolce_temporary_parthood. It imports dolce_mereology because of the P relation (part).")
@@ -8,15 +8,15 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_temporary_parthood/dolce_temporary_parthood
(cl-text http://colore.oor.net/dolce_temporary_parthood/dolce_temporary_parthood.clif
(cl-comment "Source: WonderWeb Deliverable D18 Ontology Library final by: Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari (2003).")
(cl-comment "Comment: DOLCE axioms from 4.3.2 Temporary Parthood")
(cl-comment "We drop antisymmetry and we slightly modify the axioms for P by introducing the infinite
sum defined in (D27).")
(cl-comment "Import the DOLCE present theory.")
(cl-imports http://colore.oor.net/dolce_present/dolce_present)
(cl-imports http://colore.oor.net/dolce_present/dolce_present.clif)
(cl-comment "A10 to Ad19")
(cl-comment "-------------------------------------------------------")
@@ -8,13 +8,13 @@
* Michael Gruninger, Carmen Chui
*******************************************************************************/
(cl-text http://colore.oor.net/dolce_time_mereology/dolce_time_mereology
(cl-text http://colore.oor.net/dolce_time_mereology/dolce_time_mereology.clif
(cl-comment "Source: Michael Gruninger, Carmen Chui, and WonderWeb Deliverable D18.")
(cl-comment "The DOLCE time mereology is based off the original DOLCE mereology - argument restrictions (time intervals) have been placed on the sorts.")
(cl-comment "Import the DOLCE taxonomy.")
(cl-imports http://colore.oor.net/dolce/dolce_taxonomy)
(cl-imports http://colore.oor.net/dolce/dolce_taxonomy.clif)
(cl-comment "Argument Restrictions")
@@ -1,11 +1,11 @@
(cl-text http://colore.oor.net/dtv_dur_interval/dtv_dur_interval
(cl-text http://colore.oor.net/dtv_dur_interval/dtv_dur_interval.clif
(cl-imports http://colore.oor.net/dtv_interval/dtv_interval)
(cl-imports http://colore.oor.net/dtv_interval/dtv_interval.clif)
(cl-imports http://colore.oor.net/dtv_plus/dtv_plus)
(cl-imports http://colore.oor.net/dtv_plus/dtv_plus.clif)
(cl-imports http://colore.oor.net/dtv_duration/dtv_duration)
(cl-imports http://colore.oor.net/dtv_duration/dtv_duration.clif)
(forall ((t "time interval") (d1 duration) (d2 duration))
(if (and ("time interval has duration" t d1)
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/dtv_duration/dtv_duration
(cl-text http://colore.oor.net/dtv_duration/dtv_duration.clif
(forall ((d1 duration))
(leq d1 d1))
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/dtv_interval/dtv_interval
(cl-text http://colore.oor.net/dtv_interval/dtv_interval.clif
(cl-imports http://colore.oor.net/dtv_mereology/dtv_mereology)
(cl-imports http://colore.oor.net/dtv_mereology/dtv_mereology.clif)
(forall ((t1 "time interval") (t2 "time interval"))
(if ("time interval1 overlaps time interval2" t1 t2)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/dtv_interval/dtv_interval_def
(cl-text http://colore.oor.net/dtv_interval/dtv_interval_def.clif
(cl-imports http://colore.oor.net/dtv_interval/dtv_interval)
(cl-imports http://colore.oor.net/dtv_interval/dtv_interval.clif)
(forall (t1 t2)
(iff ("time interval1 is properly before time interval2" t1 t2)
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/dtv_mereology/dtv_mereology
(cl-text http://colore.oor.net/dtv_mereology/dtv_mereology.clif
(forall ((part "time interval"))
("time interval1 is part of time interval2" part part))
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/dtv_occurrence/dtv_occurrence
(cl-text http://colore.oor.net/dtv_occurrence/dtv_occurrence.clif
(cl-imports http://colore.oor.net/dtv_dur_interval/dtv_dur_interval)
(cl-imports http://colore.oor.net/dtv_dur_interval/dtv_dur_interval.clif)
(forall ((o occurrence) (t "time interval"))
(iff ("occurrence occurs within time interval" o t)
Oops, something went wrong.

0 comments on commit b7a81ea

Please sign in to comment.