Re: Equivalence relations between sub- and superproperties

That would have been too simple :-)

How about something along the lines of:

:isP2of owl:inverseOf :p2 .
:isP3of owl:inverseOf :p3 .

:p1class a owl:class;
    :p1 [
       a  [ a owl:Restriction;
             owl:onProperty :isP2of;
             owl:minCardinality 1;
        ];
        a [ a owl:Restriction;
             owl:onProperty :isP3of;
             owl:minCardinality 1;
        ];
] .

Although somehow it feels to me like it's still not correct...

On Mon, Aug 9, 2010 at 22:50, Chris Dollin <chris.dollin@epimorphics.com> wrote:
> On Monday, August 09, 2010 03:17:05 pm Daniël Bos wrote:
>
>>
>> Correct me if I'm wrong (I'm an owl novice), but couldn't you do something like:
>>
>> :p1 owl:subPropertyOf [
>>     a owl:Property;
>>       owl:intersectionOf(:p2 :p3)
>> ] .
>
> intersectionOf is for classes. Properties are not classes.
>
> (Not automatically or in general, anyway.)
>
> Chris
>
> --
> "Moving Day began with six pillars of glaring white,      /Earthman, come home/
>  forty miles in diameter, which burst through the soft            - James Blish
>  soil at each compass point of He."
>
> Epimorphics Ltd, http://www.epimorphics.com
> Registered address: Court Lodge, 105 High Street, Portishead, Bristol BS20 6PT
> Epimorphics Ltd. is a limited company registered in England (number 7016688)
>



-- 
Daniël Bos

email  : corani@gmail.com
phone  : +31-318-711063 (Dutch) / +86-18-701330735 (Chinese)
weblog : http://blog.loadingdata.nl/
ostatus: corani@status.loadingdata.nl

Received on Monday, 9 August 2010 15:59:50 UTC