JCSS
2010
13 years 3 months ago
2010
In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in...
WWW
2006
ACM
14 years 5 months ago
2006
ACM
Classical logics and Datalog-related logics have both been proposed as underlying formalisms for the Semantic Web. Although these two different formalism groups have some commonal...