CVS log for perl/modules/W3C/Rdf/AlgaeCompileTree.pm

Request diff between arbitrary revisions

+ Algae2::ParserMode signals that the parser shouldn't whine about missing functions

~ _assertDecl can return undef if an atom was NULL (i.e. binding from an optional)

+ support for negative unary operator
~ follow API change in Algae2: s/_getBaseType/getNumericBaseType/

+ more numeric patterns
~ s/brutalCast/numericCast/ with appropriate code changes
+ dateTimeFunc

+ support for xsd:boolean

+ RdfDB::clearAttribution
+ addTriple takes an attribution

~ Slurp parses files as utf8

~ $resultSet->testTrue(0) can be asserted from parser
+ Ask::evaluateDeletion
+ odd hackery to get scalar count of dbEvaluate{Asser,Dele}tion's array result
~ {Assert,Delete}::delayedEvaluate sets resultSet to number of triples
~ allow URL resolution to work without a source attribution set
+ BinaryTest::toSQL can serialize Urls

+ ask assertions set the current attribution

~ simplified Algae2::{addSource,getSourceByName} API

+ SRX boolean format
+ one-line report entry for unsupported application/sparql-results+json

~ evaluateAssertion is supposed to return added triples

+ support for INSERT { GRAPH <x> { ... } }
+ FakeAlgae2 supports sourceAttribution and misc flags

+ delete

+ testTrue can be turned off
+ testTrue(1) for ::Asserts
+ testTrue(0) for ::Asks

+ insulation for vapid graph patterns {}

~ make AskAll more consistent with other Algae functions

+ ::AskAll
~ purtied up FakeParser a bit

+ alg:federated
+ +toString(-lang => 'SPARQL')
~ Bindings::delayedEvaluate stores already bound variables
+ TriplesAction->getVars
+ Decl->getVars
+ BinaryDecl->getVars

+ Bindings feature
+ Slurp guesses media type

~ ask can call ask

+ die-unknown-variables

+ warn-unknown-variables

~ make Describe constructor work

+ W3C::Rdf::UnknownFunctionException
~ EquivTest can be called with $l==$r

+ UnmentionedVariableException

+ move blind atom == atom into Algae2::compare
- bug: stops inserting triples after first duplicate in the DB

+ differentiate ordered and sorted flags
+ temporarily force IRI base for URI sublcasses

+ support for Decimal and Double
- literal operator
~ string operator behaves like old literal operator
~ datatype operator: Returns the datatype IRI of ltrl if ltrl is a typed literal; returns xsd:string if ltrl is a simple literal; produces an error otherwise.

~ 11.4.6 lang: Returns the language tag of ltrl, if it has one. It returns "" if ltrl has no language tag.
+ 11.4.11 langMatches:  xsd:boolean   langMatches (simple literal language-tag, simple literal language-range)

+ GraphPatterns can be empty
+ support setLastConstraints API

+ make lang a string so it can be compared with everything else

+ toString(-htmlClassMap => {...})
- SPDL-specific stuff
~ W3C::Rdf::Attribution::Inference->{FACTS} now an RdfDB
+ NovelBNodes and NovelVars now have label names

+ GraphPatteren::toAssertion

+ GraphPatteren decl wrapper
- remove "[]"s from BNode::toString
+ beef up FakeParser

~ moved FakeParser to AlgaeCompileTree

+ sameTerm

+ moved mfx:LangCaseInsensitivity from W3C::Rdf::Algae2::compare to W3C::Rdf::AlgaeCompileTree::EquivTest::_val1

+ LeGeIncludeEq
+ moved [[simple literal < simple literal]] from W3C::Rdf::Algae2::compare to W3C::Rdf::AlgaeCompileTree::BinaryTest::_val1
~ details from <a href="http://unagi/2001/sw/DataAccess/rq23/rq24#ebv">RDFterm-equal</a>

+ move [[plain literal cmp plain literal]] from W3C::Rdf::AlgaeCompileTree::BinaryTest::_val1 to Algae2::compare

+ plain literal cmp plain literal

+ figured out KnownTypesDefault2Neq

- moved type comparison code from Atoms to Algae2
+ a missing nullOut

