> It's probably hard to get away from the fact that the body of a rule > will likely look like a query That's exactly the connection between queries and rules: a logical formula (with free variables), no matter in which language it is expressed (OCL, Prolog, RDF, OWL, etc), may play both the role of a query body (without result presentation/structuring) and the role of a derivation rule antecedent. -Gerd --------------------------------------- Gerd Wagner http://tmitwww.tm.tue.nl/staff/gwagner/ Dep. Information & Technology Eindhoven University of Technology Email: G.Wagner@tm.tue.nl Phone: (+31 40) 247 26 17 Fax: (+31 40) 247 26 12Received on Tuesday, 4 November 2003 12:56:23 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.30 : Friday, 25 March 2005 11:20:49 GMT