W3C home > Mailing lists > Public > semantic-web@w3.org > April 2020

Detecting cycles in OWL

From: Mikael Pesonen <mikael.pesonen@lingsoft.fi>
Date: Fri, 24 Apr 2020 16:23:03 +0300
To: semantic-web@w3.org
Message-ID: <4fefd569-717f-c1a5-16dc-a034e9d570f0@lingsoft.fi>


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 

Thank you.
Received on Friday, 24 April 2020 13:23:20 UTC

This archive was generated by hypermail 2.4.0 : Friday, 24 April 2020 13:23:20 UTC