~ make SelectStar a temporary holder for a later Collect
~ change calling convention for AlgaeCompileTree::SelectStar
~ stupid Atoms::getString interface wants a bare lang
~ AlgaeCompileTree::Int corresponds to an xsd:integer

+ pass DISTINCT flag to ResultSet::trim

+ Pattern
+ XPath
+ {TriplesAction,Conjunction,Decl}::toAssertion
+ {TriplesAction,Option,Decl}::assignVarIndexes
+ casting functions for subtypes of xsd:decimal

+ EBV and compare support for non-numeric type xsd:boolean
+ experimental support for literal

+ isIRI

~ make boolean false be 0 instead of undef
+ use EBVs for all logical comparisons
- disable caveat tracking on unknown types

~ fixed not implemented error messages
~ makde equiv test return an interned type

don't do any canonicalization on URIs

pass IncorrectTypeException and IncorrectTypeException to ResultSet

separate AtomOperations

+ support for rdfs:Resource and rdfs:Literal
~ fixed up regex
~ adapted FuncCall::toString() to FuncCall's union of operator and function

- move namespace handler into parsers
+ place for nestleConstraints
~ move towards evaluating all SELECTS
+ constraints offer evaluateQTerm interface
+ start XML Schema datatype operator matching
+ implemented numeric ops

added gensym BNodes and gensym vars

added NovelBNode for generated results

null out branch of disjunction that was not taken

move evaluation constraints to all decls

changing AlgaeCompileTree class hierarchy and interface

implemented sorting in ResultSet

fix look control

added xml lang support

make casting functions produce a typed literal

consitent empty contraints storage

implemented SPARQL ask

+ added per-statement constraints checking
+ restored scalar refs for variable lookfors

added support for list members

waffled back on = operator

added int cast

return the NULL atom rather than undef

got limit and offset working

added support for DISTINCT

organized function and operator invocations

got datatypes working

added xml:base support

added operators from http://spam.w3.org/2001/sw/DataAccess/rq23/#OperatorMapping

+ constraint evaluation on conjunction
. still need to see how much to widen that up

added constraints processing to Conjunction

add distinct parameter

got rid of ResultSet's USED state

fix up binary toString method

fix the path computation (needs trailing '/' for concatonation)

fixed relative URL bases

added base support

added FileSystemBD

switch to SqlDB for common identifier for SqlDB

added CONSTR_EVAL markers

method notes for where i'm going with constraints

RXQuery support

added constraint disjunction

W3C::Rdf::AlgaeCompileTree::DelayedQName::toString method works when unresolved

make parsing API consistent

added N3 parser

DESCRIBE URI worky

describe worky

groundwork for describe

BRQL worky

added function call support

fixed up distant NULL bindings for optional triples

added reflection

need exception support in Or

comply with assert profile

restored NULLs

change key name and linked database class

added accessors to the different disjunctions

old API

nested optionals

added POD docs

added POD docs

evaluate relative to source attribution

added W3C::Rdf::SafeEvaluationException

added bit flip

using xsd:ints for nums internally

improve Algae2 serializer (toString method)

fixed logical Or problem and made all results be non-null xsd:ints

added arithmetic ops for RDQL

have slurp and constriants working

added RDQL support

bnodes are static; disable vestigial triplesMatching before insert

added support for floats

typo

atomized AlgaeCompileTree (no duplicate rules with the same normalized form)

cleaned up output a bit

added n3 output

s/GenId/BNode/g

got rid of RuleRef (not needed)

parallel statement attribution model

keep fake array from being generated

switched to flags-based toString

using array form toString

fixed (or at least improved) indexing of visited inferences

fix parameter names and number

working with new Attribution structure

got rules working again, reworked Attributions for proofs

playing with trust/proof model

prep for proofs

got inference working slower

non-parser constructors for manually building compile trees

getting annotea working with new attributions

docs for AlgaeParser and AlgaeCompileTree

s/AlgaeStructure/AlgaeCompileTree/

switched to RdfDB for proofs, brought FingerDB up to date

fixed typed literals

added datatypes support

hosting seems to work

switched to AttributionList and cleaned out bagIDs

major cleanup of API and modules