RE: SeRQL an RDF rule language: scoping Rules vs Query in W3C work

> 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 12

Received on Tuesday, 4 November 2003 12:56:23 UTC