You are viewing a plain text version of this content. The canonical link for it is here.
Posted to notifications@rya.apache.org by "Jesse Hatfield (JIRA)" <ji...@apache.org> on 2017/06/14 16:15:00 UTC
[jira] [Created] (RYA-293) Implement support for owl:unionOf
inference
Jesse Hatfield created RYA-293:
----------------------------------
Summary: Implement support for owl:unionOf inference
Key: RYA-293
URL: https://issues.apache.org/jira/browse/RYA-293
Project: Rya
Issue Type: Sub-task
Reporter: Jesse Hatfield
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)