ISSUE-113 (OWL-R nonentailments): Some OWL-R nonentailments are OWL-Full entailments from OWL Working Group Issue Tracker on 2008-04-04 (public-owl-wg@w3.org from April 2008)

From: OWL Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Fri, 4 Apr 2008 18:50:10 +0000 (GMT)
To: public-owl-wg@w3.org
Message-Id: <20080404185010.297776B63E@tibor.w3.org>

ISSUE-113 (OWL-R nonentailments): Some OWL-R nonentailments are OWL-Full entailments

http://www.w3.org/2007/OWL/tracker/issues/

Raised by: Jeremy Carroll
On product: 


Is a tool that provides all OWL-R rules and some others that are licensed by OWL Full, still OWL-R conformant.

i.e.

if O1 entails O2 in OWL Full, but O2 does not follow using the OWL-R ruleset applied to O1 then is an OWL-R conformant tool permitted to find O2?

Received on Friday, 4 April 2008 18:50:43 UTC