rdf-n3 3.1.1 → 3.1.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: ec61e722e941b81e66326c2c01be01294d795e79de7d2c19170621cf8e847abd
-  data.tar.gz: 939c44022792bd224fbdda4bd424e5a314007fa063bb37ecd0e4d9d970a05bda
+  metadata.gz: c53b64b52fa5a16fdfe462a270e5eb861c8cbd432aadc0df0aedaf057accb3f3
+  data.tar.gz: 2e7537cc0ab6084f7a321ffe4347a5071e6d9204025a746b21856c786fd491d4
 SHA512:
-  metadata.gz: 8f9aa6b2c0dfa8932709f9b3d6f39be96252e2ee9002bf1d328fe2adb8145bd79755cb7f7933b1263a0a3e255d4b814ae224c81a465ddf887524294aa34dde90
-  data.tar.gz: 164f2b19c87a60c328176cee7ff0a358ea04c4f073f169c3f4175d916d9fa910a0d2c4fc01793fc985e1cae6292fefd9eebfe7a3edfd6b90bbb57fcafa724d82
+  metadata.gz: b8fd2b701f9eb17083ca81884f98de32435068e494445d14ffdbb7fff7f323a0c32a507e6490466b56f77abb3b7d3cd523861f50e82cb494236537871be8f840
+  data.tar.gz: f68c2f4a5f91ecb35d95ad9e58f58adb9ade18b66fd24ad04bfb34482f49cb245e98f27660e46b5bfc4adf72da1c6e534ae903deec35d07fe1419949cefc5312

data/README.md

