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:
- Re: Plea to re-open issue-113 [WAS: Disposition of some recently raised issues] (from bparsia@cs.man.ac.uk on 2008-04-23)
- RE: Plea to re-open issue-113 [WAS: Disposition of some recently raised issues] (from schneid@fzi.de on 2008-04-23)
- Re: Plea to re-open issue-113 [WAS: Disposition of some recently raised issues] (from bparsia@cs.man.ac.uk on 2008-04-23)
- Re: Plea to re-open issue-113 [WAS: Disposition of some recently raised issues] (from jjc@hpl.hp.com on 2008-04-23)
- Re: Plea to re-open issue-113 [WAS: Disposition of some recently raised issues] (from hoekstra@uva.nl on 2008-04-23)
- Re: Plea to re-open issue-113 [WAS: Disposition of some recently raised issues] (from bparsia@cs.man.ac.uk on 2008-04-23)
- Plea to re-open issue-113 [WAS: Disposition of some recently raised issues] (from schneid@fzi.de on 2008-04-23)
- on issue-113 OWL-R non-entailments (from jjc@hpl.hp.com on 2008-04-17)
- pending review actions (from jjc@hpl.hp.com on 2008-04-16)
- RE: ISSUE-113 (OWL-R nonentailments): Some OWL-R nonentailments are OWL-Full entailments (from schneid@fzi.de on 2008-04-08)
- Re: publication progress (from jjc@hpl.hp.com on 2008-04-07)
- ISSUE-113 (OWL-R nonentailments): Some OWL-R nonentailments are OWL-Full entailments (from sysbot+tracker@w3.org on 2008-04-04)
Related notes:
2008-04-22 15:22:55: Resolved at F2F2 - see http://lists.w3.org/Archives/Public/public-owl-wg/2008Apr/0198.html noting Jeremy's concern and the possibility that public review might cause us to revisit the issue. [Alan Ruttenberg]
Changelog:
2008-04-04 18:50:10: Created issue 'Some OWL-R nonentailments are OWL-Full entailments' nickname OWL-R nonentailments owned by Jeremy Carroll on product , 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? ' non-public [Jeremy Carroll]
2008-04-22 15:22:55: Description changed to '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? '
2008-04-22 15:22:55: Issue dissociated from any product
2008-04-22 15:22:55: Status changed to 'closed'