Re: MothersLovers - an OWL restriction question

I think you are looking for a SELF-restriction here:

http://www.w3.org/2007/OWL/wiki/New_Features_and_Rationale#F4:_Self_Restriction

This is not part of OWL 2 RL, but you can easily write a rule for this.

Best regards,

Brian Ulicny, PhD
Chief Scientist
VIStology, Inc


On Fri, Mar 14, 2014 at 10:31 AM, <henry.story@bblfish.net> wrote:

>
> I would like to specify the class that is such that the object of one
> relation
> is the same ( or same domain ) as object of another relation.
>
> Something that could be written like this ( were it to exist )
>
> SomeType
> owl:equivalentClass
>       [ a owl:SameRangeRestriction;
>         owl:onProperty :rel1;
>         owl:onProperty :rel2
>       ] .
>
> One could define the class of lovers of their mothers like that
>
> MothersLovers owl:equivalentClass [ a owl:SameRangeRestriction
>                            owl:onProperty :lover
>                            owl:onProperty :mother ] .
>
> As that SameRangeRestriction does not exist, I tried this:
>
> MothersLovers
>    owl:equivalentClass [ a owl:Restriction;
>               owl:onProperty [ rdfs:subPropertyOf [ owl:propertyChainAxiom
> ( :lover [ owl:InverseOf :mother ] )];
>                                a owl:ReflexiveProperty ];
>               owl:minCardinality 1 ] .
>
>
> But Pellet does not like property chain axioms in Restrictions. ( perhaps
> other resoners allow this?)
> Is there some way to do this properly? ( I do have a real use case, but
> it's more complex to explain )
>
> Henry
>
>
> Social Web Architect
> http://bblfish.net/
>
>
>