diff --git a/ontology/uco-bfo.ttl b/ontology/uco-bfo.ttl index 9444b5e..6615697 100644 --- a/ontology/uco-bfo.ttl +++ b/ontology/uco-bfo.ttl @@ -6,9 +6,11 @@ @prefix owl: . @prefix rdf: . @prefix rdfs: . +@prefix uco-action: . @prefix uco-core: . @prefix uco-identity: . @prefix uco-observable: . +@prefix uco-pattern: . @prefix uco-role: . @prefix xsd: . @@ -20,16 +22,59 @@ ; . +drafting:Endurant + a owl:Class ; + rdfs:subClassOf + obo:BFO_0000002 , + uco-core:UcoObject + ; + rdfs:isDefinedBy ; + owl:disjointWith drafting:Perdurant ; + . + drafting:Event a owl:Class ; - rdfs:subClassOf obo:BFO_0000008 ; + rdfs:subClassOf + drafting:Perdurant , + obo:BFO_0000008 + ; rdfs:isDefinedBy ; . +drafting:Perdurant + a owl:Class ; + rdfs:subClassOf + obo:BFO_0000003 , + uco-core:UcoObject + ; + rdfs:isDefinedBy ; + owl:disjointWith drafting:Endurant ; + . + +uco-action:Action + rdfs:subClassOf drafting:Perdurant ; + . + +uco-core:Item + rdfs:subClassOf drafting:Endurant ; + . + +uco-identity:Identity + rdfs:subClassOf drafting:Endurant ; + . + uco-observable:File rdfs:subClassOf obo:BFO_0000031 ; . +uco-observable:ObservablePattern + rdfs:subClassOf drafting:Endurant ; + . + +uco-pattern:LogicalPattern + rdfs:subClassOf drafting:Endurant ; + . + [] a owl:Axiom ; rdfs:comment "Per an example of usage from BFO 2.0, 'the pdf file on your laptop, the pdf file that is a copy thereof on my laptop'."@en ; diff --git a/tests/exemplars.ttl b/tests/exemplars.ttl index a4224cc..e035b23 100644 --- a/tests/exemplars.ttl +++ b/tests/exemplars.ttl @@ -6,9 +6,11 @@ @prefix owl: . @prefix rdf: . @prefix rdfs: . +@prefix uco-action: . @prefix uco-core: . @prefix uco-identity: . @prefix uco-observable: . +@prefix uco-pattern: . @prefix uco-role: . @prefix xsd: . @@ -18,6 +20,10 @@ owl:imports ; . +kb:Action-561624b7-1ca5-4571-9ef8-3b9bf65f82b4 + a uco-action:Action ; + . + kb:Event-36ca992e-47e5-43a5-b344-71465c222a05 a drafting:Event ; . @@ -26,3 +32,15 @@ kb:File-e364d7d2-25c8-4d4a-95d1-b03f73934e83 a uco-observable:File ; . +kb:Identity-7658570e-f6e1-4fbf-ad6b-d057a38cc7eb + a uco-identity:Identity ; + . + +kb:LogicalPattern-31b4baf1-a8af-4cd8-8648-8946115c04ce + a uco-pattern:LogicalPattern ; + . + +kb:ObservablePattern-43623d97-2877-46c6-a52c-7e636f767ceb + a uco-observable:ObservablePattern ; + . +