- From: Dieter Fensel <dieter.fensel@deri.org>
- Date: Wed, 08 Feb 2006 22:11:22 +0100
- To: bonatti@na.infn.it,"Gerd Wagner" <wagnerg@tu-cottbus.de>, <edbark@nist.gov>,<public-rif-wg@w3.org>
At 17:38 08.02.2006 +0100, Piero A. Bonatti wrote: >On Wednesday 08 February 2006 17:13, Dieter Fensel wrote: > > >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! > > > > 1) They are ONLY a problem for the inference engines!!!!!!!!! > > So for the ONLY thing that really counts. > >there are very interesting inference engines - notably, DLV - based on >disjunctive logic programming (i.e. they support disjunctions in the head). Thanks for letting me know! Indeed an interesting research prototype with the potential for a couple of further PhDs (I am slightly disappointed that you assume I had not heart about). But we are talking about industrial relevance and a body of work that needed creative scientists 10-20 years ago to define the technical core. Only alignment with existing web standards and scalability on the web requires some intellectual investment. W3C is not a recommendation body for research prototypes. ---------------------------------------------------------------- Dieter Fensel, http://www.deri.org/ Tel.: +43-512-5076485/8 Skype: dieterfensel
Received on Wednesday, 8 February 2006 21:13:49 UTC