function symbols in SWRL FOL

Hi all,

I have a question regarding SWRL FOL [1] to which someone here might 
know the answer:

SWRL FOL is an extension of SWRL to first-order logic. However, there do 
not appear to be any function symbols in the language. Did I overlook 
something in the document?
Could someone tell me why we would want to restrict the expressiveness 
of the language? Why not define a full first-order logic and define 
subsets with some specific desirable properties?

Thanks for the clarification!


Best, Jos


[1] http://www.daml.org/2004/11/fol/proposal

-- 
Please take notice of my new email address:
                              jos.debruijn@deri.org

Jos de Bruijn, http://homepage.uibk.ac.at/~c703239/
+43 512 507 6475    
                              jos.debruijn@deri.org

Digital Enterprise Research Institute (DERI)
                               http://www.deri.org/

Received on Monday, 22 November 2004 12:01:36 UTC