- From: Francois Bry <bry@ifi.lmu.de>
- Date: Thu, 09 Feb 2006 08:55:43 +0100
- To: Gerd Wagner <wagnerg@tu-cottbus.de>
- Cc: edbark@nist.gov, public-rif-wg@w3.org
Gerd Wagner 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! > > Having worked a bit in theorem proving in the past, and having looked at the current state of autmomated reasoners for OWL, I stronlgy believe that there is a lot of opportunities for good PhD on inference engines for OWL. By the way, this applies as well of many W3C recomm endations, as the following examples show: a. the XPath processors developped in industry are all hardly usable because they are exponential. Academic researtc h has recentlly shown that polynomial evaluation is possible. b. implementing XQuery still is the subject of academic research and far way from being solved. c. RDF bnodes are a serious challenge for efficient reasoning which, to the best of my knowledge, is far from being solved. Thus, a RIF inducing research challenges would be in good company... -- Francois
Received on Thursday, 9 February 2006 07:55:49 UTC