rdf_context 0.4.8 → 0.5.0

data/spec/sqlite3_store_spec.rb

@@ -3,8 +3,9 @@ require File.join(File.dirname(__FILE__), 'store_helper')
 
 describe "SQLite3 Store" do
   before(:all) do
-    Dir.mkdir(File.dirname(__FILE__) + "/tmp")
-    @dbfile = File.join(File.dirname(__FILE__), "tmp", "sqlite3.db")
+    FileUtils.rm_rf(TMP_DIR)
+    Dir.mkdir(TMP_DIR)
+    @dbfile = File.join(TMP_DIR, "sqlite3.db")
     @identifier = URIRef.new("http://identifier")
   end
   
@@ -13,11 +14,11 @@ describe "SQLite3 Store" do
   end
   
   after(:all) do
-    FileUtils.rm_rf(File.dirname(__FILE__) + "/tmp")
+    FileUtils.rm_rf(TMP_DIR)
   end
   
   after(:each) do
-    FileUtils.rm(@dbfile) if File.exists?(@dbfile)
+    FileUtils.rm(@dbfile) if File.file?(@dbfile)
   end
   
   subject { @store }
@@ -51,7 +52,7 @@ describe "SQLite3 Store" do
     subject.contexts(triple).length.should == 1
   end
   
-  it "should find contexts patern triple" do
+  it "should find contexts pattern triple" do
     triple = Triple.new("http://foo", RDF_TYPE, "http://baz")
     subject.add(triple, nil)
     subject.contexts(Triple.new(nil, nil, nil)).length.should == 1

data/spec/store_helper.rb

@@ -1,3 +1,4 @@
+# coding: utf-8
 shared_examples_for "Store" do
   before(:all) do
     @ex = Namespace.new("http://example.org/", "ex")
@@ -14,6 +15,13 @@ shared_examples_for "Store" do
     subject.size.should == 2
   end
   
+  it "should allow you to add triples with bnodes" do
+    subject.add(Triple.new(BNode.new, @ex.b, @ex.c), nil)
+    subject.add(Triple.new(@ex.a, BNode.new, @ex.c), nil)
+    subject.add(Triple.new(@ex.a, @ex.b, BNode.new), nil)
+    subject.size.should == 3
+  end
+  
   it "should allow you to create and bind Namespace objects" do
     foaf = Namespace.new("http://xmlns.com/foaf/0.1/", "foaf")
     subject.bind(foaf).should == foaf
@@ -57,7 +65,7 @@ shared_examples_for "Store" do
       subject.contains?(Triple.new(@ex.john, @foaf.knows, @ex.jane), nil).should be_true
     end
     
