- From: Francois Bry <bry@ifi.lmu.de>
- Date: Thu, 09 Feb 2006 09:13:17 +0100
- Cc: public-rif-wg@w3.org
Dieter Fensel wrote: >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. > > This discussions remionds me of discussions on the future or relational databases at the begininig of the 80es of the 20es century. At that time, many thought -- and said loodly -- that relational databases had no future. By the way, behaving similarly, many say today that OWL has no future. -- Francois
Received on Thursday, 9 February 2006 08:13:28 UTC