Re: Properties equivalents

An OWL reasoner checks whether two properties are equivalent based on
the OWL axioms. Most commonly used way is to use the tableau algorithm.

If those axioms are not in the knowledge base, you can't use such a
procedure. But to be honest, it's unclear what you're after, i.e. what
is the input and what is the expected output.


On 19.06.2017 15:09, Olivier rozin wrote:
> Actually, I am searching to find an appraoch to prove two properties
> (roles) are equivalents or not? using description logic or aother
> appraoch. Unsing description logic or aother appraoch.
>
> On Mon, Jun 19, 2017 at 3:07 PM, Martynas Jusevičius
> <martynas@atomgraph.com <mailto:martynas@atomgraph.com>> wrote:
>
>     Have you googled?
>
>     https://www.w3.org/TR/owl-ref/#equivalentProperty-def
>     <https://www.w3.org/TR/owl-ref/#equivalentProperty-def>
>
>     On Mon, Jun 19, 2017 at 2:59 PM, Olivier rozin
>     <olivier.rozin@gmail.com <mailto:olivier.rozin@gmail.com>> wrote:
>
>         Hi,
>
>         How I can find the synonym predicates, in the other words,
>         what the reasoner does for decide 2 properties (roles) are
>         equivalent or not?
>
>         Thanks for your help
>         O.
>
>
>