rdf-n3 0.0.1

data/spec/rdfcore/xmlbase/test013.nt

@@ -0,0 +1,15 @@
+#
+# Copyright World Wide Web Consortium, (Massachusetts Institute of
+# Technology, Institut National de Recherche en Informatique et en
+# Automatique, Keio University).
+#
+# All Rights Reserved.
+#
+# Please see the full Copyright clause at
+# <http://www.w3.org/Consortium/Legal/copyright-software.html>
+# 
+# $Id: test013.nt,v 1.1 2002/03/08 12:21:41 dajobe Exp $
+#
+#####################################################################
+<http://example.org/dir/file> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/type> .
+<http://example.org/dir/file#foo> <http://example.org/value> <http://example.org/dir/relpath> .

data/spec/rdfcore/xmlbase/test013.rdf

@@ -0,0 +1,28 @@
+<?xml version="1.0"?>
+
+<!--
+  Copyright World Wide Web Consortium, (Massachusetts Institute of
+  Technology, Institut National de Recherche en Informatique et en
+  Automatique, Keio University).
+ 
+  All Rights Reserved.
+ 
+  Please see the full Copyright clause at
+  <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+  Description: With an xml:base with fragment the fragment is ignored.
+  Author: Jeremy Carroll (jjc@hpl.hp.com)
+
+  $Id: test013.rdf,v 1.1 2002/03/08 12:21:41 dajobe Exp $
+-->
+
+<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+         xmlns:eg="http://example.org/"
+         xml:base="http://example.org/dir/file#frag">
+
+ <eg:type rdf:about="" />
+ <rdf:Description rdf:ID="foo" >
+   <eg:value rdf:resource="relpath" />
+ </rdf:Description>
+
+</rdf:RDF>

data/spec/rdfcore/xmlbase/test014.nt

@@ -0,0 +1,15 @@
+#
+# Copyright World Wide Web Consortium, (Massachusetts Institute of
+# Technology, Institut National de Recherche en Informatique et en
+# Automatique, Keio University).
+#
+# All Rights Reserved.
+#
+# Please see the full Copyright clause at
+# <http://www.w3.org/Consortium/Legal/copyright-software.html>
+# 
+# $Id: test014.nt,v 1.2 2002/11/15 11:45:42 jgrant Exp $
+#
+#####################################################################
+<http://example.org/dir/file#frag> <http://example.org/value> "v" .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test014.rdf#frag> <http://example.org/value> "v" .

data/spec/rdfcore/xmlbase/test014.rdf

@@ -0,0 +1,28 @@
+<?xml version="1.0"?>
+
+<!--
+  Copyright World Wide Web Consortium, (Massachusetts Institute of
+  Technology, Institut National de Recherche en Informatique et en
+  Automatique, Keio University).
+ 
+  All Rights Reserved.
+ 
+  Please see the full Copyright clause at
+  <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+  Description: two identical rdf:ID's are allowed, as long as they
+               refer to different resources.
+  Author: Jeremy Carroll (jjc@hpl.hp.com)
+
+  $Id: test014.rdf,v 1.1 2002/03/08 12:21:41 dajobe Exp $
+-->
+
+<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+         xmlns:eg="http://example.org/"
+         >
+
+ <rdf:Description xml:base="http://example.org/dir/file"
+                rdf:ID="frag" eg:value="v" />
+ <rdf:Description rdf:ID="frag" eg:value="v" />
+
+</rdf:RDF>

data/spec/rdfcore/xmlsch-02/test001.rdf

@@ -0,0 +1,34 @@
+<?xml version="1.0"?>
+
+<!--
+  Copyright World Wide Web Consortium, (Massachusetts Institute of
+  Technology, European Research Consortium for Informatics and
+  Mathematics, Keio University).
+ 
+  All Rights Reserved.
+ 
+  Please see the full Copyright clause at
+  <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+  Description: the typed literal in this file is well-formed.
+
+  Related issue:  
+
+   http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02
+
+  Author: Jeremy Carroll
+
+  $Id: test001.rdf,v 1.1 2003/05/12 20:07:01 jcarroll Exp $
+
+-->
+
+<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+         xmlns:eg="http://example.org/">
+
+
+  <rdf:Description rdf:about="http://www.example.org/a">
+    <eg:prop rdf:datatype="http://www.w3.org/2001/XMLSchema#int">3</eg:prop>
+  </rdf:Description>
+
+</rdf:RDF>
+

data/spec/rdfcore/xmlsch-02/test002.rdf

@@ -0,0 +1,34 @@
+<?xml version="1.0"?>
+
+<!--
+  Copyright World Wide Web Consortium, (Massachusetts Institute of
+  Technology, European Research Consortium for Informatics and
+  Mathematics, Keio University).
+ 
+  All Rights Reserved.
+ 
+  Please see the full Copyright clause at
+  <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+  Description: the typed literal in this file is not well-formed.
+
+  Related issue:  
+
+   http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02
+
+  Author: Jeremy Carroll
+
+  $Id: test002.rdf,v 1.3 2003/05/12 20:12:03 jcarroll Exp $
+
+-->
+
+<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+         xmlns:eg="http://example.org/">
+
+
+  <rdf:Description rdf:about="http://www.example.org/a">
+    <eg:prop rdf:datatype="http://www.w3.org/2001/XMLSchema#int"> 3 </eg:prop>
+  </rdf:Description>
+
+</rdf:RDF>
+

