ISSUE-77: ACCEPTED: Extending Horn-SHIQ

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:

1. Proposed: Close ISSUE-76, ISSUE-77, and ISSUE-80 (from bparsia@cs.man.ac.uk on 2008-04-12)
2. Re: ISSUE-77 (Horn-SHIQ): Extending Horn-SHIQ (from mak@aifb.uni-karlsruhe.de on 2007-12-06)
3. ISSUE-77 (Horn-SHIQ): Extending Horn-SHIQ (from sysbot+tracker@w3.org on 2007-11-28)

Related notes:

Display change log