[jira] [Resolved] (RYA-290) Expand query inference to support additional RDFS/OWL terms

["Jesse Hatfield (JIRA)" <ji...@apache.org>]

     [ https://issues.apache.org/jira/browse/RYA-290?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Jesse Hatfield resolved RYA-290.
--------------------------------
       Resolution: Fixed
    Fix Version/s: 3.2.11

> Expand query inference to support additional RDFS/OWL terms
> -----------------------------------------------------------
>
>                 Key: RYA-290
>                 URL: https://issues.apache.org/jira/browse/RYA-290
>             Project: Rya
>          Issue Type: Improvement
>          Components: sail
>            Reporter: Jesse Hatfield
>             Fix For: 3.2.11
>
>
> Rya's backward-chaining inference engine 1) recognizes statements with certain OWL/RDFS terms as providing relevant schema information; 2) holds this schema information in memory; and 3) applies the associated reasoning semantics for those terms by rewriting individual queries as appropriate. Currently, only a subset of ontology terms are supported (rdfs:subClassOf, rdfs:subPropertyOf, owl:sameAs, owl:equivalentProperty, owl:propertyChainAxiom, owl:inverseOf, owl:SymmetricProperty, owl:TransitiveProperty). Many of the remaining RDFS/OWL terms could be implemented with the same strategy, thereby expanding Rya's reasoning capability while preserving the advantages of the current approach (scales with respect to instance data, performs reasoning only when needed, is robust to changes in instance data).
> Each of these OWL terms refers to a specific class and/or predicate. At a minimum, the inference engine should detect query patterns that specifically reference such classes or predicates and apply the relevant rule, as it does for the currently supported terms. In particular, the current inference engine will expand a statement pattern of the form "?X rdf:type :C" if :C is known to have subclasses (resources belonging to any of the subclasses should be returned), but it should also check whether :C corresponds to a property restriction, intersection, domain/range of some predicate, etc., and rewrite appropriately.



--
This message was sent by Atlassian JIRA
(v6.4.14#64029)