-    it "should contain different triple paterns" do
+    it "should contain different triple patterns" do
       [
         Triple.new(URIRef.new("http://foo"),URIRef.new("http://bar"),URIRef.new("http://baz")),
         Triple.new(URIRef.new("http://foo"),URIRef.new("http://bar"),Literal.untyped("baz")),

data/spec/string_hacks_spec.rb

@@ -1,3 +1,4 @@
+# coding: utf-8
 require File.join(File.dirname(__FILE__), 'spec_helper')
 describe "String RDF encoding" do
   {
@@ -18,4 +19,17 @@ describe "String RDF encoding" do
       encoded.rdf_unescape.should == raw
     end
   end
+  
+  # 16-bit string encodings
+  {
+    "16-bit:\u{15678}another" => '16-bit:\\U00015678another',
+  }.each_pair do |raw, encoded|
+    specify "'#{raw}' should escape to '#{encoded}'" do
+      raw.rdf_escape.should == encoded
+    end
+
+    specify "'#{encoded}' should unescape to '#{raw}'" do
+      encoded.rdf_unescape.should == raw
+    end
+  end if defined?(::Encoding)
 end

data/spec/{rdfxml_helper.rb → swap_helper.rb}

@@ -1,14 +1,11 @@
 require 'matchers'
 
-module RdfXMLHelper
+module SWAPHelper
   # Class representing test cases in format http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#
   class TestCase
     include Matchers
     
-    TEST_DIR = File.join(File.dirname(__FILE__), 'rdfcore')
-    NT_DIR = File.join(File.dirname(__FILE__), 'rdfa-triples')
-    BASE_MANIFEST_URL = "http://rdfa.digitalbazaar.com/test-suite/"
-    BASE_TEST_CASE_URL = "#{BASE_MANIFEST_URL}test-cases/"
+    TEST_DIR = File.join(File.dirname(__FILE__), 'swap_test')
     
     attr_accessor :about
     attr_accessor :approval
@@ -40,7 +37,7 @@ module RdfXMLHelper
           self.rdf_type = statement.object.short_name
         elsif statement.predicate.short_name =~ /Document\Z/i
           #puts "#{statement.predicate.short_name}: #{statement.object.inspect}"
-          self.send("#{statement.predicate.short_name}=", statement.object.to_s.sub(/^.*rdfcore/, TEST_DIR))
+          self.send("#{statement.predicate.short_name}=", statement.object.to_s.sub(/^.*swap\/test/, TEST_DIR))
           if statement.predicate.short_name == "inputDocument"
             self.about ||= statement.object
             self.name ||= statement.object.short_name
@@ -68,6 +65,8 @@ module RdfXMLHelper
       "]"
     end
     
+    def compare; :graph; end
+    
     # Read in file, and apply modifications reference either .html or .xhtml
     def input
       File.read(inputDocument)
@@ -100,10 +99,10 @@ module RdfXMLHelper
       @@positive_entailment_tests = []
       @@negative_entailment_tests = []
 
-      manifest = File.read(File.join(TEST_DIR, "Manifest.rdf"))
-      parser = RdfXmlParser.new
+      manifest = File.read(File.join(TEST_DIR, "n3parser.tests"))
+      parser = Parser.new
       begin
-        parser.parse(manifest, "http://www.w3.org/2000/10/rdf-tests/rdfcore/Manifest.rdf")
+        parser.parse(manifest, "http://www.w3.org/2000/10/swap/test/n3parser.tests")
       rescue
         raise "Parse error: #{$!}\n\t#{parser.debug.join("\t\n")}\n\n"
       end

data/spec/swap_spec.rb

@@ -0,0 +1,77 @@
+require File.join(File.dirname(__FILE__), 'spec_helper')
+include RdfContext
+
+describe "N3 parser" do
+  # W3C N3 Test suite from http://www.w3.org/2000/10/swap/test/n3parser.tests
+  describe "w3c swap tests" do
+    require 'rdf_helper'
+
+    def self.positive_tests
+      RdfHelper::TestCase.positive_parser_tests(SWAP_TEST, SWAP_DIR) rescue []
+    end
+
+    def self.negative_tests
+      RdfHelper::TestCase.negative_parser_tests(SWAP_TEST, SWAP_DIR) rescue []
+    end
+
+    # Negative parser tests should raise errors.
+    describe "positive parser tests" do
+      positive_tests.each do |t|
+        #next unless t.about.uri.to_s =~ /rdfms-rdf-names-use/
+        #next unless t.name =~ /11/
+        #puts t.inspect
+        specify "#{t.name}: #{t.about.uri.to_s} against #{t.outputDocument}" do
+          begin
+            t.run_test do |rdf_string, parser|
+              t.name.should_not == "n3_10012"  # Too many bnodes makes graph compare unfeasable
+              parser.parse(rdf_string, t.about.uri.to_s, :strict => true, :debug => [])
+            end
+          rescue #Spec::Expectations::ExpectationNotMetError => e
+            if %w(n3_10003 n3_10004).include?(t.name)
+              pending("@forAll/@forEach not yet implemented")
+            elsif %w(n3_10007 n3_10014 n3_10015 n3_10017).include?(t.name)
+              pending("formulae not yet implemented")
+            elsif %w(n3_10012).include?(t.name)
+              pending("check visually, graph compare times too long")
+            elsif %w(n3_10010).include?(t.name)
+              pending("Not supported in Ruby 1.8")
+            else
+              raise
+            end
+          end
+        end
+      end
+    end
+
+    describe "negative parser tests" do
+      negative_tests.each do |t|
+        #next unless t.about.uri.to_s =~ /rdfms-empty-property-elements/
+        #next unless t.name =~ /1/
+        #puts t.inspect
+        specify "#{t.name}: #{t.about.uri.to_s}" do
+          t.run_test do |rdf_string, parser|
+            if !defined?(::Encoding) && %w(n3_10019 n3_10020).include?(t.name)
+              pending("Not supported in Ruby 1.8")
+              return
+            end
+            begin
+              lambda do
+                parser.parse(rdf_string, t.about.uri.to_s, :strict => true, :debug => [])
+              end.should raise_error(RdfException)
+            rescue Spec::Expectations::ExpectationNotMetError => e
+              if %w().include?(t.name)
+                pending("@forAll/@forEach not yet implemented")
+              elsif %w(n3_10019 n3_10020 n3_20005).include?(t.name.to_s)
+                pending("formulae not yet implemented")
+              elsif %w(n3_20000).include?(t.name)
+                pending("figure out how to tell that these are errors")
+              else
+                raise
+              end
+            end
+          end
+        end
+      end
+    end
+  end
+end

data/spec/swap_test/animal.rdf

@@ -0,0 +1,17 @@
+<!--  A simple RDF file for parser testing -->
+<rdf:RDF
+	xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"  
+	xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+	xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
+	xmlns="http://www.daml.org/2000/12/daml+oil#">
+    <rdfs:Class rdf:ID="Animal">
+      <rdfs:label>Animal</rdfs:label>
+      <restrictedBy>
+        <Restriction>
+          <onProperty rdf:resource="#parent"/>
+          <cardinality>2</cardinality>
+        </Restriction>
+      </restrictedBy>
+    </rdfs:Class>
+</rdf:RDF>
+

data/spec/swap_test/anon-prop.n3

@@ -0,0 +1,14 @@
+# $Id: anon-prop.n3,v 1.1 2001-02-26 15:22:30 connolly Exp $
+#
+# I discovered a bug in cwm.py while writing
+# http://www.w3.org/2001/02pd/gv.n3 (rev/date)
+# at or before gv.n3,v 1.3 2001/02/22 06:17:55
+#
+# notation3.py reads it in and spits out just what I'd expect
+# (by naming the anonymous node and using log:forSome)
+# but running it thru cwm.py -think causes the property
+# of the property to get lost altogether, and the anonymous
+# property gets a name without an existential quantifier.
+
+<#anySubj> [ <#propProp> "red" ] <#anyObj>.
+

data/spec/swap_test/anonymous_loop.n3

@@ -0,0 +1,2 @@
+_:a :z _:b .
+_:b :y _:a .

data/spec/swap_test/contexts.n3

@@ -0,0 +1,16 @@
+# Test data in notation3 http://www.w3.org/DesignIssues/Notation3.html
+#    
+@prefix u: <http://www.example.org/utilities#> .
+@prefix : <#> .
+
+:assumption = { :fred u:knows :john .
+                :john u:knows :mary .} .
+
+:conclusion = { :fred u:knows :mary . } .
+
+# The empty context is trivially true.
+# Check that we can input it and output it!
+
+:trivialTruth = { }.
+
+# ENDS

data/spec/swap_test/daml-pref.n3

@@ -0,0 +1,10 @@
+# Suitable prefixes for DAML-ONT etc
+
+@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix s: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix daml:  <http://www.daml.org/2001/03/daml-ont#> .
+@prefix dpo:  <http://www.daml.org/2001/03/daml+oil#> .
+@prefix ex:   <http://www.daml.org/2001/03/daml-ex#> .
+@prefix log:  <http://www.w3.org/2000/10/swap/log#> .
+
+

data/spec/swap_test/i18n/hiragana.n3

@@ -0,0 +1,22 @@
+# 
+# TEST  of unicode invariou splaces.
+#  Note:  D<C3><BC>rst is the utf-8 encodeing
+#
+#   Base was: file:/devel/WWW/2000/10/swap/test/i18n/umlaut.rdf
+     @prefix s: <http://www.w3.org/2000/01/rdf-schema#> .
+     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+     @prefix : <#>.
+
+      [ s:label "Martin J D\u00fcrst" ; :script "ひらがな" ].
+
+ []  s:label "A test with a non-ascii qname"; :related :ひらがな.
+ []  s:label "A test with a non-ascii fragid"; :related <#Dürst>.
+    
+
+ [] s:label "A test with a percent-encoded unicode char in an IRI";
+	:related  <#D%C3%BCrst>.
+
+
+<#D%C3%BCrst>  a  "URI percent ^encoded as C3, BC".
+<#Dürst>       a  "URI straight in UTF8".
+#ENDS

data/spec/swap_test/i18n/n3string.n3

@@ -0,0 +1,4 @@
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+
+
+{{:㐭 :b :c} log:n3String ?x} => {?x a :interesting}.

data/spec/swap_test/list/itemType.rdf

@@ -0,0 +1,12 @@
+<rdf:RDF
+  xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
+  xmlns='http://example/palmagent/danger#'>
+<event rdf:about='#2414'>
+  <reminders rdf:parseType='Collection'>
+    <reminders_item>
+      <seconds_prior rdf:datatype='http://www.w3.org/2001/XMLSchema#integer'>432000</seconds_prior>
+    </reminders_item>
+    <rdf:Description rdf:about="http://example/foo#"/>
+  </reminders>
+</event>
+</rdf:RDF>

data/spec/swap_test/lists-simple.n3

@@ -0,0 +1,40 @@
+# Test list syntax
+#
+#  With no {} so it can be translated in DAML easily
+#
+
+@prefix t: <http://example.com/test#> .
+@prefix : <http://example.com/test#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+
+# This is cheating a bit - in case output of
+# first and rest or equivalentTo is needed.
+
+@prefix dpo: <http://www.daml.org/2001/03/daml+oil#>.
+@prefix owl: <http://www.w3.org/2002/07/owl#>.
+
+
+ :a_threebrackets = ( ( ( :fff ) ) ) .
+
+[ :anonVerb12 :anonObj12 ] :verb12 :obj12.
+
+:threeItems = ( :b :c :d ) .
+
+:nested =( :first :second ( :left3 :right3 ) :fourth )  .
+
+:emptyList = ( ) .
+
+:listOf2Empties = (()()) .
+
+:twoAnons = ([a :mother][a :father]).
+
+() :verb0 :object0.
+( "subj1" ) :verb1 :object1.
+( "subj2a" "subj2b" ) :verb2 :object2.
+
+# Supressed: - see lists.n3 for version with this in
+# :twoFormulae = ({:a a :mother} {:b a :father}).
+
+
+#ENDS
+

data/spec/swap_test/lists.n3

@@ -0,0 +1,35 @@
+# Test list syntax
+#
+
+@prefix t: <test#> .
+@prefix : <test#> .
+@prefix ont: <http://www.w3.org/2000/10/swap/log#> .
+
+
+
+:threeItems = ( :b :c :d ) .
+
+:nested =( :first :second ( :left3 :right3 ) :fourth )  .
+
+:emptyList = ( ) .
+
+:listOf2Empties = (()()) .
+
+:twoAnons = ([a :mother][a :father]).
+
+() :verb0 :object0.
+( "subj1" ) :verb1 :object1.
+( "subj2a" "subj2b" ) :verb2 :object2.
+
+
+# N3 only:
+
+( 1 ) <#linksEqualLists> ( 1 ) .
+
+
+
+:twoFormulae = ({:a a :mother} {:b a :father}).
+
+
+#ENDS
+

data/spec/swap_test/n3/n3parser.tests_n3_10001.nt

@@ -0,0 +1,3 @@
+    
+    <http://www.w3.org/2000/10/swap/test/syntax/a>     <http://www.w3.org/2000/10/swap/test/syntax/b> <http://www.w3.org/2000/10/swap/test/syntax/c> .
+    

data/spec/swap_test/n3/n3parser.tests_n3_10002.nt

@@ -0,0 +1,7 @@
+    
+    <http://example.com/foo#a>     <http://example.com/foo#b> <http://example.com/foo#c> .
+    
+    <http://example.com/foo#hyphen-ated>     <http://example.com/foo#dot.ted> <http://example.com/foo#hyphen-and.dot> .
+    
+    <http://example.com/foo#minus-_underscore>     <http://example.com/foo#under_score> <http://example.com/foo#underscore_-minus> .
+    

data/spec/swap_test/n3/n3parser.tests_n3_10003.nt

@@ -0,0 +1,3 @@
+    
+    _:b     _:a _:c .
+    

data/spec/swap_test/n3/n3parser.tests_n3_10004.nt

@@ -0,0 +1,119 @@
+    
+    _:g39     <http://www.w3.org/2002/07/owl#oneOf> _:li3 .
+    
+    _:li3     <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "http://www.w3.org/2000/10/swap/test/syntax/foo.n3#a" .
+    
+    _:li3     <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li2 .
+    
+    _:li2     <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "http://www.w3.org/2000/10/swap/test/syntax/foo.n3#b" .
+    
+    _:li2     <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li1 .
+    
+    _:li1     <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "http://www.w3.org/2000/10/swap/test/syntax/foo.n3#c" .
+    
+    _:li1     <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+    
+    _:g40     <http://www.w3.org/2002/07/owl#oneOf> _:li6 .
+    
+    _:li6     <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "http://www.w3.org/2000/10/swap/test/syntax/foo.n3#x" .
+    
+    _:li6     <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li5 .
+    
+    _:li5     <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "http://www.w3.org/2000/10/swap/test/syntax/foo.n3#y" .
+    
+    _:li5     <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li4 .
+    
+    _:li4     <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "http://www.w3.org/2000/10/swap/test/syntax/foo.n3#z" .
+    
+    _:li4     <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+    
+    _:g41     <http://www.w3.org/2002/07/owl#oneOf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+    
+    _:g42     <http://www.w3.org/2002/07/owl#oneOf> _:li8 .
+    
+    _:li8     <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:g14 .
+    
+    _:li8     <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li7 .
+    
+    _:li7     <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:g18 .
+    
+    _:li7     <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+    
+    _:g43     <http://www.w3.org/2002/07/owl#oneOf> _:li9 .
+    
+    _:li9     <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:g27 .
+    
+    _:li9     <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+    
+    _:g44     <http://www.w3.org/2002/07/owl#oneOf> _:li10 .
+    
+    _:li10     <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:g10 .
+    
+    _:li10     <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+    
+    _:b     _:a _:c .
+    
+    _:g7     <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/swap/log#Truth> .
+    
+    _:g7     <http://www.w3.org/2004/06/rei#existentials> _:g39 .
+    
+    _:g7     <http://www.w3.org/2004/06/rei#statements> _:g44 .
+    
+    _:g7     <http://www.w3.org/2004/06/rei#universals> _:g40 .
+    
+    _:g10     <http://www.w3.org/2004/06/rei#object> _:g24 .
+    
+    _:g10     <http://www.w3.org/2004/06/rei#predicate> _:g23 .
+    
+    _:g10     <http://www.w3.org/2004/06/rei#subject> _:g11 .
+    
+    _:g11     <http://www.w3.org/2004/06/rei#existentials> _:g41 .
+    
+    _:g11     <http://www.w3.org/2004/06/rei#statements> _:g42 .
+    
+    _:g11     <http://www.w3.org/2004/06/rei#universals> _:g41 .
+    
+    _:g14     <http://www.w3.org/2004/06/rei#object> _:g17 .
+    
+    _:g14     <http://www.w3.org/2004/06/rei#predicate> _:g16 .
+    
+    _:g14     <http://www.w3.org/2004/06/rei#subject> _:g15 .
+    
+    _:g15     <http://www.w3.org/2004/06/rei#uri> "http://www.w3.org/2000/10/swap/test/syntax/foo.n3#x" .
+    
+    _:g16     <http://www.w3.org/2004/06/rei#uri> "http://www.w3.org/2000/10/swap/test/syntax/foo.n3#mother" .
+    
+    _:g17     <http://www.w3.org/2004/06/rei#uri> "http://www.w3.org/2000/10/swap/test/syntax/foo.n3#y" .
+    
+    _:g18     <http://www.w3.org/2004/06/rei#object> _:g21 .
+    
+    _:g18     <http://www.w3.org/2004/06/rei#predicate> _:g20 .
+    
+    _:g18     <http://www.w3.org/2004/06/rei#subject> _:g19 .
+    
+    _:g19     <http://www.w3.org/2004/06/rei#uri> "http://www.w3.org/2000/10/swap/test/syntax/foo.n3#y" .
+    
+    _:g20     <http://www.w3.org/2004/06/rei#uri> "http://www.w3.org/2000/10/swap/test/syntax/foo.n3#sister" .
+    
+    _:g21     <http://www.w3.org/2004/06/rei#uri> "http://www.w3.org/2000/10/swap/test/syntax/foo.n3#z" .
+    
+    _:g23     <http://www.w3.org/2004/06/rei#uri> "http://www.w3.org/2000/10/swap/log#implies" .
+    
+    _:g24     <http://www.w3.org/2004/06/rei#existentials> _:g41 .
+    
+    _:g24     <http://www.w3.org/2004/06/rei#statements> _:g43 .
+    
+    _:g24     <http://www.w3.org/2004/06/rei#universals> _:g41 .
+    
+    _:g27     <http://www.w3.org/2004/06/rei#object> _:g30 .
+    
+    _:g27     <http://www.w3.org/2004/06/rei#predicate> _:g29 .
+    
+    _:g27     <http://www.w3.org/2004/06/rei#subject> _:g28 .
+    
+    _:g28     <http://www.w3.org/2004/06/rei#uri> "http://www.w3.org/2000/10/swap/test/syntax/foo.n3#x" .
+    
+    _:g29     <http://www.w3.org/2004/06/rei#uri> "http://www.w3.org/2000/10/swap/test/syntax/foo.n3#aunt" .
+    
+    _:g30     <http://www.w3.org/2004/06/rei#uri> "http://www.w3.org/2000/10/swap/test/syntax/foo.n3#z" .
+