safety and external predicates

Two pointers here... the notion of strong safety in hex-programs [1,2] 
and Topor's considerations on  safe database queries with arithmetics 
[3] (cudos jos for the latter one)


1. R. Schindlauer. Answer-Set Programming for the Semantic Web. PhD 
thesis, Vienna University of Technology, Dec. 2006.
http://www.kr.tuwien.ac.at/staff/roman/papers/thesis.pdf

2.  Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans 
Tompits. Effective Integration of Declarative Rules with External 
Evaluations for Semantic Web Reasoning. In York Sure and John Domingue, 
editors, Proceedings of the 3rd European Conference on Semantic Web 
(ESWC 2006), Budva, Montenegro, number 4011 in Lecture Notes in Computer 
Science (LNCS), pages 273-287. Springer, June 2006.
http://www.springerlink.com/content/f0x23wx142141v44/

3. R. Topor. Safe database queries with arithmetic relations (1991)
Proc. 14th Australian Computer Science Conf 
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.4845


-- 
Dr. Axel Polleres, Digital Enterprise Research Institute (DERI)
email: axel.polleres@deri.org  url: http://www.polleres.net/

Everything is possible:
rdfs:subClassOf rdfs:subPropertyOf rdfs:Resource.
rdfs:subClassOf rdfs:subPropertyOf rdfs:subPropertyOf.
rdf:type rdfs:subPropertyOf rdfs:subClassOf.
rdfs:subClassOf rdf:type owl:SymmetricProperty.

Received on Tuesday, 12 August 2008 16:06:01 UTC