added comments

gruninger · May 12, 2014 · 5e8b328 · 5e8b328
1 parent 89cfe96
commit 5e8b328
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 17 deletions.
diff --git a/ontologies/event_ontology/event.clif b/ontologies/event_ontology/event.clif
@@ -8,9 +8,10 @@
  * Hets generated (and modified) common logic translation of OWL version (for testing expressivity)
  * unstructured for easier translation to p9 syntax
  * note: letter cases preserved in accordance with OWL version
+ * some axioms commented-out due to syntax errors introduced as a result of some bug in the translation software
  *******************************************************************************/
 
-(cl-text http://colore.oor.net/event_ontology/event.clif 
+(cl-text http://colore.oor.net/iswc_events/event.owl.clif 
 
 	(cl-comment 'Thing and Nothing axioms removed 1-20')
 
@@ -38,10 +39,11 @@
 (forall (a) (not (and (Factor a)
                         (foaf_Agent a))))                (cl-comment 'Ax4_4')
 
-/*******************************************************************************
-(foaf_Person <http://moustaki.org/foaf.rdf#moustaki) (cl-comment 'Ax5_5')
 
-(Thing <http://purl.org/NET/c4dm/event.owl) (cl-comment 'Ax6_6')
+(foaf_Person Foaf_moustaki) (cl-comment 'Ax5_5')
+
+/*******************************************************************************
+(Thing <http://purl.org/NET/c4dm/event.owl>) (cl-comment 'Ax6_6')
 
 *******************************************************************************/
 (time_Interval I1) (cl-comment 'Ax7_7')
@@ -248,8 +250,8 @@
                                                        (cl-comment 'Ax76_76')
 
 /*******************************************************************************
-(foaf_maker <http://purl.org/NET/c4dm/event.owl
-              <http://moustaki.org/foaf.rdf#moustaki) (cl-comment 'Ax77_77')
+(foaf_maker <http://purl.org/NET/c4dm/event.owl>
+              Foaf_moustaki) (cl-comment 'Ax77_77')
 
 *******************************************************************************/
 (time_hasBeginning I1
@@ -661,10 +663,10 @@
                                                      (cl-comment 'Ax179_179')
 
 /*******************************************************************************
-(dc:date <http://purl.org/NET/c4dm/event.owl
+(dc:date <http://purl.org/NET/c4dm/event.owl>
            $Date: 2007/06/29 15:25:11 $)             (cl-comment 'Ax180_180')
 
-(dc:description <http://purl.org/NET/c4dm/event.owl
+(dc:description <http://purl.org/NET/c4dm/event.owl>
 
 		This ontology deals with the notion of reified events---
 		events seen as first-class objectsIt only defines one
@@ -677,7 +679,7 @@
 	)
                                                      (cl-comment 'Ax181_181')
 
-(dc:title <http://purl.org/NET/c4dm/event.owl
+(dc:title <http://purl.org/NET/c4dm/event.owl>
             The Event ontology)                      (cl-comment 'Ax182_182')
 *******************************************************************************/
 
@@ -949,15 +951,16 @@
 
 (forall (a) (if (time_Interval a) (time_TemporalEntity a)))
                                                       (cl-comment 'Ax24_294')
-/*******************************************************************************
 
 (forall (a) (if (time_January a) (time_DateTimeDescription a)))
                                                       (cl-comment 'Ax25_295')
 
 (forall (a) (if (time_January a) (time_unitType a
                                                                                                     time_unitMonth)))
                                                       (cl-comment 'Ax26_296')
-
+
+/*******************************************************************************													  
+
 (forall (a) (if (time_January a) (and (time_month a
                                                                                                       b)
                                                                  (= --01 b)

diff --git a/ontologies/event_ontology/event_x.clif b/ontologies/event_ontology/event_x.clif
@@ -8,9 +8,10 @@
  * Hets generated (and modified) common logic translation of OWL version (for testing expressivity)
  * unstructured for easier translation to p9 syntax
  * note: letter cases preserved in accordance with OWL version
+ * some axioms commented-out due to syntax errors introduced as a result of some bug in the translation software
  *******************************************************************************/
 
-(cl-text http://colore.oor.net/event_ontology/event_x.clif 
+(cl-text http://colore.oor.net/iswc_events/event-x.owl.clif 
 	(cl-comment 'Thing and Nothing axioms removed 1-20')
 
 	(cl-comment 'datatype property axioms removed 21-70')             
@@ -73,12 +74,12 @@
 (forall (a) (not (and (time_TemporalEntity a)
                         (foaf_Agent a))))
                                                        (cl-comment 'Ax13_13')
-/*******************************************************************************
 
-(foaf_Person <http://moustaki.org/foaf.rdf#moustaki)
+(foaf_Person Foaf_moustaki)
                                                        (cl-comment 'Ax14_14')
+/*******************************************************************************
 
-(Thing <http://purl.org/NET/c4dm/event.owl) (cl-comment 'Ax15_15')
+(Thing <http://purl.org/NET/c4dm/event.owl>) (cl-comment 'Ax15_15')
 
 *******************************************************************************/
 (time_Interval I1)
@@ -1016,15 +1017,15 @@
 
 (forall (a) (if (time_Interval a) (time_TemporalEntity a)))
                                                       (cl-comment 'Ax24_306')
-/*******************************************************************************
 
 (forall (a) (if (time_January a) (time_DateTimeDescription a)))
                                                       (cl-comment 'Ax25_307')
 
 (forall (a) (if (time_January a) (time_unitType a
                                                                                                     time_unitMonth)))
                                                       (cl-comment 'Ax26_308')
-
+
+/*******************************************************************************
 (forall (a) (if (time_January a) (and (time_month a
                                                                                                       b)
                                                                  (= --01 b)