W3C home > Mailing lists > Public > public-rif-wg@w3.org > August 2008

safety and external predicates

From: Axel Polleres <axel.polleres@deri.org>
Date: Tue, 12 Aug 2008 17:05:16 +0100
Message-ID: <48A1B4BC.2090209@deri.org>
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.

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.

3. R. Topor. Safe database queries with arithmetic relations (1991)
Proc. 14th Australian Computer Science Conf 

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:52 UTC