Hi All, Apologies if the following issue has already been discussed. The current definition of op:hasMember declares the range as a conjunction of classes that are also declared disjoint in the ontolgoy. op:hasMember is then used to define class:Group. With OWL reasoning, this classifies class:Group as Nothing and any op:hasMember object assertions cause an inconsistency. Has this already been discussed and is there a proposed fix? Best, Shahim EssaidReceived on Thursday, 16 May 2013 21:42:12 UTC
This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:33 UTC