rdf-n3 0.3.0 → 0.3.1

data/spec/swap_test/reluri-1.n3

@@ -1,10 +0,0 @@
-@prefix p:  <file://www.example.org/personal_details#> .
-@prefix m:  <file://www.example.org/meeting_organization#> .
-
-<file://www.example.org/people#fred>
-	p:GivenName  	"Fred";
-	p:hasEmail 		<mailto:fred@example.com>;
-	m:attending 	<file://meetings.example.com/cal#m1> .
-
-<file://meetings.example.com/cal#m1>
-	m:homePage 		<file://meetings.example.com/m1/hp> .

data/spec/swap_test/strquot.n3

@@ -1,23 +0,0 @@
-@prefix dc: <http://purl.org/dc/elements/1.1/>.
-
-<#x> <#prop> "simple string".
-
-<#y> <#prop> """triple quoted
-string with newlines in it.""".
-
-<#z> <#prop> "string with \" escaped quote marks".
-
-<#zz> <#escapes> "\\\"\a\b\f\r\t\v".
-
-<#martin> <#surname> "D\u00fcrst".
-
-<> dc:description """testing string parsing in N3.
-Hmm... how much of this is in the primer?
-How much should be there?
-@@ Holding off on unicode until support
-in python is sufficiently deployed
-(e.g. python on tux doesn't grok,
-nor does pythonwin on TimBL's laptop).
-""".
-# $Id: strquot.n3,v 1.4 2006-06-07 20:24:46 syosi Exp $
-

data/spec/swap_test/syntax/colon-in-uri.rdf

@@ -1,27 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<rdf:RDF 
-	 xmlns:xp="http://au.com.Langdale/2000/Xpetal" 
-	
-xmlns:cims="http://iec.ch/TC57/1999/rdf-schema-extensions-19990926#" 
-	 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" 
-	 xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
-
-<rdf:Property
-rdf:about="http://iec.ch/TC57/2003/CIM-schema-cim10#AirCompressor.DrivenBy_C
-ombustionTurbine">
-<rdfs:label xml:lang="en">DrivenBy_CombustionTurbine</rdfs:label>
-<rdfs:comment>A CAES air compressor is driven by combustion
-turbine</rdfs:comment>
-<cims:profile>Nerc</cims:profile>
-<rdfs:domain
-rdf:resource="http://iec.ch/TC57/2003/CIM-schema-cim10#AirCompressor"/>
-<rdfs:range
-rdf:resource="http://iec.ch/TC57/2003/CIM-schema-cim10#CombustionTurbine"/>
-<cims:multiplicity
-rdf:resource="http://iec.ch/TC57/1999/rdf-schema-extensions-19990926#M:1"/>
-<cims:inverseRoleName
-rdf:resource="http://iec.ch/TC57/2003/CIM-schema-cim10#CombustionTurbine.Dri
-ves_AirCompressor"/>
-</rdf:Property>
-
-</rdf:RDF>

data/spec/swap_test/syntax/djb1a.n3

@@ -1,3 +0,0 @@
-@prefix : <http://example.org/base1#> .
-@prefix a: <http://example.org/base2#> .
-a:a a:b a:c.

data/spec/swap_test/syntax/dot-dash.n3

@@ -1,15 +0,0 @@
-# test: make sure that the prefix isn't used when it can't be
-@prefix : <http://example.com/foo#>.
-
-
-<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> .
-
-<http://example.com/foo#a> <http://example.com/foo#b> <http://example.com/foo#c>.
-
-
-#end
-

data/spec/swap_test/syntax/equals1.n3

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

data/spec/swap_test/syntax/equals2.n3

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

data/spec/swap_test/syntax/keywords1.n3

@@ -1,17 +0,0 @@
-
-# Test the cwm quick variable declarations
-
-
-@prefix : <foo.n3#>.  # Local stuff
-@keywords .   # Use no keywards
-
-
-@forAll :x, :y, :z.
-@forSome :a, :b, :c.
-
-b a c.  # Should simply use a as a local symbol, NOT as rdf:type.
-
-
-#{ :x <#mother> :y. :y <#sister> :z } => { :x <#aunt> :z }.
-
-#ends

data/spec/swap_test/syntax/keywords2.n3

@@ -1,18 +0,0 @@
-
-# Test the cwm quick variable declarations
-
-
-@keywords.   # Use no keywards
-
-
-@prefix : <foo.n3#>.  # Local stuff
-
-@forAll x, y, z.
-@forSome a, b, c.
-
-b a c.  # Should simply use a as a local symbol, NOT as rdf:type.
-
-
-# {x mother y. y sister z} => {x aunt z}.  Comented out 7/7/7 - separate formula testing elsewhere
-
-#ends

data/spec/swap_test/syntax/lstring.n3

@@ -1,26 +0,0 @@
-#   Just see whether this can be input and re-output
-#
-# usage:     cwm lstring.n3 | cwm
-#
-@prefix : <#>.
-
-
- """     @prefix : <http://www.w3.org/2000/10/swap/test/crypto/acc.n3#> .
-     @prefix crypto: <http://www.w3.org/2000/10/swap/crypto#> .
-     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
-     @prefix os: <http://www.w3.org/2000/10/swap/os#> .
-     @prefix string: <http://www.w3.org/2000/10/swap/string#> .
-    
-    \"\"\"
-MzE5MDcKCjM2ODkyMzAyMDE1MzgwMjY2NTU5MzgzNjMyMDQyOTM1Mjc4MDk3MzAwNzE4ODMzOTY3
-NTY3NTk1Njg5MjE2Mjk0NzkyMzUyNTQ3OTQzMjI4MjM2MDEwNjQwMTAyMjcxODk0OTY2MzgzNjQ1
-NDQyODQ5Njg3MzUzOTM2NzAyMTI5NDgxNDg4MzIxMzUyODEyMTc1NjIxNjE0NjE5Mzk2MDY4MjE2
-Nzk1MzY0NjAxNjE0MzM5NDYzOTIyMDMwMDE4NTEyODMyMTg0NDIyMzI3MzcxNzE5MjcxMzY0ODY1
-MjEzMzU1OTc4Nzk0OTIyMzQ4NDU5NTUxMTQ2MTcyNjE0MTk3ODI2NTg0NDA2Mzg2OTQwMTcwNTE4
-OTY0MDQzNzMxNzEyODc1OTk3NjAyNjE4ODUzNDQ1Mw=3D=3D
-\"\"\"     a :RequestKey;
-         :authorityName <Tiina>;
-         :junk "327462sjsdfjsakdhfkjsafd32164321" .
-""" a :test_string.
-    
-#ends

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

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

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

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

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

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

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

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

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

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

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

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

data/spec/swap_test/syntax/numbers.n3

@@ -1,26 +0,0 @@
-# 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

@@ -1,23 +0,0 @@
-# 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

@@ -1,31 +0,0 @@
-# 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

@@ -1,19 +0,0 @@
-# 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

@@ -1,19 +0,0 @@
-# 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

@@ -1,164 +0,0 @@
-#  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
-