Re: [OWLAPI-developer] how to get inherited properties

[Julia D. <jul...@gm...>]

Hello  Matthew,
Thank you for answer.

I think that one example make it more clear for me.

Greetings,
Julia


2008/12/22 Matthew Horridge <mat...@cs...>

> Hi Julia,
>
> You could iterate over the properties you want to ask about, and for
> each one, create a some values from restriction that has a filler of
> thing, and then create an intersection of the subclass, and the
> complement of the some values from restriction.  Ask the reasoner if
> this class expression is satisfiable.  If it is satisfiable, then it's
> not necessary for instances of the subclass to have the property.  If
> the class expression is unsatisfiable, then it is necessary for
> instances of the subclass to have the property.
>
> Let me know if you need an example.
>
> Cheers,
>
> Matthew
>
>
>
> On 19 Dec 2008, at 13:43, Julia Dmitrieva wrote:
>
> >
> > Sorry, in my previous e-mail i have made a mistake,
> > and now the correct variant:
> >
> >
> > Is it possible to get all properties (with fillers) from some class.
> > Here I mean not only the properties that are define
>
>
>
> ------------------------------------------------------------------------------
> _______________________________________________
> Owlapi-developer mailing list
> Owl...@li...
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>