- From: Axel Polleres <axel.polleres@deri.org>
- Date: Tue, 12 Aug 2008 17:05:16 +0100
- To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
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