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:26:00 UTC
[jira] [Updated] (RYA-294) Implement owl:someValuesFrom inference
[ https://issues.apache.org/jira/browse/RYA-294?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Jesse Hatfield updated RYA-294:
-------------------------------
Description:
An *{{owl:someValuesFrom}}* restriction defines the set of resources which, for a given predicate and other type, have at least one value of that other type for that predicate.
If the ontology states that {{:Chair}} is the set of resources who are {{:headOf}} at least one resource which must itself be a {{:Department}}, then:
{{?x rdf:type :Chair}}
should be expanded to:
{noformat}
{ ?x :headOf ?dept .
?dept rdf:type :Department }
UNION
{?x rdf:type :Chair }
{noformat}
was:
An *{{owl:someValuesFrom}}* restriction defines the set of resources which, for a given predicate and other type, have at least one value of that other type for that predicate.
If the ontology states that {{:Chair}} is the set of resources who are {{:headOf}} at least one resource which must itself be a {{:Department}}, then:
{{?x rdf:type :Chair}}
should be expanded to:
{{
{?x rdf:type :Chair }
UNION
{ ?x :headOf ?dept .
?dept rdf:type :Department } }}
> Implement owl:someValuesFrom inference
> --------------------------------------
>
> Key: RYA-294
> URL: https://issues.apache.org/jira/browse/RYA-294
> Project: Rya
> Issue Type: Sub-task
> Components: sail
> Reporter: Jesse Hatfield
>
> An *{{owl:someValuesFrom}}* restriction defines the set of resources which, for a given predicate and other type, have at least one value of that other type for that predicate.
> If the ontology states that {{:Chair}} is the set of resources who are {{:headOf}} at least one resource which must itself be a {{:Department}}, then:
> {{?x rdf:type :Chair}}
> should be expanded to:
> {noformat}
> { ?x :headOf ?dept .
> ?dept rdf:type :Department }
> UNION
> {?x rdf:type :Chair }
> {noformat}
--
This message was sent by Atlassian JIRA
(v6.4.14#64029)