Re: Detecting cycles in OWL

Hi Diogo,

wouldn't that mean that CycleFromA is same as B?


On 24/04/2020 16.42, Diogo FC Patrao wrote:
> Hi Mikael
>
> I'm far from my Protege but I guess you have to intersect the axiom 
> below with "sameAs: B"
>
> Class: CycleFromA
>      EquivalentTo: p1 o p2 SOME B AND p3 o p4 SOME :B
>
>
> -- 
> diogo patrão
>
>
>
>
> On Fri, Apr 24, 2020 at 10:30 AM Mikael Pesonen 
> <mikael.pesonen@lingsoft.fi <mailto:mikael.pesonen@lingsoft.fi>> wrote:
>
>
>     Hi,
>
>     I would like to find out wheather data contains a cycle so that some
>     individuals of two different classes are connected together with 2 or
>     more property paths.
>
>     So there are two paths in the data (--x--> denoting property):
>
>     a:A --p1--> c:C --p2--> b:B
>
>     a:A --p3--> d:D --p4--> b:B
>
>     Is it possible to express in OWL  that some individual of type A is
>     connected to some individual of type B through these two property
>     paths
>     (p1 o p2) and (p3 o p4)?
>
>
>     Closest I've come up is this
>
>     Class: CycleFromA
>          EquivalentTo: p1 o p2 SOME B AND p3 o p4 SOME :B
>
>     but this doesn't force b to be same individual. And how this
>     CycleFromA
>     could be used for reasoning and finding out if such double connection
>     exists?
>
>     Thank you.
>

-- 
Lingsoft - 30 years of Leading Language Management

www.lingsoft.fi

Speech Applications - Language Management - Translation - Reader's and Writer's Tools - Text Tools - E-books and M-books

Mikael Pesonen
System Engineer

e-mail: mikael.pesonen@lingsoft.fi
Tel. +358 2 279 3300

Time zone: GMT+2

Helsinki Office
Eteläranta 10
FI-00130 Helsinki
FINLAND

Turku Office
Kauppiaskatu 5 A
FI-20100 Turku
FINLAND