- From: Shahim Essaid <essaids@ohsu.edu>
- Date: Thu, 16 May 2013 10:03:33 -0700
- To: "semantic-web@w3.org" <semantic-web@w3.org>
Received on Thursday, 16 May 2013 21:42:12 UTC
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 Essaid
Received on Thursday, 16 May 2013 21:42:12 UTC