rdf-n3 0.0.1

data/spec/swap_test/syntax/neg-formula-predicate.n3

@@ -0,0 +1 @@
+:a {:b :c :d} :e .

data/spec/swap_test/syntax/neg-keywords3.n3

@@ -0,0 +1 @@
+@keywords prefix. :e prefix :f .

data/spec/swap_test/syntax/neg-literal-predicate.n3

@@ -0,0 +1 @@
+:a "hello" :c .

data/spec/swap_test/syntax/neg-single-quote.n3

@@ -0,0 +1 @@
+<#a> <#b> 'A single quoted string' . 

data/spec/swap_test/syntax/neg-thisadoc.n3

@@ -0,0 +1 @@
+@keywords this . @prefix : <#> . this :a :Doc .

data/spec/swap_test/syntax/no-last-nl.n3

@@ -0,0 +1,2 @@
+
+<a> <b> <c> .

data/spec/swap_test/syntax/numbers.n3

@@ -0,0 +1,26 @@
+# Test number literals and some datatypes
+
+2 <#is>  "The integer 2".
+
+00002 <#is>  "The integer 2 expressed with leading zeroes".
+
+-2 <#is>   "The integer -2".
+
+0 <#is>    "Zero".
+
+2.0 <#is>  "The number 2.0".
+
+2.0000 <#is>  "The number 2.0 expressed with extra trailing zeroes".
+
+#  2/3  <#is>  "The raional number 2/3".
+
+2.0e3 <#is>  "The double precision floating point 2.0e3".
+
+
+"Le chat"@fr <#is> "The french phrase 'Le chat'".
+
+"800/600"^^<http://example.com/types#rational>
+	<#is> "800/600 with datatype http://example.com/types#rational".
+
+#ends
+  

data/spec/swap_test/syntax/path1.n3

@@ -0,0 +1,23 @@
+# Test the cwm builtins
+
+#@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/2000/10/daml-ont#> .
+@prefix fam:  <http://www.daml.example.org/2001/03/fam#> .
+#@prefix ex:   <http://www.daml.org/2000/10/daml-ex#> .
+#@prefix log:  <http://www.w3.org/2000/10/swap/log#> .
+
+@prefix : <foo.n3#>.  # Local stuff
+@prefix foo: <foo.n3#>.  # Local stuff
+
+# Usage:   See t10.n3   
+#
+# Output should conclude all test* a :success and no failures.
+#
+
+
+  :albert!fam:mother fam:sister :auntieAnne .
+ 
+  :albert^fam:father fam:sister  :nieceBertha .
+
+#ends

data/spec/swap_test/syntax/path2.n3

@@ -0,0 +1,31 @@
+# Test the cwm path expressions
+
+#@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/2000/10/daml-ont#> .
+@prefix fam:  <http://www.daml.example.org/2001/03/fam#> .
+@prefix lang:   <http://www.daml.example.org/2000/10/lang#> .
+@prefix log:  <http://www.w3.org/2000/10/swap/log#> .
+@prefix math:  <http://www.w3.org/2000/10/swap/math#> .
+#@prefix  lang:  <http://www.w3.example.org/2000/10/swap/lang#> .
+
+@prefix : <foo.n3#>.  # Local stuff
+@prefix foo: <foo.n3#>.  # Local stuff
+
+
+
+  :albert!fam:mother :mentor!:inverse :auntieAnne .
+ 
+  :albert   :admires!:converse :grumpy.
+
+  ("1" "2")!math:sum a :THREE.
+
+  :x  s:label "Help!"^lang:eng, "foo"^lang:fr . # "Au seccours!"^lang:fr.
+
+# Can one put paths inside lists?
+#   yup.
+
+(  <a>!<b>  <c>^<d> ) <#relatedTo> ( <e>!<f>!<g> ) .
+
+
+#ends

data/spec/swap_test/syntax/qvars1.n3

