- From: Gerd Wagner <wagnerg@tu-cottbus.de>
- Date: Wed, 8 Feb 2006 16:59:10 +0100
- To: <edbark@nist.gov>, <public-rif-wg@w3.org>
>> 2. RIF could allow for rules the processing of which goes >> beyond what currently is widespread. Eg rules with >> disjunctive conclusions. > [...] We will have enough on our plate to deal with > commercial rules engine expressiveness, SWRL, OWL and RDF. > If the choice is supporting disjunctive consequents and > having a RIF model theory in 6 months that we can all > accept, I'll take the latter. But OWL/SWRL have already introduced disjunctive conclusions (which btw are not a problem for the model-theoretic semantics, even not when combined with NAF; they are only a problem for the inference engines), so this is not PhD research! -Gerd --------------------------------------------- Gerd Wagner, BTU Cottbus Germany http://oxygen.informatik.tu-cottbus.de/IT Tel: 0355-69-2397 Email: G.Wagner@tu-cottbus.de
Received on Wednesday, 8 February 2006 16:02:12 UTC