You are viewing a plain text version of this content. The canonical link for it is here.
Posted to users@jena.apache.org by Jim Balhoff <ba...@gmail.com> on 2016/12/20 19:23:58 UTC
OWL property chains
Hi,
Do any of the Jena reasoners support OWL property chains? The OWLMicroReasoner seems to support most of what I need except for property chains. I’m wondering if it is possible to extend this reasoner with a property chain rule, or if I should just include the rules I need in a GenericRuleReasoner. I am familiar with OWL API reasoners but this is my first foray into Jena rules. Has anyone already implemented rules for owl:propertyChainAxiom that they could share?
Thank you,
Jim
Re: OWL property chains
Posted by Jim Balhoff <ba...@gmail.com>.
Thank you for the suggestions; it’s helpful to know this isn’t already in there somewhere. So far I’ve implemented simple forward rules for property chains of length 2 and 3, which cover all of the chains found in our ontology, and this is working well. Not general enough for any size chain, but straightforward to write.
Jim
> On Dec 20, 2016, at 4:13 PM, Dave Reynolds <da...@gmail.com> wrote:
>
> Hi,
>
> On 20/12/16 19:23, Jim Balhoff wrote:
>
>> Do any of the Jena reasoners support OWL property chains?
>
> No, Jena doesn't support OWL 2 features.
>
>> The OWLMicroReasoner seems to support most of what I need except for property chains. I’m wondering if it is possible to extend this reasoner with a property chain rule, or if I should just include the rules I need in a GenericRuleReasoner.
>
> It may be possible.
>
> The route to try is to write a rule set which @includes the owl micro rules and adds the ones for property chains. You'll need to configure a GenericRuleReasoner with the appropriate magic settings to run that extended rule set. See:
>
> https://jena.apache.org/documentation/inference/#RDFSPlusRules
>
> The problem is that the right approach would be to use hybrid rules with the forward rules triggering off the existence of the property chain axiom and generating backward rules to implement the axiom. However, I don't think the forward rules are generic enough to handle the way that axioms are encoded (with RDF lists). So it might be necessary to do that with a nasty java hook.
>
> Dave
>
Re: OWL property chains
Posted by Dave Reynolds <da...@gmail.com>.
Hi,
On 20/12/16 19:23, Jim Balhoff wrote:
> Do any of the Jena reasoners support OWL property chains?
No, Jena doesn't support OWL 2 features.
> The OWLMicroReasoner seems to support most of what I need except for property chains. I\u2019m wondering if it is possible to extend this reasoner with a property chain rule, or if I should just include the rules I need in a GenericRuleReasoner.
It may be possible.
The route to try is to write a rule set which @includes the owl micro
rules and adds the ones for property chains. You'll need to configure a
GenericRuleReasoner with the appropriate magic settings to run that
extended rule set. See:
https://jena.apache.org/documentation/inference/#RDFSPlusRules
The problem is that the right approach would be to use hybrid rules with
the forward rules triggering off the existence of the property chain
axiom and generating backward rules to implement the axiom. However, I
don't think the forward rules are generic enough to handle the way that
axioms are encoded (with RDF lists). So it might be necessary to do that
with a nasty java hook.
Dave