@@ -0,0 +1,19 @@
+# Test the cwm quick variable expressions
+
+#@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/2000/10/daml-ont#> .
+#@prefix fam:  <http://www.daml.example.org/2001/03/fam#> .
+#@prefix lang:   <http://www.daml.example.org/2000/10/lang#> .
+#@prefix log:  <http://www.w3.org/2000/10/swap/log#> .
+#@prefix math:  <http://www.w3.org/2000/10/swap/math#> .
+#@prefix  lang:  <http://www.w3.example.org/2000/10/swap/lang#> .
+
+#@prefix : <foo.n3#>.  # Local stuff
+#@prefix foo: <foo.n3#>.  # Local stuff
+
+
+
+{ ?a <#mother> ?b; <#sister> ?c } => { ?b <#aunt> ?c }.
+
+#ends

data/spec/swap_test/syntax/qvars2.n3

@@ -0,0 +1,19 @@
+# Test the cwm quick variable expressions
+
+#@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/2000/10/daml-ont#> .
+#@prefix fam:  <http://www.daml.example.org/2001/03/fam#> .
+#@prefix lang:   <http://www.daml.example.org/2000/10/lang#> .
+#@prefix log:  <http://www.w3.org/2000/10/swap/log#> .
+#@prefix math:  <http://www.w3.org/2000/10/swap/math#> .
+#@prefix  lang:  <http://www.w3.example.org/2000/10/swap/lang#> .
+
+#@prefix : <foo.n3#>.  # Local stuff
+#@prefix foo: <foo.n3#>.  # Local stuff
+
+
+{ ?b <#aunt> ?c } <=
+{ [] <#parent> ?b; <#sister> ?c }.
+
+#ends

data/spec/swap_test/syntax/this-quantifiers.n3

@@ -0,0 +1,164 @@
+#  Test of interactions of qualifiers with log:includes
+#
+#  $Id: this-quantifiers.n3,v 1.1 2004-06-25 01:27:00 timbl Exp $
+#
+# Usage: cwm quantifiers.n3 -think -purge
+#  Should give 18 successes and no failures.
+#
+ 
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+
+@prefix : <#>.
+@prefix qu: <#>.
+
+
+# 
+# Basically,  forall x G(x) implies G(x) which implies forSome X G(x). 
+# log:includes should allow the stronger statement to "include" the weaker one.
+#
+{{ :foo :bar :baz } log:includes { this log:forSome :foo. :foo :bar :baz }}
+   log:implies { :testa2 a :success }. # Originally failed
+
+
+
+{{ this log:forSome :foo. :foo :bar :baz } log:includes {this log:forSome :foo. :foo :bar :baz }}
+  log:implies { :testb2 a :success }.
+
+{{ this log:forAll :foo. :foo :bar :baz } log:includes {this log:forSome :foo. :foo :bar :baz }}
+  log:implies { :testc2 a :success }.  # Originally failed
+
+
+
+{{ :foo :bar :baz } log:includes { :foo :bar :baz }}
+  log:implies { :testa1 a :success }.
+
+{{ this log:forSome :foo. :foo :bar :baz } log:includes { :foo :bar :baz }}
+  log:implies { :testb1 a :FAILURE }.    # Originally failed, STILL FAILS.
+
+{{ this log:forAll :foo. :foo :bar :baz } log:includes { :foo :bar :baz }}
+  log:implies { :testc1 a :success }.
+
+
+
+{{ :foo :bar :baz } log:includes {this log:forAll :foo. :foo :bar :baz }}
+   log:implies { :testa3 a :FAILURE }.
+
+{{ this log:forSome :foo. :foo :bar :baz } log:includes {this log:forAll :foo.  :foo :bar :baz }}
+  log:implies { :testb3 a :FAILURE }.
+
+{{ this log:forAll :foo. :foo :bar :baz } log:includes {this log:forAll :foo.  :foo :bar :baz }}
+  log:implies { :testc3 a :success }.
+
+
+#   Negative tests:
+
+
+
+{{ :foo :bar :baz } log:notIncludes { this log:forSome :foo. :foo :bar :baz }}
+   log:implies { :testa2n a :FAILURE }.# Originally failed
+
+{{ this log:forSome :foo. :foo :bar :baz } log:notIncludes {this log:forSome :foo. :foo :bar :baz }}
+  log:implies { :testb2n a :FAILURE }. 
+
+{{ this log:forAll :foo. :foo :bar :baz } log:notIncludes {this log:forSome :foo. :foo :bar :baz }}
+  log:implies { :testc2n a :FAILURE }. # Originally failed
+
+
+
+{{ :foo :bar :baz } log:notIncludes { :foo :bar :baz }}
+  log:implies { :testa1n a :FAILURE }.
+
+{{ this log:forSome :foo. :foo :bar :baz } log:notIncludes { :foo :bar :baz }}
+  log:implies { :testb1n a :success }.
+
+{{ this log:forAll :foo. :foo :bar :baz } log:notIncludes { :foo :bar :baz }}
+  log:implies { :testc1n a :FAILURE }.
+
+
+
+{{ :foo :bar :baz } log:notIncludes {this log:forAll :foo. :foo :bar :baz }}
+   log:implies { :testa3n a :success }.
+
+{{ this log:forSome :foo. :foo :bar :baz } log:notIncludes {this log:forAll :foo.  :foo :bar :baz }}
+  log:implies { :testb3n a :success }.
+
+{{ this log:forAll :foo. :foo :bar :baz } log:notIncludes {this log:forAll :foo.  :foo :bar :baz }}
+  log:implies { :testc3n a :FAILURE }.
+
+
+
+######################## Versions with different identifiers:
+
+
+{{ :fee :bar :baz } log:includes { this log:forSome :foo. :foo :bar :baz }}
+   log:implies { :testa2d a :success }. # Originally failed
+
+{{ this log:forSome :fee. :fee :bar :baz } log:includes {this log:forSome :foo. :foo :bar :baz }}
+  log:implies { :testb2d a :success }.
+
+{{ this log:forAll :fee. :fee :bar :baz } log:includes {this log:forSome :foo. :foo :bar :baz }}
+  log:implies { :testc2d a :success }.  # Originally failed
+
+
+
+{{ :fee :bar :baz } log:includes { :foo :bar :baz }}
+  log:implies { :testa1d a :FAILURE }.
+
+{{ this log:forSome :fee. :fee :bar :baz } log:includes { :foo :bar :baz }}
+  log:implies { :testb1d a :FAILURE }.    # Originally failed
+
+{{ this log:forAll :fee. :fee :bar :baz } log:includes { :foo :bar :baz }}
+  log:implies { :testc1d a :success }.
+
+
+
+{{ :fee :bar :baz } log:includes {this log:forAll :foo. :foo :bar :baz }}
+   log:implies { :testa3d a :FAILURE }.
+
+{{ this log:forSome :fee. :fee :bar :baz } log:includes {this log:forAll :foo.  :foo :bar :baz }}
+  log:implies { :testb3d a :FAILURE }.
+
+{{ this log:forAll :fee. :fee :bar :baz } log:includes {this log:forAll :foo.  :foo :bar :baz }}
+  log:implies { :testc3d a :success }.
+
+
+#   Negative tests:
+
+
+
+{{ :fee :bar :baz } log:notIncludes { this log:forSome :foo. :foo :bar :baz }}
+   log:implies { :testa2nd a :FAILURE }.     # Originally failed
+
+{{ this log:forSome :fee. :fee :bar :baz } log:notIncludes {this log:forSome :foo. :foo :bar :baz }}
+  log:implies { :testb2nd a :FAILURE }. 
+
+{{ this log:forAll :fee. :fee :bar :baz } log:notIncludes {this log:forSome :foo. :foo :bar :baz }}
+  log:implies { :testc2nd a :FAILURE }.    # Originally failed
+
+
+{{ :fee :bar :baz } log:notIncludes { :foo :bar :baz }}
+  log:implies { :testa1nd a :success }.
+
+{{ this log:forSome :fee. :fee :bar :baz } log:notIncludes { :foo :bar :baz }}
+  log:implies { :testb1nd a :success }.
+
+{{ this log:forAll :fee. :fee :bar :baz } log:notIncludes { :foo :bar :baz }}
+  log:implies { :testc1nd a :FAILURE }.  # Originally failed, STILL FAILS 
+
+
+
+{{ :fee :bar :baz } log:notIncludes {this log:forAll :foo. :foo :bar :baz }}
+   log:implies { :testa3nd a :success }.
+
+{{ this log:forSome :fee. :fee :bar :baz } log:notIncludes {this log:forAll :foo.  :foo :bar :baz }}
+  log:implies { :testb3nd a :success }.
+
+{{ this log:forAll :fee. :fee :bar :baz } log:notIncludes {this log:forAll :foo.  :foo :bar :baz }}
+  log:implies { :testc3nd a :FAILURE }.
+
+
+
+log:implies a log:Chaff.  # Purge input rules
+
+# ENDS
+

data/spec/swap_test/syntax/this-rules.n3

@@ -0,0 +1,43 @@
+#    Test filter in N3
+#
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+@prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
+@prefix : <#> .
+@prefix rules: <#> .
+
+# Full DanC challenge
+
+this log:forAll <#p> .
+
+{  <#p> a daml:TransitiveProperty . } :means
+{
+  { this log:forAll <#x> , <#y> , <#z>.
+    { <#x> <#p> <#y>. <#y> <#p> <#z>. } log:implies { <#x> <#p> <#z>. }
+  } a log:Truth.
+} .
+
+
+
+# Intoduce a symmetric implication for convienience
+
+this log:forAll <#a>, <#b> .
+{ <#a> :means <#b>. }  log:implies {	<#a> log:implies <#b> .
+					<#b> log:implies <#a> . } .
+  
+{   <#a> log:implies <#b> .
+    <#b> log:implies <#a> . }  log:implies  { <#a> :means <#b>. }  . 
+
+# and in fact, though it is not axiomatic...
+#
+#{ <#x> :means <#y>. }  :means {	<#x> log:implies <#y> .
+#					<#y> log:implies <#x> . } . 
+#
+
+
+<#ancestor>  a daml:TransitiveProperty .
+
+# (Was the wrong way around for a long time, just confused people.)
+<#pa> <#ancestor> <#granpa> .
+<#bill> <#ancestor> <#pa> .
+
+#ends

data/spec/swap_test/syntax/too-nested.n3

@@ -0,0 +1,25 @@
+{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{
+{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{
+{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{
+{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{
+{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{
+{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{
+{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{
+{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{
+{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{
+
+
+:a
+
+
+}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
+}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
+}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
+}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
+}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
+}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
+}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
+}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
+}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
+
+.

data/spec/swap_test/syntax/trailing-semicolon.n3

@@ -0,0 +1,12 @@
+#  Test that you can have a final semicolon ';' in a propertylist
+
+# DJB pointed out that it is useful,
+# and it always was acceptable to the original n3 parser.
+
+@keywords.
+
+b c d;.
+
+e f [g h; i j;].
+
+# ends

data/spec/swap_test/syntax/zero-objects.n3

@@ -0,0 +1 @@
+:a :b .

data/spec/swap_test/syntax/zero-predicates.n3

@@ -0,0 +1,3 @@
+:a .
+{:b} .
+[:c :d] .

data/spec/swap_test/tests-work.txt

@@ -0,0 +1,25 @@
+ animal-simple.n3
+ ccppfig2-2a.n3
+ context-object.n3
+ contexts.n3
+ d11.n3
+ daml-ex.n3
+ daml-ont.n3
+ daml-pref.n3
+ dc.n3
+ dt10-conc.n3
+ dt10-premise.n3
+ equiv-syntax.n3
+ excerpt.n3
+ invalid-ex.n3
+ j11.n3
+ lists.n3
+ min.n3
+ prefix-rdf.n3
+ reluri-1.n3
+ s1.n3
+ subprop.n3
+ t1.n3
+ tom-mary.n3
+ typednode.n3
+ var.n3

data/spec/swap_test/xml-syntax/basic-serialization.n3

@@ -0,0 +1,8 @@
+# Used in regression.n3#t1063
+#
+# An extremely basic RDF/XML serialization test.
+#
+# Issue originally raised in the following bug:
+# http://lists.w3.org/Archives/Public/public-cwm-bugs/2005Jan/0004
+
+<#s> <#p> 3.

data/spec/swap_test/xml-syntax/in-xml.xml

@@ -0,0 +1,13 @@
+<?xml version="1.0"?>
+<metadata  xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+         xmlns:s="http://mems-exchange.org/schema/file/1.0/"
+         xmlns:dc="http://purl.org/dc/elements/1.1/">
+  <title>  This is non-RDF content </title>
+  <rdf:RDF>
+    <rdf:Description rdf:about="%s">
+      <dc:Creator>%s</dc:Creator>
+      <s:Run>45</s:Run>
+    </rdf:Description>
+  </rdf:RDF>
+  <element />
+</metadata>