Re: Detecting cycles in OWL

right, it needs the SOME clause. maybe:

p1 o p2 SOME B AND p3 o p4 SOME B AND sameAs SOME B

?



--
diogo patrão




On Fri, Apr 24, 2020 at 10:52 AM Mikael Pesonen <mikael.pesonen@lingsoft.fi>
wrote:

>
> 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> 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
>
>