ISSUE-113

OWL-R nonentailments

Some OWL-R nonentailments are OWL-Full entailments

State:

CLOSED

Product:

Raised by:

Jeremy Carroll

Opened on:

2008-04-04

Description:

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?

Related Actions Items:

No related actions

Related emails:

1. Re: Plea to re-open issue-113 [WAS: Disposition of some recently raised issues] (from bparsia@cs.man.ac.uk on 2008-04-23)
2. RE: Plea to re-open issue-113 [WAS: Disposition of some recently raised issues] (from schneid@fzi.de on 2008-04-23)
3. Re: Plea to re-open issue-113 [WAS: Disposition of some recently raised issues] (from bparsia@cs.man.ac.uk on 2008-04-23)
4. Re: Plea to re-open issue-113 [WAS: Disposition of some recently raised issues] (from jjc@hpl.hp.com on 2008-04-23)
5. Re: Plea to re-open issue-113 [WAS: Disposition of some recently raised issues] (from hoekstra@uva.nl on 2008-04-23)
6. Re: Plea to re-open issue-113 [WAS: Disposition of some recently raised issues] (from bparsia@cs.man.ac.uk on 2008-04-23)
7. Plea to re-open issue-113 [WAS: Disposition of some recently raised issues] (from schneid@fzi.de on 2008-04-23)
8. on issue-113 OWL-R non-entailments (from jjc@hpl.hp.com on 2008-04-17)
9. pending review actions (from jjc@hpl.hp.com on 2008-04-16)
10. RE: ISSUE-113 (OWL-R nonentailments): Some OWL-R nonentailments are OWL-Full entailments (from schneid@fzi.de on 2008-04-08)
11. Re: publication progress (from jjc@hpl.hp.com on 2008-04-07)
12. ISSUE-113 (OWL-R nonentailments): Some OWL-R nonentailments are OWL-Full entailments (from sysbot+tracker@w3.org on 2008-04-04)

Related notes:

Display change log.