W3C home > Mailing lists > Public > public-owl-wg@w3.org > April 2008

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

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 4 April 2008 18:50:44 GMT