[
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)