data/spec/rdfcore/xmlsch-02/test003.rdf

@@ -0,0 +1,37 @@
+<?xml version="1.0"?>
+
+<!--
+  Copyright World Wide Web Consortium, (Massachusetts Institute of
+  Technology, European Research Consortium for Informatics and
+  Mathematics, Keio University).
+ 
+  All Rights Reserved.
+ 
+  Please see the full Copyright clause at
+  <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+  Description: eg:prop has a literal value.
+
+  Related issue:  
+
+   http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02
+
+  Author: Jeremy Carroll
+
+  $Id: test003.rdf,v 1.1 2003/05/12 20:07:01 jcarroll Exp $
+
+-->
+
+<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+         xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
+         xmlns:eg="http://example.org/">
+
+
+  <rdf:Description rdf:about="http://www.example.org/a">
+    <eg:prop>
+        <rdfs:Literal/>
+    </eg:prop>
+  </rdf:Description>
+
+</rdf:RDF>
+

data/spec/spec.opts

@@ -0,0 +1 @@
+--colour

data/spec/spec_helper.rb

@@ -0,0 +1,11 @@
+$:.unshift(File.join(File.dirname(__FILE__), '..', 'lib'))
+$:.unshift File.dirname(__FILE__)
+
+require 'rubygems'
+require 'spec'
+require 'rdf/n3'
+require 'rdf/spec'
+
+Spec::Runner.configure do |config|
+  config.include(RDF::Spec::Matchers)
+end

data/spec/swap_helper.rb

@@ -0,0 +1,136 @@
+require 'matchers'
+
+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__), 'swap_test')
+    
+    attr_accessor :about
+    attr_accessor :approval
+    attr_accessor :conclusionDocument
+    attr_accessor :data
+    attr_accessor :description
+    attr_accessor :discussion
+    attr_accessor :document
+    attr_accessor :entailmentRules
+    attr_accessor :inputDocument
+    attr_accessor :issue
+    attr_accessor :name
+    attr_accessor :outputDocument
+    attr_accessor :premiseDocument
+    attr_accessor :rdf_type
+    attr_accessor :status
+    attr_accessor :warning
+    attr_accessor :parser
+    
+    @@test_cases = []
+    
+    def initialize(triples)
+      triples.each do |statement|
+        next if statement.subject.is_a?(BNode)
+#        self.about ||= statement.subject
+#        self.name ||= statement.subject.short_name
+        
+        if statement.is_type?
+          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(/^.*swap\/test/, TEST_DIR))
+          if statement.predicate.short_name == "inputDocument"
+            self.about ||= statement.object
+            self.name ||= statement.object.short_name
+          end
+        elsif self.respond_to?("#{statement.predicate.short_name}=")
+          self.send("#{statement.predicate.short_name}=", statement.object.to_s)
+        end
+      end
+    end
+    
+    def inspect
+      "[Test Case " + %w(
+        about
+        name
+        inputDocument
+        outputDocument
+        issue
+        status
+        approval
+        description
+        discussion
+        issue
+        warning
+      ).map {|a| v = self.send(a); "#{a}='#{v}'" if v}.compact.join(", ") +
+      "]"
+    end
+    
+    def compare; :graph; end
+    
+    # Read in file, and apply modifications reference either .html or .xhtml
+    def input
+      File.read(inputDocument)
+    end
+
+    def output
+      outputDocument && File.read(outputDocument)
+    end
+
+    # Run test case, yields input for parser to create triples
+    def run_test
+      rdf_string = input
+
+      # Run
+      @parser = RdfXmlParser.new
+      yield(rdf_string, @parser)
+
+      @parser.graph.should be_equivalent_graph(output, self) if output
+    end
+
+    def trace
+      @parser.debug.to_a.join("\n")
+    end
+    
+    def self.parse_test_cases
+      return unless @@test_cases.empty?
+      
+      @@positive_parser_tests = []
+      @@negative_parser_tests = []
+      @@positive_entailment_tests = []
+      @@negative_entailment_tests = []
+
+      manifest = File.read(File.join(TEST_DIR, "n3parser.tests"))
+      parser = Parser.new
+      begin
+        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
+      graph = parser.graph
+      
+      # Group by subject
+      test_hash = graph.triples.inject({}) do |hash, st|
+        a = hash[st.subject] ||= []
+        a << st
+        hash
+      end
+      
+      @@test_cases = test_hash.values.map {|statements| TestCase.new(statements)}.compact.sort_by{|t| t.about.is_a?(URIRef) ? t.about.uri.to_s : "zzz"}
+      
+      @@test_cases.each do |tc|
+        next unless tc.status == "APPROVED"
+        case tc.rdf_type
+        when "PositiveParserTest" then @@positive_parser_tests << tc
+        when "NegativeParserTest" then @@negative_parser_tests << tc
+        when "PositiveEntailmentTest" then @@positive_entailment_tests << tc
+        when "NegativeEntailmentTest" then @@negative_entailment_tests << tc
+        end
+      end
+    end
+    def self.test_cases;                parse_test_cases; @@test_cases; end
+    def self.positive_parser_tests;     parse_test_cases; @@positive_parser_tests; end
+    def self.negative_parser_tests;     parse_test_cases; @@negative_parser_tests; end
+    def self.positive_entailment_tests; parse_test_cases; @@positive_entailment_tests; end
+    def self.negative_entailment_tests; parse_test_cases; @@negative_entailment_tests; end
+  end
+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>
+