github/CommonCoreOntologies
1
1
Fork 0
mirror of https://github.com/CommonCoreOntology/CommonCoreOntologies.git synced 2026-04-27 03:00:27 -04:00
Code Issues Packages Projects Releases Wiki Activity

Fix EQ axiom for Agent

Browse Source
This commit is contained in:
Mark Jensen
2023-03-03 14:11:02 -05:00
parent 6894b6f6f9
commit 3e20b42ebb
1 changed files with 4 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
AgentOntology.ttl
View File

@@ -1111,11 +1111,7 @@ cco:Affordance rdf:type owl:Class ;
### http://www.ontologyrepository.com/CommonCoreOntologies/Agent
cco:Agent rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Class ;
owl:unionOf ( cco:Animal
cco:Organization
)
]
owl:equivalentClass [ owl:intersectionOf ( obo:BFO_0000040
[ rdf:type owl:Restriction ;
owl:onProperty cco:agent_in ;
owl:someValuesFrom obo:BFO_0000015
@@ -1877,9 +1873,10 @@ cco:UnalliedPerson rdf:type owl:Class ;
rdf:type owl:Class
] ;
rdfs:subClassOf cco:Person ;
cco:alternative_label "Unallied Person" ;
cco:definition "A Person who is the bearer of some Neutral Role."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/AgentOntology"^^xsd:anyURI ;
rdfs:label "Neutral"@en .
rdfs:label "Neutral Person"@en .
### Generated by the OWL API (version 4.5.6) https://github.com/owlcs/owlapi
### Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi