Fwd: SILK implementation report for SPARQL 1.1 RIF Core Entailment

Archiving.  This should have gone to public-rdf-dawg-comments not 
team-sparql-chairs.

      -- Sandro


-------- Original Message --------
Return-path: 	<mdean@bbn.com>
Envelope-to: 	sandro@jay.w3.org
Delivery-date: 	Sat, 08 Dec 2012 20:42:44 -0500
Received: 	from maggie.w3.org ([128.30.52.39]) by jay.w3.org with esmtps 
(TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.69) (envelope-from 
<mdean@bbn.com>) id 1ThVum-00062h-Q0 for sandro@jay.w3.org; Sat, 08 Dec 
2012 20:42:44 -0500
Received: 	from smtp.bbn.com ([128.33.0.80]) by maggie.w3.org with 
esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.72) (envelope-from 
<mdean@bbn.com>) id 1ThVul-0000YG-Ij; Sun, 09 Dec 2012 01:42:44 +0000
Received: 	from [128.89.254.148] (port=49367) by smtp.bbn.com with esmtp 
(Exim 4.77 (FreeBSD)) (envelope-from <mdean@bbn.com>) id 
1ThVuK-000NCM-JA; Sat, 08 Dec 2012 20:42:16 -0500
Subject: 	SILK implementation report for SPARQL 1.1 RIF Core Entailment
Mime-Version: 	1.0 (Apple Message framework v1283)
Content-Type: 	multipart/signed; 
boundary="Apple-Mail=_5D8F0296-54ED-42C1-B120-D975986690FC"; 
protocol="application/pkcs7-signature"; micalg=sha1
From: 	Mike Dean <mdean@bbn.com>
In-Reply-To: 	<1E7BF3339E534A1D827EB68962CCD7C6@gmail.com>
Date: 	Sat, 8 Dec 2012 20:42:15 -0500
Cc: 	Benjamin Grosof <BenjaminG@vulcan.com>, "Michael Kifer 
(kifer@cs.sunysb.edu)" <kifer@cs.sunysb.edu>
Message-Id: 	<3192505F-EAB4-42FB-80DE-C9A985081651@bbn.com>
References: 	<ED3DDA08015C40B3B6A584FEF2C041A6@gmail.com> 
<50BE1504.6030909@w3.org> <A9DFF652-75A2-4A8B-A0BB-0D71A49AFAEF@bbn.com> 
<64589E1A-B518-4DB9-ADAB-41828EC3C8DE@bbn.com> 
<1E7BF3339E534A1D827EB68962CCD7C6@gmail.com>
To: 	Chime Ogbuji <chimezie@gmail.com>, Sandro Hawke <sandro@w3.org>, 
team-sparql-chairs@w3.org
X-Mailer: 	Apple Mail (2.1283)
Received-SPF: 	pass client-ip=128.33.0.80; envelope-from=mdean@bbn.com; 
helo=smtp.bbn.com
X-W3C-Hub-Spam-Status: 	No, score=-5.1
X-W3C-Hub-Spam-Report: 	AWL=-0.880, BAYES_00=-1.9, 
RCVD_IN_DNSWL_MED=-2.3, RP_MATCHES_RCVD=-0.024, SPF_PASS=-0.001
X-W3C-Scan-Sig: 	maggie.w3.org 1ThVul-0000YG-Ij 
2efb5638e603208a2d213c336bfd4e1b



This is an implementation report for SPARQL 1.1 RIF Core Entailment using the SILK rule engine [1].

SILK passes the following entailment tests

   rif01
   rif03
   rif04
   rif05
   rif06

with the following caveats that don't directly affect RIF Core Entailment via SPARQL 1.1:

   SILK doesn't currently implement RIF Import.  I just loaded the referenced files explicitly.

   SILK doesn't currently implement RIF builtins.  I provided a stub for <http://www.w3.org/2007/rif-builtin-predicate#iri-string>(?z, ?x))

   SILK doesn't currently handle prefixes containing ., such as the j.0 generated by Jena.  I changed the prefix to remove the .

Thanks!

	Mike

[1] http://silk.semwebcentral.org