@@ -2,19 +2,28 @@
 Notation-3 reader/writer for [RDF.rb][RDF.rb] .
 
 [![Gem Version](https://badge.fury.io/rb/rdf-n3.png)](https://badge.fury.io/rb/rdf-n3)
-[![Build Status](https://travis-ci.org/ruby-rdf/rdf-n3.png?branch=master)](https://travis-ci.org/ruby-rdf/rdf-n3)
+[![Build Status](https://github.com/ruby-rdf/rdf-n3/workflows/CI/badge.svg?branch=develop)](https://github.com/ruby-rdf/rdf-n3/actions?query=workflow%3ACI)
+[![Coverage Status](https://coveralls.io/repos/ruby-rdf/rdf-n3/badge.svg)](https://coveralls.io/github/ruby-rdf/rdf-n3)
+[![Gitter chat](https://badges.gitter.im/ruby-rdf/rdf.png)](https://gitter.im/ruby-rdf/rdf)
 
 ## Description
-RDF::N3 is an Notation-3 parser for Ruby using the [RDF.rb][RDF.rb]  library suite. Also implements N3 Entailment.
+RDF::N3 is an Notation-3 parser and reasoner for Ruby using the [RDF.rb][RDF.rb] library suite.
 
 Reader inspired from TimBL predictiveParser and Python librdf implementation.
 
-## Turtle deprecated
-Support for Turtle mime-types and specific format support has been deprecated from this gem,
-as Turtle is now implemented using [RDF::Turtle][RDF::Turtle].
+## Uses CG Specification
+This version tracks the [W3C N3 Community Group][] [Specification][N3] which has incompatibilities with the [Team Submission][] version. Notably:
+
+* The `@keywords` declaration is removed, and most form of `@` keywords (e.g., `@is`, `@has`, `@true`) are no longer supported.
+* Terminals adhere closely to their counterparts in [Turtle][].
+* The modifier `<-` is introduced as a synonym for `is ... of`.
+* The SPARQL `BASE` and `PREFIX` declarations are supported.
+* Implicit universal variables are defined at the top-level, rather than in the parent formula of the one in which they are defined.
+
+This brings N3 closer to compatibility with Turtle.
 
 ## Features
-RDF::N3 parses [Notation-3][N3], [Turtle][Turtle] and [N-Triples][N-Triples] into statements or quads. It also performs reasoning and serializes to N3.
+RDF::N3 parses [Notation-3][N3], [Turtle][] and [N-Triples][] into statements or quads. It also performs reasoning and serializes to N3.
 
 Install with `gem install rdf-n3`
 
@@ -49,24 +58,104 @@ Experimental N3 reasoning is supported. Instantiate a reasoner from a dataset:
        end
     end
 
-Reasoning is performed by turning a repository containing formula and predicate operators into an executable set of operators (similar to the executable SPARQL Algebra). Reasoning adds statements to the base dataset, marked with `:inferred` (e.g. `statement.inferred?`). Predicate operators are defined from the following vocabularies:
-
-* RDF List vocabulary <http://www.w3.org/2000/10/swap/list#>
-  * list:append (not implemented yet - See {RDF::N3::Algebra::ListAppend})
-  * list:in (not implemented yet - See {RDF::N3::Algebra::ListIn})
-  * list:last (not implemented yet - See {RDF::N3::Algebra::ListLast})
-  * list:member (not implemented yet - See {RDF::N3::Algebra::ListMember})
-* RDF Log vocabulary <http://www.w3.org/2000/10/swap/log#>
-  * log:conclusion (not implemented yet - See {RDF::N3::Algebra::LogConclusion})
-  * log:conjunction (not implemented yet - See {RDF::N3::Algebra::LogConjunction})
-  * log:equalTo (See {not implemented yet - RDF::N3::Algebra::LogEqualTo})
-  * log:implies (See {RDF::N3::Algebra::LogImplies})
-  * log:includes (not implemented yet - See {RDF::N3::Algebra::LogIncludes})
-  * log:notEqualTo (not implemented yet - See {RDF::N3::Algebra::LogNotEqualTo})
-  * log:notIncludes (not implemented yet - See {RDF::N3::Algebra::LogNotIncludes})
-  * log:outputString (not implemented yet - See {RDF::N3::Algebra::LogOutputString})
-
-N3 Formulae are introduced with the { statement-list } syntax. A given formula is assigned an RDF::Node instance, which is also used as the graph_name for RDF::Statement instances provided to RDF::N3::Reader#each_statement. For example, the following N3 generates the associated statements:
+Reasoning is performed by turning a repository containing formula and predicate operators into an executable set of operators (similar to the executable SPARQL Algebra). Reasoning adds statements to the base dataset, marked with `:inferred` (e.g. `statement.inferred?`). Predicate operators are defined from the following vocabularies.
+
+When dispatching built-in operators, precedence is given to operators whos operands are fully evaluated, followed by those having only variable output operands, followed by those having the fewest operands. Operators are evaluated until either no solutions are derived, or all operators have been completed.
+
+Reasoning is discussed in the [Design Issues][] document.
+
+#### RDF List vocabulary <http://www.w3.org/2000/10/swap/list#>
+
+  * `list:append` (See {RDF::N3::Algebra::List::Append})
+  * `list:first`  (See {RDF::N3::Algebra::List::First})
+  * `list:in`     (See {RDF::N3::Algebra::List::In})
+  * `list:last`   (See {RDF::N3::Algebra::List::Last})
+  * `list:length` (See {RDF::N3::Algebra::List::Length})
+  * `list:member` (See {RDF::N3::Algebra::List::Member})
+
+#### RDF Log vocabulary <http://www.w3.org/2000/10/swap/log#>
+
+  * `log:conclusion`    (See {RDF::N3::Algebra::Log::Conclusion})
+  * `log:conjunction`   (See {RDF::N3::Algebra::Log::Conjunction})
+  * `log:content`       (See {RDF::N3::Algebra::Log::Content})
+  * `log:equalTo`       (See {RDF::N3::Algebra::Log::EqualTo})
+  * `log:implies`       (See {RDF::N3::Algebra::Log::Implies})
+  * `log:includes`      (See {RDF::N3::Algebra::Log::Includes})
+  * `log:n3String`      (See {RDF::N3::Algebra::Log::N3String})
+  * `log:notEqualTo`    (See {RDF::N3::Algebra::Log::NotEqualTo})
+  * `log:notIncludes`   (See {RDF::N3::Algebra::Log::NotIncludes})
+  * `log:outputString`  See {RDF::N3::Algebra::Log::OutputString})
+  * `log:parsedAsN3`    (See {RDF::N3::Algebra::Log::ParsedAsN3})
+  * `log:semantics`     (See {RDF::N3::Algebra::Log::Semantics})
+
+#### RDF Math vocabulary <http://www.w3.org/2000/10/swap/math#>
+
+  * `math:absoluteValue`    (See {RDF::N3::Algebra::Math::AbsoluteValue})
+  * `math:acos`             (See {RDF::N3::Algebra::Math::ACos})
+  * `math:asin`             (See {RDF::N3::Algebra::Math::ASin})
+  * `math:atan`             (See {RDF::N3::Algebra::Math::ATan})
+  * `math:acosh`            (See {RDF::N3::Algebra::Math::ACosH})
+  * `math:asinh`            (See {RDF::N3::Algebra::Math::ASinH})
+  * `math:atanh`            (See {RDF::N3::Algebra::Math::ATanH})
+  * `math:ceiling`          (See {RDF::N3::Algebra::Math::Ceiling})
+  * `math:cosh`             (See {RDF::N3::Algebra::Math::CosH})
+  * `math:cos`              (See {RDF::N3::Algebra::Math::Cos})
+  * `math:difference`       (See {RDF::N3::Algebra::Math::Difference})
+  * `math:equalTo`          (See {RDF::N3::Algebra::Math::EqualTo})
+  * `math:exponentiation`   (See {RDF::N3::Algebra::Math::Exponentiation})
+  * `math:floor`            (See {RDF::N3::Algebra::Math::Floor})
+  * `math:greaterThan`      (See {RDF::N3::Algebra::Math::GreaterThan})
+  * `math:lessThan`         (See {RDF::N3::Algebra::Math::LessThan})
+  * `math:negation`         (See {RDF::N3::Algebra::Math::Negation})
+  * `math:notEqualTo`       (See {RDF::N3::Algebra::Math::NotEqualTo})
+  * `math:notGreaterThan`   (See {RDF::N3::Algebra::Math::NotGreaterThan})
+  * `math:notLessThan`      (See {RDF::N3::Algebra::Math::NotLessThan})
+  * `math:product`          (See {RDF::N3::Algebra::Math::Product})
+  * `math:quotient`         (See {RDF::N3::Algebra::Math::Quotient})
+  * `math:remainder`        (See {RDF::N3::Algebra::Math::Remainder})
+  * `math:rounded`          (See {RDF::N3::Algebra::Math::Rounded})
+  * `math:sinh`             (See {RDF::N3::Algebra::Math::SinH})
+  * `math:sin`              (See {RDF::N3::Algebra::Math::Sin})
+  * `math:sum`              (See {RDF::N3::Algebra::Math::Sum})
+  * `math:tanh`             (See {RDF::N3::Algebra::Math::TanH})
+  * `math:tan`              (See {RDF::N3::Algebra::Math::Tan})
+
+#### RDF String vocabulary <http://www.w3.org/2000/10/swap/str#>
+
+  * `string:concatenation`        (See {RDF::N3::Algebra::Str::Concatenation})
+  * `string:contains`             (See {RDF::N3::Algebra::Str::Contains})
+  * `string:containsIgnoringCase` (See {RDF::N3::Algebra::Str::ContainsIgnoringCase})
+  * `string:endsWith`             (See {RDF::N3::Algebra::Str::EndsWith})
+  * `string:equalIgnoringCase`    (See {RDF::N3::Algebra::Str::EqualIgnoringCase})
+  * `string:format`               (See {RDF::N3::Algebra::Str::Format})
+  * `string:greaterThan`          (See {RDF::N3::Algebra::Str::GreaterThan})
+  * `string:lessThan`             (See {RDF::N3::Algebra::Str::LessThan})
+  * `string:matches`              (See {RDF::N3::Algebra::Str::Matches})
+  * `string:notEqualIgnoringCase` (See {RDF::N3::Algebra::Str::NotEqualIgnoringCase})
+  * `string:notGreaterThan`       (See {RDF::N3::Algebra::Str::NotGreaterThan})
+  * `string:notLessThan`          (See {RDF::N3::Algebra::Str::NotLessThan})
+  * `string:notMatches`           (See {RDF::N3::Algebra::Str::NotMatches})
+  * `string:replace`              (See {RDF::N3::Algebra::Str::Replace})
+  * `string:scrape`               (See {RDF::N3::Algebra::Str::Scrape})
+  * `string:startsWith`           (See {RDF::N3::Algebra::Str::StartsWith})
+
+#### RDF Time vocabulary <>
+
+  * `time:dayOfWeek`              (See {RDF::N3::Algebra::Time::DayOfWeek})
+  * `time:day`                    (See {RDF::N3::Algebra::Time::Day})
+  * `time:gmTime`                 (See {RDF::N3::Algebra::Time::GmTime})
+  * `time:hour`                   (See {RDF::N3::Algebra::Time::Hour})
+  * `time:inSeconds`              (See {RDF::N3::Algebra::Time::InSeconds})
+  * `time:localTime`              (See {RDF::N3::Algebra::Time::LocalTime})
+  * `time:minute`                 (See {RDF::N3::Algebra::Time::Minute})
+  * `time:month`                  (See {RDF::N3::Algebra::Time::Month})
+  * `time:second`                 (See {RDF::N3::Algebra::Time::Second})
+  * `time:timeZone`               (See {RDF::N3::Algebra::Time::Timezone})
+  * `time:year`                   (See {RDF::N3::Algebra::Time::Year})
+
+### Formulae / Quoted Graphs
+
+N3 Formulae are introduced with the `{ statement-list }` syntax. A given formula is assigned an `RDF::Node` instance, which is also used as the graph_name for `RDF::Statement` instances provided to `RDF::N3::Reader#each_statement`. For example, the following N3 generates the associated statements:
 
     @prefix x: <http://example.org/x-ns/#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
@@ -81,10 +170,10 @@ when turned into an RDF Repository results in the following quads
     _:ora <http://purl.org/dc/elements/1.1/#wrote> _:moby _:form .
     _:ora <http://example.org/x-ns/#firstname> "Ora" _:form .
 
-Reasoning uses a Notation3 Algebra, similar to [SPARQL S-Expressions](). This implementation considers formulae to be patterns, which may be asserted on statements made in the default graph, possibly loaded from a separate file. The logical relationships are reduced to algebraic operators. 
+Reasoning uses a Notation3 Algebra, similar to [SPARQL S-Expressions][]. This implementation considers formulae to be patterns, which may be asserted on statements made in the default graph, possibly loaded from a separate file. The logical relationships are reduced to algebraic operators. 
 
 ### Variables
-N3 Variables are introduced with @forAll, @forSome, or ?x. Variables reference URIs described in formulae, typically defined in the default vocabulary (e.g., ":x"). Existential variables are replaced with an allocated RDF::Node instance. Universal variables are replaced with a RDF::Query::Variable instance. For example, the following N3 generates the associated statements:
+N3 Variables are introduced with `@forAll`, `@forSome`, or `?x`. Variables reference URIs described in formulae, typically defined in the default vocabulary (e.g., `":x"`). Existential variables are replaced with an allocated `RDF::Node` instance. Universal variables are replaced with a `RDF::Query::Variable` instance. For example, the following N3 generates the associated statements:
 
     @forAll <#h>. @forSome <#g>. <#g> <#loves> <#h> .
 
@@ -96,21 +185,20 @@ results in:
 
 Note that the behavior of both existential and universal variables is not entirely in keeping with the [Team Submission][], and neither work quite like SPARQL variables. When used in the antecedent part of an implication, universal variables should behave much like SPARQL variables. This area is subject to a fair amount of change.
 
-## Implementation Notes
-The parser is driven through a rules table contained in lib/rdf/n3/reader/meta.rb. This includes
-branch rules to indicate productions to be taken based on a current production. Terminals are denoted
-through a set of regular expressions used to match each type of terminal.
+* Variables, themselves, cannot be part of a solution, which limits the ability to generate updated rules for reasoning.
+* Both Existentials and Universals are treated as simple variables, and there is really no preference given based on the order in which they are introduced.
 
-The [meta.rb][file:lib/rdf/n3/reader/meta.rb] file is generated from lib/rdf/n3/reader/n3-selectors.n3
-(taken from http://www.w3.org/2000/10/swap/grammar/n3-selectors.n3) which is the result of parsing
-http://www.w3.org/2000/10/swap/grammar/n3.n3 (along with bnf-rules.n3) using cwm using the following command sequence:
+### Query
+Formulae are typically used to query the knowledge-base, which is set from the base-formula/default graph. A formula is composed of both constant statements, and variable statements. When running as a query, such as for the antecedent formula in `log:implies`, statements including either explicit variables or blank nodes are treated as query patterns and are used to query the knowledge base to create a solution set, which is used either prove the formula correct, or create bindings passed to the consequent formula.
 
-    cwm n3.n3 bnf-rules.n3 --think --purge --data > n3-selectors.n3
-
-[n3-selectors.n3][file:lib/rdf/n3/reader/n3-selectors.rb] is itself used to generate meta.rb using script/build_meta.
+Blank nodes associated with rdf:List statements used as part of a built-in are made _non-distinguished_ existential variables, and patters containing these variables become optional. If they are not bound as part of the query, the implicitly are bound as the original blank nodes defined within the formula, which allows for both constant list arguments, list arguments that contain variables, or arguments which are variables expanding to lists.
 
 ## Dependencies
-* [RDF.rb](https://rubygems.org/gems/rdf) (~> 3.0, >= 3.0.10)
+* [Ruby](https://ruby-lang.org/) (>= 2.4)
+* [RDF.rb](https://rubygems.org/gems/rdf) (~> 3.1, >= 3.1.4)
+* [EBNF][EBNF gem] (~> 2.1)
+* [SPARQL][SPARQL gem] (~> 3.1)
+* [SXP][SXP gem] (~> 1.1)
 
 ## Documentation
 Full documentation available on [RubyDoc.info](https://rubydoc.info/github/ruby-rdf/rdf-n3)
@@ -123,26 +211,11 @@ Full documentation available on [RubyDoc.info](https://rubydoc.info/github/ruby-
 * {RDF::N3::Writer}
 * {RDF::N3::Algebra}
   * {RDF::N3::Algebra::Formula}
-  * {RDF::N3::Algebra::ListAppend}
-  * {RDF::N3::Algebra::ListIn}
-  * {RDF::N3::Algebra::ListLast}
-  * {RDF::N3::Algebra::ListMember}
-  * {RDF::N3::Algebra::LogConclusion}
-  * {RDF::N3::Algebra::LogConjunction}
-  * {RDF::N3::Algebra::LogEqualTo}
-  * {RDF::N3::Algebra::LogImplies}
-  * {RDF::N3::Algebra::LogIncludes}
-  * {RDF::N3::Algebra::LogNotEqualTo}
-  * {RDF::N3::Algebra::LogNotIncludes}
-  * {RDF::N3::Algebra::LogOutputString}
 
 ### Additional vocabularies
-* {RDF::N3::Log}
 * {RDF::N3::Rei}
 * {RDF::N3::Crypto}
-* {RDF::N3::List}
 * {RDF::N3::Math}
-* {RDF::N3::Str}
 * {RDF::N3::Time}
 
 ## Resources
@@ -151,19 +224,17 @@ Full documentation available on [RubyDoc.info](https://rubydoc.info/github/ruby-
 * [Documentation](https://rubydoc.info/github/ruby-rdf/rdf-n3/)
 * [History](file:file.History.html)
 * [Notation-3][N3]
+* [Team Submission][]
 * [N3 Primer](https://www.w3.org/2000/10/swap/Primer.html)
 * [N3 Reification](https://www.w3.org/DesignIssues/Reify.html)
-* [Turtle][Turtle]
-* [W3C SWAP Test suite](https://www.w3.org/2000/10/swap/test/README.html)
-* [W3C Turtle Test suite](https://www.w3.org/2001/sw/DataAccess/df1/tests/README.txt)
-* [N-Triples][N-Triples]
+* [Turtle][]
+* [W3C SWAP Test suite](https://w3c.github.io/N3/tests/)
+* [W3C Turtle Test suite](https://w3c.github.io/rdf-tests/turtle/)
+* [N-Triples][]
 
 ## Author
 * [Gregg Kellogg](https://github.com/gkellogg) - <https://greggkellogg.net/>
 
-## Contributors
-* [Nicholas Humfrey](https://github.com/njh) - <https://njh.me/>
-
 ## Contributing
 This repository uses [Git Flow](https://github.com/nvie/gitflow) to mange development and release activity. All submissions _must_ be on a feature branch based on the _develop_ branch to ease staging and integration.
 
@@ -177,7 +248,9 @@ This repository uses [Git Flow](https://github.com/nvie/gitflow) to mange develo
   list in the the `README`. Alphabetical order applies.
 * Do note that in order for us to merge any non-trivial changes (as a rule
   of thumb, additions larger than about 15 lines of code), we need an
-  explicit [public domain dedication][PDD] on record from you.
+  explicit [public domain dedication][PDD] on record from you,
+  which you will be asked to agree to on the first commit to a repo within the organization.
+  Note that the agreement applies to all repos in the [Ruby RDF](https://github.com/ruby-rdf/) organization.
 
 ## License
 
@@ -190,13 +263,19 @@ see <https://unlicense.org/> or the accompanying {file:UNLICENSE} file.
 * <https://github.com/ruby-rdf/rdf-n3>
 * <https://lists.w3.org/Archives/Public/public-rdf-ruby/>
 
-[RDF.rb]:       https://ruby-rdf.github.com/rdf
-[RDF::Turtle]:  https://ruby-rdf.github.com/rdf-turtle/
-[N3]:           https://www.w3.org/DesignIssues/Notation3.html "Notation-3"
-[Team Submission]: https://www.w3.org/TeamSubmission/n3/
-[Turtle]:       https://www.w3.org/TR/turtle/
-[N-Triples]:    https://www.w3.org/TR/n-triples/
-[YARD]:         https://yardoc.org/
-[YARD-GS]:      https://rubydoc.info/docs/yard/file/docs/GettingStarted.md
-[PDD]:          https://lists.w3.org/Archives/Public/public-rdf-ruby/2010May/0013.html
+[RDF::Turtle]:            https://ruby-rdf.github.com/rdf-turtle/
+[Design Issues]:        https://www.w3.org/DesignIssues/Notation3.html "Notation-3 Design Issues"
+[Team Submission]:  https://www.w3.org/TeamSubmission/n3/
+[Turtle]:                     https://www.w3.org/TR/turtle/
+[N-Triples]:               https://www.w3.org/TR/n-triples/
+[YARD]:                   https://yardoc.org/
+[YARD-GS]:            https://rubydoc.info/docs/yard/file/docs/GettingStarted.md
+[PDD]:                    https://unlicense.org/#unlicensing-contributions
 [SPARQL S-Expressions]: https://jena.apache.org/documentation/notes/sse.html
+[W3C N3 Community Group]: https://www.w3.org/community/n3-dev/
+[N3]:                       https://w3c.github.io/N3/spec/
+[PEG]:                    https://en.wikipedia.org/wiki/Parsing_expression_grammar
+[RDF.rb]:                https://ruby-rdf.github.com/rdf
+[EBNF gem]:         https://ruby-rdf.github.com/ebnf
+[SPARQL gem]:     https://ruby-rdf.github.com/sparql
+[SXP gem]:            https://ruby-rdf.github.com/sxp

data/UNLICENSE

@@ -21,4 +21,4 @@ OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
 ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
 OTHER DEALINGS IN THE SOFTWARE.
 
-For more information, please refer to <http://unlicense.org/>
+For more information, please refer to <https://unlicense.org/>

data/VERSION

@@ -1 +1 @@
-3.1.1
+3.1.2

data/lib/rdf/n3.rb

@@ -1,4 +1,3 @@
-$:.unshift(File.expand_path(File.join(File.dirname(__FILE__), '..')))
 require 'rdf'
 
 module RDF
@@ -24,12 +23,13 @@ module RDF
     require 'rdf/n3/format'
     require 'rdf/n3/vocab'
     require 'rdf/n3/extensions'
-    require 'rdf/n3/patches/array_hacks'
-    autoload :Meta,     'rdf/n3/reader/meta'
-    autoload :Parser,   'rdf/n3/reader/parser'
-    autoload :Reader,   'rdf/n3/reader'
-    autoload :Reasoner, 'rdf/n3/reasoner'
-    autoload :VERSION,  'rdf/n3/version'
-    autoload :Writer,   'rdf/n3/writer'
+    require 'rdf/n3/refinements'
+    autoload :List,       'rdf/n3/list'
+    autoload :Reader,     'rdf/n3/reader'
+    autoload :Reasoner,   'rdf/n3/reasoner'
+    autoload :Repository, 'rdf/n3/repository'
+    autoload :Terminals,  'rdf/n3/terminals'
+    autoload :VERSION,    'rdf/n3/version'
+    autoload :Writer,     'rdf/n3/writer'
   end
 end

data/lib/rdf/n3/algebra.rb

@@ -7,115 +7,194 @@ module RDF::N3
   #
   # @author [Gregg Kellogg](http://greggkellogg.net/)
   module Algebra
+    autoload :Builtin,                'rdf/n3/algebra/builtin'
     autoload :Formula,                'rdf/n3/algebra/formula'
+    autoload :ListOperator,           'rdf/n3/algebra/list_operator'
+    autoload :NotImplemented,         'rdf/n3/algebra/not_implemented'
+    autoload :ResourceOperator,       'rdf/n3/algebra/resource_operator'
 
     module List
+      def vocab; RDF::N3::List.to_uri; end
+      module_function :vocab
       autoload :Append,               'rdf/n3/algebra/list/append'
+      autoload :First,                'rdf/n3/algebra/list/first'
       autoload :In,                   'rdf/n3/algebra/list/in'
       autoload :Last,                 'rdf/n3/algebra/list/last'
+      autoload :Length,               'rdf/n3/algebra/list/length'
       autoload :Member,               'rdf/n3/algebra/list/member'
     end
 
     module Log
+      def vocab; RDF::N3::Log.to_uri; end
+      module_function :vocab
       autoload :Conclusion,           'rdf/n3/algebra/log/conclusion'
       autoload :Conjunction,          'rdf/n3/algebra/log/conjunction'
-      autoload :EqualTo,              'rdf/n3/algebra/log/equalTo'
+      autoload :Content,              'rdf/n3/algebra/log/content'
+      autoload :EqualTo,              'rdf/n3/algebra/log/equal_to'
       autoload :Implies,              'rdf/n3/algebra/log/implies'
       autoload :Includes,             'rdf/n3/algebra/log/includes'
-      autoload :NotEqualTo,           'rdf/n3/algebra/log/notEqualTo'
-      autoload :NotIncludes,          'rdf/n3/algebra/log/notIncludes'
-      autoload :OutputString,         'rdf/n3/algebra/log/outputString'
+      autoload :N3String,             'rdf/n3/algebra/log/n3_string'
+      autoload :NotEqualTo,           'rdf/n3/algebra/log/not_equal_to'
+      autoload :NotIncludes,          'rdf/n3/algebra/log/not_includes'
+      autoload :OutputString,         'rdf/n3/algebra/log/output_string'
+      autoload :ParsedAsN3,           'rdf/n3/algebra/log/parsed_as_n3'
+      autoload :Semantics,            'rdf/n3/algebra/log/semantics'
     end
 
     module Math
-      autoload :AbsoluteValue,        'rdf/n3/algebra/math/absoluteValue'
+      def vocab; RDF::N3::Math.to_uri; end
+      module_function :vocab
+      autoload :AbsoluteValue,        'rdf/n3/algebra/math/absolute_value'
+      autoload :ACos,                 'rdf/n3/algebra/math/acos'
+      autoload :ASin,                 'rdf/n3/algebra/math/asin'
+      autoload :ATan,                 'rdf/n3/algebra/math/atan'
+      autoload :ACosH,                'rdf/n3/algebra/math/acosh'
+      autoload :ASinH,                'rdf/n3/algebra/math/asinh'
+      autoload :ATanH,                'rdf/n3/algebra/math/atanh'
+      autoload :Ceiling,              'rdf/n3/algebra/math/ceiling'
+      autoload :Cos,                  'rdf/n3/algebra/math/cos'
+      autoload :CosH,                 'rdf/n3/algebra/math/cosh'
       autoload :Difference,           'rdf/n3/algebra/math/difference'
-      autoload :EqualTo,              'rdf/n3/algebra/math/equalTo'
+      autoload :EqualTo,              'rdf/n3/algebra/math/equal_to'
       autoload :Exponentiation,       'rdf/n3/algebra/math/exponentiation'
-      autoload :GreaterThan,          'rdf/n3/algebra/math/greaterThan'
-      autoload :IntegerQuotient,      'rdf/n3/algebra/math/integerQuotient'
-      autoload :LessThan,             'rdf/n3/algebra/math/lessThan'
-      autoload :MemberCount,          'rdf/n3/algebra/math/memberCount'
+      autoload :Floor,                'rdf/n3/algebra/math/floor'
+      autoload :GreaterThan,          'rdf/n3/algebra/math/greater_than'
+      autoload :LessThan,             'rdf/n3/algebra/math/less_than'
       autoload :Negation,             'rdf/n3/algebra/math/negation'
-      autoload :NotEqualTo,           'rdf/n3/algebra/math/notEqualTo'
-      autoload :NotGreaterThan,       'rdf/n3/algebra/math/notGreaterThan'
-      autoload :NotLessThan,          'rdf/n3/algebra/math/notLessThan'
+      autoload :NotEqualTo,           'rdf/n3/algebra/math/not_equal_to'
+      autoload :NotGreaterThan,       'rdf/n3/algebra/math/not_greater_than'
+      autoload :NotLessThan,          'rdf/n3/algebra/math/not_less_than'
       autoload :Product,              'rdf/n3/algebra/math/product'
       autoload :Quotient,             'rdf/n3/algebra/math/quotient'
       autoload :Remainder,            'rdf/n3/algebra/math/remainder'
       autoload :Rounded,              'rdf/n3/algebra/math/rounded'
+      autoload :Sin,                  'rdf/n3/algebra/math/sin'
+      autoload :SinH,                 'rdf/n3/algebra/math/sinh'
       autoload :Sum,                  'rdf/n3/algebra/math/sum'
+      autoload :Tan,                  'rdf/n3/algebra/math/tan'
+      autoload :TanH,                 'rdf/n3/algebra/math/tanh'
     end
 
     module Str
+      def vocab; RDF::N3::Str.to_uri; end
+      module_function :vocab
       autoload :Concatenation,        'rdf/n3/algebra/str/concatenation'
       autoload :Contains,             'rdf/n3/algebra/str/contains'
-      autoload :ContainsIgnoringCase, 'rdf/n3/algebra/str/containsIgnoringCase'
-      autoload :EndsWith,             'rdf/n3/algebra/str/endsWith'
-      autoload :EqualIgnoringCase,    'rdf/n3/algebra/str/equalIgnoringCase'
+      autoload :ContainsIgnoringCase, 'rdf/n3/algebra/str/contains_ignoring_case'
+      autoload :EndsWith,             'rdf/n3/algebra/str/ends_with'
+      autoload :EqualIgnoringCase,    'rdf/n3/algebra/str/equal_ignoring_case'
       autoload :Format,               'rdf/n3/algebra/str/format'
-      autoload :GreaterThan,          'rdf/n3/algebra/str/greaterThan'
-      autoload :LessThan,             'rdf/n3/algebra/str/lessThan'
+      autoload :GreaterThan,          'rdf/n3/algebra/str/greater_than'
+      autoload :LessThan,             'rdf/n3/algebra/str/less_than'
       autoload :Matches,              'rdf/n3/algebra/str/matches'
-      autoload :NotEqualIgnoringCase, 'rdf/n3/algebra/str/notEqualIgnoringCase'
-      autoload :NotGreaterThan,       'rdf/n3/algebra/str/notGreaterThan'
-      autoload :NotLessThan,          'rdf/n3/algebra/str/notLessThan'
-      autoload :NotMatches,           'rdf/n3/algebra/str/notMatches'
+      autoload :NotEqualIgnoringCase, 'rdf/n3/algebra/str/not_equal_ignoring_case'
+      autoload :NotGreaterThan,       'rdf/n3/algebra/str/not_greater_than'
+      autoload :NotLessThan,          'rdf/n3/algebra/str/not_less_than'
+      autoload :NotMatches,           'rdf/n3/algebra/str/not_matches'
       autoload :Replace,              'rdf/n3/algebra/str/replace'
       autoload :Scrape,               'rdf/n3/algebra/str/scrape'
-      autoload :StartsWith,           'rdf/n3/algebra/str/startsWith'
+      autoload :StartsWith,           'rdf/n3/algebra/str/starts_with'
+    end
+
+    module Time
+      def vocab; RDF::N3::Time.to_uri; end
+      module_function :vocab
+      autoload :DayOfWeek,            'rdf/n3/algebra/time/day_of_week'
+      autoload :Day,                  'rdf/n3/algebra/time/day'
+      autoload :GmTime,               'rdf/n3/algebra/time/gm_time'
+      autoload :Hour,                 'rdf/n3/algebra/time/hour'
+      autoload :InSeconds,            'rdf/n3/algebra/time/in_seconds'
+      autoload :LocalTime,            'rdf/n3/algebra/time/local_time'
+      autoload :Minute,               'rdf/n3/algebra/time/minute'
+      autoload :Month,                'rdf/n3/algebra/time/month'
+      autoload :Second,               'rdf/n3/algebra/time/second'
+      autoload :Timezone,             'rdf/n3/algebra/time/timezone'
+      autoload :Year,                 'rdf/n3/algebra/time/year'
     end
 
     def for(uri)
       {
-        RDF::N3::List.append              => List::Append,
-        RDF::N3::List.in                  => List::In,
-        RDF::N3::List.last                => List::Last,
-        RDF::N3::List.member              => List::Member,
+        RDF::N3::List.append              => List.const_get(:Append),
+        RDF::N3::List.first               => List.const_get(:First),
+        RDF::N3::List.in                  => List.const_get(:In),
+        RDF::N3::List.last                => List.const_get(:Last),
+        RDF::N3::List.length              => List.const_get(:Length),
+        RDF::N3::List.member              => List.const_get(:Member),
+
+        RDF::N3::Log.conclusion           => Log.const_get(:Conclusion),
+        RDF::N3::Log.conjunction          => Log.const_get(:Conjunction),
+        RDF::N3::Log.content              => Log.const_get(:Content),
+        RDF::N3::Log.equalTo              => Log.const_get(:EqualTo),
+        RDF::N3::Log.implies              => Log.const_get(:Implies),
+        RDF::N3::Log.includes             => Log.const_get(:Includes),
+        RDF::N3::Log.n3String             => Log.const_get(:N3String),
+        RDF::N3::Log.notEqualTo           => Log.const_get(:NotEqualTo),
+        RDF::N3::Log.notIncludes          => Log.const_get(:NotIncludes),
+        RDF::N3::Log.outputString         => Log.const_get(:OutputString),
+        RDF::N3::Log.parsedAsN3           => Log.const_get(:ParsedAsN3),
+        RDF::N3::Log.semantics            => Log.const_get(:Semantics),
+        RDF::N3::Log.supports             => NotImplemented,
 
-        RDF::N3::Log.conclusion           => Log::Conclusion,
-        RDF::N3::Log.conjunction          => Log::Conjunction,
-        RDF::N3::Log.equalTo              => Log::EqualTo,
-        RDF::N3::Log.implies              => Log::Implies,
-        RDF::N3::Log.includes             => Log::Includes,
-        RDF::N3::Log.notEqualTo           => Log::NotEqualTo,
-        RDF::N3::Log.notIncludes          => Log::NotIncludes,
-        RDF::N3::Log.outputString         => Log::OutputString,
+        RDF::N3::Math.absoluteValue       => Math.const_get(:AbsoluteValue),
+        RDF::N3::Math.acos                => Math.const_get(:ACos),
+        RDF::N3::Math.asin                => Math.const_get(:ASin),
+        RDF::N3::Math.atan                => Math.const_get(:ATan),
+        RDF::N3::Math.acosh               => Math.const_get(:ACosH),
+        RDF::N3::Math.asinh               => Math.const_get(:ASinH),
+        RDF::N3::Math.atanh               => Math.const_get(:ATanH),
+        RDF::N3::Math.ceiling             => Math.const_get(:Ceiling),
+        RDF::N3::Math.ceiling             => Math.const_get(:Ceiling),
+        RDF::N3::Math.cos                 => Math.const_get(:Cos),
+        RDF::N3::Math.cosh                => Math.const_get(:CosH),
+        RDF::N3::Math.difference          => Math.const_get(:Difference),
+        RDF::N3::Math.equalTo             => Math.const_get(:EqualTo),
+        RDF::N3::Math.exponentiation      => Math.const_get(:Exponentiation),
+        RDF::N3::Math.floor               => Math.const_get(:Floor),
+        RDF::N3::Math.greaterThan         => Math.const_get(:GreaterThan),
+        RDF::N3::Math.lessThan            => Math.const_get(:LessThan),
+        RDF::N3::Math.negation            => Math.const_get(:Negation),
+        RDF::N3::Math.notEqualTo          => Math.const_get(:NotEqualTo),
+        RDF::N3::Math.notGreaterThan      => Math.const_get(:NotGreaterThan),
+        RDF::N3::Math.notLessThan         => Math.const_get(:NotLessThan),
+        RDF::N3::Math.product             => Math.const_get(:Product),
+        RDF::N3::Math.quotient            => Math.const_get(:Quotient),
+        RDF::N3::Math.remainder           => Math.const_get(:Remainder),
+        RDF::N3::Math.rounded             => Math.const_get(:Rounded),
+        RDF::N3::Math.sin                 => Math.const_get(:Sin),
+        RDF::N3::Math.sinh                => Math.const_get(:SinH),
+        RDF::N3::Math.tan                 => Math.const_get(:Tan),
+        RDF::N3::Math.tanh                => Math.const_get(:TanH),
+        RDF::N3::Math[:sum]               => Math.const_get(:Sum),
 
-        RDF::N3::Math.absoluteValue       => Math::AbsoluteValue,
-        RDF::N3::Math.difference          => Math::Difference,
-        RDF::N3::Math.equalTo             => Math::EqualTo,
-        RDF::N3::Math.exponentiation      => Math::Exponentiation,
-        RDF::N3::Math.greaterThan         => Math::GreaterThan,
-        RDF::N3::Math.integerQuotient     => Math::IntegerQuotient,
-        RDF::N3::Math.lessThan            => Math::LessThan,
-        RDF::N3::Math.memberCount         => Math::MemberCount,
-        RDF::N3::Math.negation            => Math::Negation,
-        RDF::N3::Math.notEqualTo          => Math::NotEqualTo,
-        RDF::N3::Math.notGreaterThan      => Math::NotGreaterThan,
-        RDF::N3::Math.notLessThan         => Math::NotLessThan,
-        RDF::N3::Math.product             => Math::Product,
-        RDF::N3::Math.quotient            => Math::Quotient,
-        RDF::N3::Math.remainder           => Math::Remainder,
-        RDF::N3::Math.rounded             => Math::Rounded,
-        RDF::N3::Math.sum                 => Math::Sum,
+        RDF::N3::Str.concatenation        => Str.const_get(:Concatenation),
+        RDF::N3::Str.contains             => Str.const_get(:Contains),
+        RDF::N3::Str.containsIgnoringCase => Str.const_get(:ContainsIgnoringCase),
+        RDF::N3::Str.containsRoughly      => NotImplemented,
+        RDF::N3::Str.endsWith             => Str.const_get(:EndsWith),
+        RDF::N3::Str.equalIgnoringCase    => Str.const_get(:EqualIgnoringCase),
+        RDF::N3::Str.format               => Str.const_get(:Format),
+        RDF::N3::Str.greaterThan          => Str.const_get(:GreaterThan),
+        RDF::N3::Str.lessThan             => Str.const_get(:LessThan),
+        RDF::N3::Str.matches              => Str.const_get(:Matches),
+        RDF::N3::Str.notEqualIgnoringCase => Str.const_get(:NotEqualIgnoringCase),
+        RDF::N3::Str.notGreaterThan       => Str.const_get(:NotGreaterThan),
+        RDF::N3::Str.notLessThan          => Str.const_get(:NotLessThan),
+        RDF::N3::Str.notMatches           => Str.const_get(:NotMatches),
+        RDF::N3::Str.replace              => Str.const_get(:Replace),
+        RDF::N3::Str.scrape               => Str.const_get(:Scrape),
+        RDF::N3::Str.startsWith           => Str.const_get(:StartsWith),
 
-        RDF::N3::Str.concatenation        => Str::Concatenation,
-        RDF::N3::Str.contains             => Str::Contains,
-        RDF::N3::Str.containsIgnoringCase => Str::ContainsIgnoringCase,
-        RDF::N3::Str.endsWith             => Str::EndsWith,
-        RDF::N3::Str.equalIgnoringCase    => Str::EqualIgnoringCase,
-        RDF::N3::Str.format               => Str::Format,
-        RDF::N3::Str.greaterThan          => Str::GreaterThan,
-        RDF::N3::Str.lessThan             => Str::LessThan,
-        RDF::N3::Str.matches              => Str::Matches,
-        RDF::N3::Str.notEqualIgnoringCase => Str::NotEqualIgnoringCase,
-        RDF::N3::Str.notGreaterThan       => Str::NotGreaterThan,
-        RDF::N3::Str.notLessThan          => Str::NotLessThan,
-        RDF::N3::Str.notMatches           => Str::NotMatches,
-        RDF::N3::Str.replace              => Str::Replace,
-        RDF::N3::Str.scrape               => Str::Scrape,
-        RDF::N3::Str.startsWith           => Str::StartsWith,
+        RDF::N3::Time.dayOfWeek           => Time.const_get(:DayOfWeek),
+        RDF::N3::Time.day                 => Time.const_get(:Day),
+        RDF::N3::Time.gmTime              => Time.const_get(:GmTime),
+        RDF::N3::Time.hour                => Time.const_get(:Hour),
+        RDF::N3::Time.inSeconds           => Time.const_get(:InSeconds),
+        RDF::N3::Time.localTime           => Time.const_get(:LocalTime),
+        RDF::N3::Time.minute              => Time.const_get(:Minute),
+        RDF::N3::Time.month               => Time.const_get(:Month),
+        RDF::N3::Time.second              => Time.const_get(:Second),
+        RDF::N3::Time.timeZone            => Time.const_get(:Timezone),
+        RDF::N3::Time.year                => Time.const_get(:Year),
       }[uri]
     end
     module_function :for