Skip to content

Commit 43af5a7

Browse files
johnbevejohnbeve
authored
Expanding definition of process parthood (#835)
* opening up process parthood * added axiom reflecting text def
1 parent c5458d9 commit 43af5a7

1 file changed

Lines changed: 67 additions & 21 deletions

File tree

‎src/cco-modules/ExtendedRelationOntology.ttl‎

Lines changed: 67 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -213,6 +213,16 @@ cco:ont00001762 rdf:type owl:AnnotationProperty ;
213213
obo:BFO_0000199 owl:inverseOf cco:ont00001874 .
214214

215215

216+
### https://www.commoncoreontologies.org/ont00001775
217+
cco:ont00001775 rdf:type owl:ObjectProperty ;
218+
owl:inverseOf cco:ont00001928 ;
219+
rdfs:domain obo:BFO_0000004 ;
220+
rdfs:range obo:BFO_0000004 ;
221+
rdfs:label "is successor of"@en ;
222+
skos:definition "x is successor of y =Def y is predecessor of x"@en ;
223+
cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI .
224+
225+
216226
### https://www.commoncoreontologies.org/ont00001777
217227
cco:ont00001777 rdf:type owl:ObjectProperty ;
218228
rdfs:subPropertyOf obo:BFO_0000117 ;
@@ -437,10 +447,53 @@ cco:ont00001845 rdf:type owl:ObjectProperty ;
437447
### https://www.commoncoreontologies.org/ont00001857
438448
cco:ont00001857 rdf:type owl:ObjectProperty ;
439449
rdfs:subPropertyOf obo:BFO_0000132 ;
440-
rdfs:domain obo:BFO_0000015 ;
441-
rdfs:range obo:BFO_0000015 ;
450+
rdfs:domain [ owl:intersectionOf ( obo:BFO_0000015
451+
[ rdf:type owl:Restriction ;
452+
owl:onProperty obo:BFO_0000199 ;
453+
owl:someValuesFrom [ owl:intersectionOf ( obo:BFO_0000008
454+
[ rdf:type owl:Restriction ;
455+
owl:onProperty obo:BFO_0000132 ;
456+
owl:someValuesFrom [ owl:intersectionOf ( obo:BFO_0000202
457+
[ rdf:type owl:Restriction ;
458+
owl:onProperty cco:ont00001874 ;
459+
owl:someValuesFrom obo:BFO_0000015
460+
]
461+
) ;
462+
rdf:type owl:Class
463+
]
464+
]
465+
) ;
466+
rdf:type owl:Class
467+
]
468+
]
469+
) ;
470+
rdf:type owl:Class
471+
] ;
472+
rdfs:range [ owl:intersectionOf ( obo:BFO_0000015
473+
[ rdf:type owl:Restriction ;
474+
owl:onProperty obo:BFO_0000199 ;
475+
owl:someValuesFrom [ owl:intersectionOf ( obo:BFO_0000202
476+
[ rdf:type owl:Restriction ;
477+
owl:onProperty obo:BFO_0000117 ;
478+
owl:someValuesFrom [ owl:intersectionOf ( obo:BFO_0000008
479+
[ rdf:type owl:Restriction ;
480+
owl:onProperty [ owl:inverseOf obo:BFO_0000199
481+
] ;
482+
owl:someValuesFrom obo:BFO_0000015
483+
]
484+
) ;
485+
rdf:type owl:Class
486+
]
487+
]
488+
) ;
489+
rdf:type owl:Class
490+
]
491+
]
492+
) ;
493+
rdf:type owl:Class
494+
] ;
442495
rdfs:label "is part of process"@en ;
443-
skos:definition "x is_part_of_process y iff x and y are instances of Process, such that x occupies a temporal region that is a proper occurrent part of the temporal interval of y, and x either provides an input to y or receives an output of y."@en ;
496+
skos:definition "x is part of process y iff x is occurrent part of y, x and y are Processes, and x occupies a temporal region that is a proper occurrent part of the temporal interval of y."@en ;
444497
cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI .
445498

446499

@@ -543,6 +596,17 @@ cco:ont00001921 rdf:type owl:ObjectProperty ;
543596
skos:definition "x has input y =Def y is input of x"@en ;
544597
cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI .
545598

599+
600+
### https://www.commoncoreontologies.org/ont00001928
601+
cco:ont00001928 rdf:type owl:ObjectProperty ;
602+
rdfs:domain obo:BFO_0000004 ;
603+
rdfs:range obo:BFO_0000004 ;
604+
rdfs:label "is predecessor of"@en ;
605+
skos:definition "x is_predecessor_of y iff x and y are both instances of Independent Continuant and there is some process p and x is an input to p and y is an output of p."@en ;
606+
skos:scopeNote "More informally, x is_predecessor_of y iff y follows or replaces x."@en ;
607+
cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI .
608+
609+
546610
### https://www.commoncoreontologies.org/ont00001933
547611
cco:ont00001933 rdf:type owl:ObjectProperty ;
548612
rdfs:subPropertyOf cco:ont00001803 ;
@@ -647,23 +711,5 @@ cco:ont00001986 rdf:type owl:ObjectProperty ;
647711
cco:ont00001754 "https://en.wikipedia.org/w/index.php?title=IPO_model&oldid=1024398398"^^xsd:anyURI ;
648712
cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI .
649713

650-
### https://www.commoncoreontologies.org/ont00001775
651-
cco:ont00001775 rdf:type owl:ObjectProperty ;
652-
owl:inverseOf cco:ont00001928 ;
653-
rdfs:domain obo:BFO_0000004 ;
654-
rdfs:range obo:BFO_0000004 ;
655-
rdfs:label "is successor of"@en ;
656-
skos:definition "x is successor of y =Def y is predecessor of x"@en ;
657-
cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI .
658-
659-
### https://www.commoncoreontologies.org/ont00001928
660-
cco:ont00001928 rdf:type owl:ObjectProperty ;
661-
rdfs:domain obo:BFO_0000004 ;
662-
rdfs:range obo:BFO_0000004 ;
663-
rdfs:label "is predecessor of"@en ;
664-
skos:definition "x is_predecessor_of y iff x and y are both instances of Independent Continuant and there is some process p and x is an input to p and y is an output of p."@en ;
665-
skos:scopeNote "More informally, x is_predecessor_of y iff y follows or replaces x."@en ;
666-
cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI .
667-
668714

669715
### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi

0 commit comments

Comments
 (0)