[ https://issues.apache.org/jira/browse/RYA-293?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Caleb Meier closed RYA-293. --------------------------- Resolution: Fixed Fix Version/s: 3.2.10 > Implement owl:unionOf inference > ------------------------------- > > Key: RYA-293 > URL: https://issues.apache.org/jira/browse/RYA-293 > Project: Rya > Issue Type: Sub-task > Components: sail > Reporter: Jesse Hatfield > Assignee: Jesse Hatfield > Fix For: 3.2.10 > > > An *{{owl:unionOf}}* expression defines one type to be equivalent to the > union of another set of types. If the ontology states that {{:Parent}} is the > union of {{:Mother}} and {{:Father}}, then the inference engine should > rewrite statement patterns of the form {{?x rdf:type :Parent}} to check for > resources that are stated to be any of the types {{:Mother}}, {{:Father}}, or > {{:Parent}}. -- This message was sent by Atlassian JIRA (v6.4.14#64029)