ISSUE-77
Horn-SHIQ
ACCEPTED: Extending Horn-SHIQ
- State:
- CLOSED
- Product:
- Raised by:
- Bijan Parsia
- Opened on:
- 2007-11-28
- Description:
(On behalf of Carsten Lutz.) Why Horn-SHIQ, and not Horn-SHIQO, i.e., why not include nominals? I know that nothing has been published on Horn-SHIQO, but the difference to Horn-SHIQ is not so big, and we have enough (wo)man-power and expertise in this group to check whether something breaks w.r.t. Hornness and other desirable properties (it shouldn't!). This remark does not only apply to Horn-SHIQ and not only to nominals: - what other things that are in OWL 1.1 but not in Horn-SHIQ could be added to Horn-SHIQ without loosing nice properties? - In general: shouldn't we try to have the tractable fragments "up to date" with main OWL 1.1? For the case of EL++, I will report on this in a later mail.
- Related Actions Items:
- No related actions
- Related emails:
- Proposed: Close ISSUE-76, ISSUE-77, and ISSUE-80 (from bparsia@cs.man.ac.uk on 2008-04-12)
- Re: ISSUE-77 (Horn-SHIQ): Extending Horn-SHIQ (from mak@aifb.uni-karlsruhe.de on 2007-12-06)
- ISSUE-77 (Horn-SHIQ): Extending Horn-SHIQ (from sysbot+tracker@w3.org on 2007-11-28)
Related notes:
2008-04-18 13:30:15: See http://www.w3.org/2007/OWL/wiki/Teleconference.2008.04.16/Minutes#Issue_76_and__Issue_77 [Ian Horrocks]
Changelog:
2007-11-28 17:17:05: Created issue 'Extending Horn-SHIQ' nickname Horn-SHIQ owned by Bijan Parsia on product , description '(On behalf of Carsten Lutz.) Why Horn-SHIQ, and not Horn-SHIQO, i.e., why not include nominals? I know that nothing has been published on Horn-SHIQO, but the difference to Horn-SHIQ is not so big, and we have enough (wo)man-power and expertise in this group to check whether something breaks w.r.t. Hornness and other desirable properties (it shouldn't!). This remark does not only apply to Horn-SHIQ and not only to nominals: - what other things that are in OWL 1.1 but not in Horn-SHIQ could be added to Horn-SHIQ without loosing nice properties? - In general: shouldn't we try to have the tractable fragments "up to date" with main OWL 1.1? For the case of EL++, I will report on this in a later mail. ' non-public [Bijan Parsia]
2007-11-28 17:19:21: title changed to 'REPORTED: Extending Horn-SHIQ' [Bijan Parsia]
2007-11-28 17:19:21: Issue dissociated from any product [Bijan Parsia]
2007-12-02 14:14:18: title changed to 'ACCEPTED: Extending Horn-SHIQ' [Ian Horrocks]
2007-12-02 14:14:18: Issue dissociated from any product [Ian Horrocks]
2008-04-18 13:30:15: Issue dissociated from any product
2008-04-18 13:30:15: Status changed to 'closed'