What's new in EYE 10.5.4
Apr 29, 2024
New in EYE 10.3.0 (Apr 22, 2024)
New in EYE 10.2.24 (Apr 20, 2024)
New in EYE 10.2.21 (Apr 19, 2024)
- Adding triple term and edge support
New in EYE 10.2.9 (Apr 11, 2024)
- Fixing proof for lingua and rdfsurfaces
New in EYE 10.2.7 (Apr 11, 2024)
- command line arg --trig is now triggering lingua
New in EYE 10.2.4 (Apr 9, 2024)
- Using https://eyereasoner.github.io instead of http://eyereasoner.github.io.
New in EYE 10.1.2 (Apr 8, 2024)
- Adding experimental log:shell built-in
- Fixing lingua output
- Adding lingua support in the eye reasoner
New in EYE 10.0.5 (Mar 31, 2024)
- rdfsurfaces query is a log:nand containing a log:nans
New in EYE 9.11.4 (Mar 4, 2024)
- Adding log:query built-in and tested with (un)named graphs
New in EYE 9.11.2 (Mar 4, 2024)
New in EYE 9.10.5 (Feb 29, 2024)
- fixing rdf:first and rdf:rest built-ins (obs from Doerthe Arndt)
New in EYE 9.9.14 (Feb 26, 2024)
- Further fixing log:closedBy and named graph merge for lingua
New in EYE 9.9.13 (Feb 26, 2024)
- further fixing named graph merge for lingua
New in EYE 9.9.10 (Feb 26, 2024)
- Removing log:closedBy as it was wrongly implemented.
New in EYE 9.9.9 (Feb 24, 2024)
- fixing --pass-merged for n4
New in EYE 9.9.6 (Feb 24, 2024)
- log:closedBy is only needed for lingua:premise, lingua:body and lingua:question
New in EYE 9.9.4 (Feb 22, 2024)
- see/0 supporting RDF Lingua
New in EYE 9.8.0 (Feb 14, 2024)
- creating lingua branch and keeping rdf11 support in master
New in EYE 9.7.12 (Feb 12, 2024)
- Fixing output of blank nodes and var:'s for lingua.
New in EYE 9.7.10 (Feb 11, 2024)
- fixing lingua so that lingua/pack.trig runs fine
New in EYE 9.7.6 (Feb 10, 2024)
New in EYE 9.7.4 (Feb 9, 2024)
- Fixing repeated named graphs
New in EYE 9.7.3 (Feb 8, 2024)
New in EYE 9.7.1 (Feb 7, 2024)
- using lingua:head and lingua:body to describe backward rules
- fixing lingua compilation
New in EYE 9.6.14 (Feb 3, 2024)
- correcting lingua:bindings as in lingua/proof/derived.trig
New in EYE 9.6.10 (Feb 1, 2024)
- Dropping same_graph_name_for_multiple_graphs/2 exception in lingua and taking the graph union for graph statements with the same name
New in EYE 9.6.5 (Jan 28, 2024)
- passing lingua with 'riot lingua/**/*trig'
- dropping GRAPH keyword for lingua
- global scope of blank nodes in lingua and using them as graph names
- making builtins working in lingua
- automatic lingua detection
- RDF 11 Lingua
- refreshing eye core and having lingua branch
- interpreting lists with first lingua:graphTerm and rest list of triples as graph terms in lingua
- adding graph:equalTo and graph:notEqualTo builtins
- output 'rdf:type' instead of 'a' in lists
New in EYE 9.4.9 (Jan 20, 2024)
- Fixing lingua proof explanation.
New in EYE 9.4.7 (Jan 20, 2024)
- Moving back to the original rdf star implementation
New in EYE 9.3.1 (Jan 8, 2024)
- sing occurencename//1 in the grammar
New in EYE 9.1.1 (Dec 21, 2023)
- using single var: namespace
- adding lingua proof explanations
New in EYE 9.0.18 (Dec 18, 2023)
- Reimplementing log:answer
New in EYE 9.0.17 (Dec 18, 2023)
- adding log:answer to support queries like in https://github.com/eyereasoner/eye/blob/master/reasoning/socrates/socrates.n3
New in EYE 9.0.10 (Dec 11, 2023)
- Using lingua:varCount to make rules safe
- Using lingua:varCount to make rules safe
- Adding experimental log:callNotBind built-in
New in EYE 9.0.8 (Dec 7, 2023)
- using linear lists for surfaces
New in EYE 8.7.2 (Nov 27, 2023)
- using rule:vars and rule:bindings for rdflingua
New in EYE 8.6.17 (Nov 23, 2023)
- Expressing blogic in RDF and running with rdfreasoning
New in EYE 8.6.16 (Nov 22, 2023)
- fixing rdfreasoning for variable conclusions
New in EYE 8.6.15 (Nov 21, 2023)
- taking out sequents in blogic and checking if list-of-3-tuples are unambigous for all built-ins used in rdfreasoning
New in EYE 8.6.12 (Nov 18, 2023)
- supporting shorthand 'a' in 3-tuples
New in EYE 8.6.11 (Nov 17, 2023)
- further fixing output for looking-through-rdf-glasses
New in EYE 8.6.10 (Nov 16, 2023)
- Fixing output for looking-through-rdf-glasses
New in EYE 8.6.9 (Nov 16, 2023)
- Rdflegacy is now rdflanguage and --legacy is not needed anymore
- Using qnames in the output of urn: uris
New in EYE 8.6.7 (Nov 15, 2023)
- further fixing graph: and log: built-ins to deal with rdflegacy
New in EYE 8.6.3 (Nov 11, 2023)
- Automatic interpretation of variables for rdflegacy
- Using lists of 3-tuples in rdflegacy
- Running rdflegacy fibonacci example
- Adding --legacy to support RDF legacy and dropping sequents
- Adding --relabel-blank-nodes to explicitly relabel blank nodes in triple or graph terms
- Moving logic3 and running test manifests
- Adding '($ $) <= query' to logic3
New in EYE 8.5.0 (Nov 8, 2023)
- Adding --relabel-blank-nodes to explicitly relabel blank nodes in triple or graph terms.
New in EYE 8.3.1 (Nov 5, 2023)
- Fixing log:parsedAsN3 built-in (obs from Patrick Hochstenbach)
- Experimental https://github.com/eyereasoner/eye/tree/master/logic3
- Fixing contrapositive for lines
- Using more space to write triple terms
- Fixing log:implies built-in for lines
- Experimental Logic with Infinite fact boxes, NEgation and Sets of possible conclusions - LINES
- Supporting both _:label and skolem:name graffiti for blogic
- Fixing issue https://github.com/eyereasoner/eye/issues/98
- Fixing @forSome for blogic
- Scope of blank nodes is triple/graph term
- Using skolem: prefixed names in the output when feasable
- Removing version 9
- Graph term scope of blank nodes and Skolem IRIs for graffiti
- Fixing --pass-only-new
- Blank nodes have global scope and dropping _vars and ?vars for blogic
- Using quickvars for rdfsurfaces
- Fixing --profile
- Fixing --pass-only-new and fixing _label graffiti in the output
New in EYE 6.1.1 (Oct 23, 2023)
- fixing the roundtripping of _label variables
New in EYE 5.2.3 (Oct 20, 2023)
- Experimental graph term scope for _:_name blank nodes for blogic
- Reverting to EYE v5.0.10 (2023-10-15)
- Retracting the fix of --pass-only-new
New in EYE 5.2.0 (Oct 19, 2023)
- Implicit graph term scope of blank nodes
New in EYE 5.1.1 (Oct 18, 2023)
New in EYE 5.1.0 (Oct 17, 2023)
- implicit global scope of blank nodes
New in EYE 5.0.9 (Oct 15, 2023)
- Surface Equivalent Entailment - SEE
New in EYE 5.0.7 (Oct 10, 2023)
- Adding create sequent metarule for blogic
New in EYE 5.0.5 (Oct 8, 2023)
- working reasoning time generated sequents
New in EYE 5.0.3 (Oct 5, 2023)
- Adding contrapositive for sequents
New in EYE 5.0.1 (Oct 3, 2023)
- Supporting sequents according to https://en.wikipedia.org/wiki/Sequent
New in EYE 4.18.6 (Oct 1, 2023)
- fixing trigger for refresh
New in EYE 4.17.5 (Sep 24, 2023)
- speeding up inference fuse
- simplifying graffiti
- fixing double negation
- reverting unify/2 wrt double negation
- reverting to graffiti as list terms
New in EYE 4.17.1 (Sep 21, 2023)
- Reverting to graffiti as list terms
New in EYE 4.17.0 (Sep 20, 2023)
- Graffiti as a set of blank nodes i.e. ($ bnodes $)
New in EYE 4.16.6 (Sep 19, 2023)
- Reverting graffiti to be list terms
New in EYE 4.16.2 (Sep 16, 2023)
- Adding extra func:add-duration-to-dateTime built-in.
New in EYE 4.16.1 (Sep 14, 2023)
New in EYE 4.15.8 (Sep 7, 2023)
- one way for surface detection
New in EYE 4.15.2 (Sep 3, 2023)
- Neutral surface is just input for the reasoner (and answer surface is output)
New in EYE 4.15.1 (Sep 2, 2023)
New in EYE 4.14.13 (Aug 31, 2023)
- reverting rewrite negative surfaces
New in EYE 4.14.13 (Aug 31, 2023)
- reverting rewrite negative surfaces
New in EYE 4.14.11 (Aug 31, 2023)
- fixing quickvar numbering and output_statements counter
New in EYE 4.14.9 (Aug 26, 2023)
- Fixed:
- "74 for --pass-only-new"
New in EYE 4.14.3 (Aug 20, 2023)
New in EYE 4.11.5 (Aug 11, 2023)
- simplifying neutral surfaces
New in EYE 4.10.16 (Aug 3, 2023)
- working with user defined neutral surfaces
- reering to log:nand
- experimental log:neutral immune to negation
- initial support for n-quads
- taking back experimental parsing of n-quads
- fixing --no-qnames for log:isImpliedBy
- experimental parsing of n-quads
New in EYE 4.10.9 (Aug 2, 2023)
- now using log:nands standing for logic nand surfaces
New in EYE 4.10.3 (Jul 30, 2023)
- can now run blogic without --blogic
New in EYE 4.10.1 (Jul 28, 2023)
- adding log:version built-in
New in EYE 4.9.0 (Jul 26, 2023)
- adding log:imports built-in
New in EYE 4.8.1 (Jul 21, 2023)
- v4.8.1 (2023-07-20) using log:nand with triple term as hint for backward rules
- v4.8.0 (2023-07-20) adding log:notIsomorphic built-in
- v4.7.0 (2023-07-19) adding log:nand built-in plus log:not and log:output
- v4.6.0 (2023-07-14) fixing the simplification of positive surfaces
- v4.5.4 (2023-07-14) fixing the simplification of negative surfaces
- v4.5.3 (2023-07-14) fixing universal statement
- v4.5.2 (2023-07-13) fixing log:uri (obs from Dörthe Arndt)
- v4.5.1 (2023-07-11) fixing --n3p-output of blank nodes
- v4.5.0 (2023-07-09) simplify question surface (obs from Patrick Hochstenbach)
New in EYE 4.4.7 (Jul 7, 2023)
- further fixing output of --n3p-output
New in EYE 4.4.5 (Jul 6, 2023)
New in EYE 4.4.4 (Jul 4, 2023)
- eye --nope --blogic --n3p https://KNowledgeOnWebScale.github.io/retina/rdfsurfaces/socrates/socrates.s
New in EYE 4.4.3 (Jul 1, 2023)
- Fixing log:uuid, fixing --pass-only-new and throwing no_universals_in_blogic exception
New in EYE 4.2.3 (Jun 27, 2023)
- fixing graph built-ins w.r.t. unify/2
- fixing graph:union for graphs containing log:equalTo triples (obs from Patrick Hochstenbach)
- fixing proofs for blogic
New in EYE 4.2.0 (Jun 22, 2023)
- Introducing r:DerivedRule and r:DerivedQuery in the proofs to deal with derived rules and queries
New in EYE 4.1.2 (Jun 22, 2023)
- adding --no-beautified-output switch
- dropping mconc as it is non monotonic
- dropping domain/3 and have witnesses instead
- improving create contrapositive rule for blogic
- fixing unlabeled blank node issue for blogic
- fixing contrapositive rules for blogic
- fixing log:rawType for true and false
New in EYE 4.0.3 (Jun 2, 2023)
- simplify resolution of negative surfaces
New in EYE 4.0.2 (Jun 1, 2023)
- adding inference fuse for log:negativeTriple
- fixing issue with output of true predicate (obs from Patrick Hochstenbach)
- removing --query-answer option and implementing --blogic using rdfsurfaces/0
- Integrated Surfaces in EYE
- using log:negativeTriple built-in (instead of log:onQuerySurface) in blogic odd level surfaces
- adding command line option --no-halt to improve --blogic
- no duplicate rows for csv output
- using log:onAnswerSurface in log:onQuerySurface
New in EYE 3.25.2 (May 24, 2023)
- Fixing log:uuid version 4 clock_seq_hi_and_reserved field
New in EYE 3.24.1 (May 18, 2023)
- fixing proof output for derived rules
New in EYE 3.22.3 (May 4, 2023)
- adding explicit use_module(library(uuid))
New in EYE 3.20.10 (Apr 21, 2023)
- fixing --pass-only-new (obs from William Van Woensel)
New in EYE 3.20.8 (Apr 18, 2023)
- moving the graffiti in erase at even level
New in EYE 3.20.7 (Apr 18, 2023)
- using library pcre when it is installed
New in EYE 3.20.6 (Apr 17, 2023)
- fixing the processing of graffiti for nested surfaces
New in EYE 3.20.0 (Apr 16, 2023)
- Adding backward blogic queries and adding --n3p-output switch to have the reasoner output in n3p
New in EYE 3.19.0 (Apr 15, 2023)
- Improving the way to deal with backward rules in blogic
New in EYE 3.18.0 (Apr 13, 2023)
- more scalable resolve negative surfaces
New in EYE 3.17.6 (Apr 12, 2023)
- Removing the negative surface count limit
New in EYE 3.17.1 (Apr 10, 2023)
- adjusting resolution parameter
New in EYE 3.16.0 (Apr 10, 2023)
- adding --no-blogic-resolve-negative switch to skip resolution of negative surfaces
New in EYE 3.15.2 (Apr 9, 2023)
- simplifying graffiti relabeling
New in EYE 3.13.0 (Apr 4, 2023)
- improving blogic resolution
New in EYE 3.11.0 (Mar 18, 2023)
New in EYE 3.10.0 (Mar 18, 2023)
New in EYE 3.9.0 (Mar 18, 2023)
- order-preserving version of log:conjunction (obs from Dörthe Arndt)
New in EYE 3.8.3 (Mar 15, 2023)
- fixing path expressions in blogic
New in EYE 3.8.1 (Mar 12, 2023)
New in EYE 3.7.1 (Mar 11, 2023)
- further taking out rdf list comprehension in blogic
New in EYE 3.5.0 (Mar 7, 2023)
- extending unifier for rdf lists
New in EYE 3.4.13 (Mar 6, 2023)
- fixing nested blogic graffiti using rdf lists
New in EYE 3.4.12 (Mar 6, 2023)
- dealing with rdf lists in the conclusion of backward rules for blogic
New in EYE 3.4.11 (Mar 5, 2023)
- further fixing rdf lists in rules
New in EYE 3.4.2 (Mar 2, 2023)
- fixing positive surface blogic
New in EYE 3.3.0 (Feb 28, 2023)
- simplified blogic implementation thanks to erasure at even level
New in EYE 3.1.3 (Feb 24, 2023)
- fixing @forAllin the premis of rules (obs from Jesse Wright)
New in EYE 3.1.2 (Feb 24, 2023)
- fixing log:notIncludes for (context recursion) scope (obs from Patrick Hochstenbach)
New in EYE 3.1.1 (Feb 24, 2023)
- fixing log:n3String interference with writing prefixes (obs from Jesse Wright)
New in EYE 3.1.0 (Feb 24, 2023)
- adding blogic deiteration at nested level
New in EYE 3.0.1 (Feb 23, 2023)
- fixing blogic graffiti when using rdf:first, rdf:rest and rdf:nil (obs from Patrick Hochstenbach)
New in EYE 3.0.0 (Feb 22, 2023)
- core blogic metarules and new list:sort, log:callWithCut and log:callWithOptional built-ins
New in EYE 2.13.0 (Feb 20, 2023)
- rewrite negative surface disjunction for blogic
New in EYE 2.12.2 (Feb 20, 2023)
- fixing string:concatenation (obs from Dörthe Arndt)
New in EYE 2.12.1 (Feb 20, 2023)
- improving non-unit resolution for blogic
New in EYE 2.12.0 (Feb 20, 2023)
- improving non-unit resolution for blogic and dropping log:onAskSurface and log:onConstructSurface
New in EYE 2.11.0 (Feb 20, 2023)
- adding non-unit resolution for blogic
New in EYE 2.10.3 (Feb 15, 2023)
- Adding blogic negative surface redundancy removal
New in EYE 2.10.2 (Feb 12, 2023)
- using log:onQuerySurface instead of log:onConstructSurface
New in EYE 2.10.1 (Feb 11, 2023)
- fixing https://github.com/eyereasoner/Notation3-By-Example/blob/main/log/blogic/negativeSurface3.n3
New in EYE 2.10.0 (Feb 11, 2023)
- backward rules are now using log:onConstructSurface instead of log:onQuerySurface
New in EYE 2.9.0 (Feb 10, 2023)
- adding log:onAskSurface to ask ground questions
New in EYE 2.8.2 (Feb 10, 2023)
- using --warn to warn for multiple models with --blogic
New in EYE 2.8.1 (Feb 9, 2023)
- refactoring --blogic which is removing the exponential dsplit/3
New in EYE 2.8.0 (Feb 9, 2023)
- eye --blogic is now single model
New in EYE 2.7.5 (Feb 6, 2023)
- making sure that no built-in arrives in the conclusion of rules generated for --blogic
New in EYE 2.7.4 (Feb 5, 2023)
- simplifying the --blogic rule for contrapositives
New in EYE 2.7.3 (Feb 4, 2023)
- further substantial performance improvement of --blogic
New in EYE 2.7.0 (Feb 3, 2023)
New in EYE 2.6.3 (Feb 2, 2023)
- fixing issues with log:rawType to succeed with https://github.com/eyereasoner/Notation3-By-Example/blob/main/log/rawType.n3
- [v2.6.2] using log:UnlabeledBlankNode instead of log:BlankNode for the log:rawType of []
New in EYE 2.6.0 (Jan 31, 2023)
- adding log:isBlank built-in for SPARQL emulation
New in EYE 2.5.0 (Jan 31, 2023)
- generating fewer implications for --blogic
New in EYE 2.4.0 (Jan 31, 2023)
- refactoring --blogic and removing --no-erase
New in EYE 2.3.10 (Jan 30, 2023)
- fixing output of inference fuse
New in EYE 2.3.9 (Jan 29, 2023)
- refining --blogic model generation
New in EYE 2.3.7 (Jan 24, 2023)
- fixing output of variable predicates (obs from Dörthe Arndt)
New in EYE 2.3.5 (Jan 22, 2023)
- beautifying the output of graph literals
New in EYE 2.3.4 (Jan 22, 2023)
- adding experimental log:graffiti built-in as used in https://github.com/eyereasoner/eye/blob/master/reasoning/blogic/parteval.n3
New in EYE 2.3.3 (Jan 20, 2023)
- fixing https://github.com/eyereasoner/eye/blob/master/reasoning/blogic/beetle13.n3 (obs from Dörthe Arndt)
New in EYE 2.3.2 (Jan 20, 2023)
- improving readability of blogic graphs (obs from Ruben Dedecker)
New in EYE 2.3.1 (Jan 20, 2023)
- improving the output of log:trace (obs from William Van Woensel)
New in EYE 2.3.0 (Jan 15, 2023)
- Loading library(dif) so that dif/2 can be used in n3p (obs from Patrick Hochstenbach)
New in EYE 2.2.0 (Jan 14, 2023)
- adding --no-models option to have no model generation for blogic
New in EYE 2.1.0 (Jan 12, 2023)
- improving blogic model handling
New in EYE 2.0.1 (Jan 8, 2023)
- Using semantic versioning
New in EYE 23.0106.2349 (Jan 7, 2023)
- fixing log:prefix built-in to work backwards too (obs from Tim Duval)
New in EYE 23.0105.1853 (Jan 6, 2023)
- removing experimental <| ... |> notation
New in EYE 22.1226.2224 (Dec 27, 2022)
- introducing <| ... |> quoted graphs
New in EYE 22.1224.0044 (Dec 25, 2022)
- experimental implementation of -{ ... }- quoted graphs
New in EYE 22.1221.2050 (Dec 22, 2022)
- working around issue with --debug-models
New in EYE 22.1220.1055 (Dec 20, 2022)
- throwing invalid_graffiti/2 exception when graffiti is not composed of blank nodes (obs from Patrick Hochstenbach)
New in EYE 22.1217.1505 (Dec 19, 2022)
- no more need for --nope when using --blogic
New in EYE 22.1216.2120 (Dec 17, 2022)
- Adding experimental graph:intersection and graph:union built-ins
New in EYE 22.1214.1302 (Dec 15, 2022)
- Improving some built-ins so that can also understand RDF surfaces
New in EYE 22.1213.0917 (Dec 13, 2022)
- fixing log:ifThenElseIn for surfaces
New in EYE 22.1212.2153 (Dec 13, 2022)
- extending log:ifThenElseIn to support graph scope and reasoner scope
New in EYE 22.1210.1903 (Dec 11, 2022)
- fixing https://github.com/phochste/Notation3-By-Example/blob/main/log/blogic/disjunction_elimination3.n3 (obs from Patrick Hochstenbach)
New in EYE 22.1209.1433 (Dec 10, 2022)
- fixing https://github.com/josd/eye/blob/master/reasoning/blogic/beetle10.n3
New in EYE 22.1208.2103 (Dec 9, 2022)
- fixing https://github.com/phochste/Notation3-By-Example/blob/main/log/blogic/disjunction2.n3 (obs from Patrick Hochstenbach)
New in EYE 22.1207.2316 (Dec 8, 2022)
- Fixing non-monotonicity issue with disjunctive surfaces (obs from Dörthe Arndt)
New in EYE 22.1206.2212 (Dec 7, 2022)
- using got_models/0 to close the reasoning
New in EYE 22.1203.1224 (Dec 4, 2022)
- Fixing issue https://github.com/josd/eye/issues/50 error when using local Windows paths
New in EYE 22.1201.1601 (Dec 2, 2022)
- just disjunctions via contrapositives and adding more contrapositives
New in EYE 22.1130.2240 (Dec 1, 2022)
- further fixing n-ary disjunctions (obs from Dörthe Arndt)
New in EYE 22.1129.2355 (Nov 30, 2022)
- Further fixing n-ary disjunctions (obs from Dörthe Arndt)
New in EYE 22.1128.2238 (Nov 29, 2022)
- Fixing issue with n-ary disjunctions (pbs from Dörthe Arndt)
New in EYE 22.1126.0121 (Nov 26, 2022)
- Adding log:multisetEqualTo and log:multisetNotEqualTo built-ins
New in EYE 22.1125.0941 (Nov 25, 2022)
- using log:onConstructSurface instead of log:onOutputSurface (obs from Patrick Hochstenbach)
New in EYE 22.1124.2218 (Nov 25, 2022)
- fixing log:collectAllIn, subject graphs parsing and unify/2 (obs from Patrick Hochstenbach)
New in EYE 22.1123.2147 (Nov 24, 2022)
- Fixing issue with automatic creation of rules
New in EYE 22.1122.1047 (Nov 23, 2022)
- Fixing owl:hasKey rule at https://josd.github.io/eye/reasoning/rpo/owl-hasKey.n3 (obs from Dörthe Arndt)
New in EYE 22.1111.1734 (Nov 14, 2022)
- adding --no-erase command line option to disable the erase functionality for blogic (obs from Patrick Hochstenbach)
- [v22.1105.2210] minimal implementation of log:onNeutralSurface
New in EYE 22.1105.2210 (Nov 6, 2022)
- Minimal implementation of log:onNeutralSurface
New in EYE 22.1104.2224 (Nov 5, 2022)
New in EYE 22.1103.2056 (Nov 4, 2022)
- Improving performance of erasure in nested negative surfaces
New in EYE 22.1102.2045 (Nov 3, 2022)
- extending erasure in nested negative surfaces
New in EYE 22.1030.1927 (Oct 31, 2022)
- adding log:onPositiveSurface unification
New in EYE 22.1029.2028 (Oct 30, 2022)
- supporting triple quoted string output (obs from Tim Duval)
New in EYE 22.1028.1121 (Oct 29, 2022)
- Fixing query surfaces that are the result of a rule (obs from Patrick Hochstenbach)
New in EYE 22.1025.2014 (Oct 26, 2022)
- Fixing issue with <- inverse property syntax (obs from William Van Woensel)
- [v22.1024.2248] further improving erasure thanks to Patrick Hochstenbach
New in EYE 22.1021.1922 (Oct 22, 2022)
- fixing --multi-query so that it can run with log:onQuerySurface queries
New in EYE 22.1016.2138 (Oct 17, 2022)
- optimizing double negative surfaces
New in EYE 22.1015.1421 (Oct 16, 2022)
- working around an issue with positive surfaces (obs from Patrick Hochstenbach)
New in EYE 22.1014.2155 (Oct 15, 2022)
- fixing nested positive surfaces with log:onPositiveSurface built-in
New in EYE 22.1013.0848 (Oct 14, 2022)
- Answering log:onAskSurface with log:onAnswerSurface true or false
New in EYE 22.1012.0017 (Oct 13, 2022)
- experimental log:onAskSurface which should be sound and complete
New in EYE 22.1005.1958 (Oct 6, 2022)
- Adding list:firstRest built-in and using new exit codes: 0 normal, 1 syntax error, 2 inference fuse, 3 other
New in EYE 22.1004.2157 (Oct 5, 2022)
- supporting r:source annotations to use those in proofs
New in EYE 22.1002.2146 (Oct 3, 2022)
- adding contraposition to --blogic for reasons of completeness
New in EYE 22.1001.1155 (Oct 2, 2022)
- Fixing incompleteness issue in --blogic
New in EYE 22.0929.2000 (Sep 30, 2022)
- simply making --blogic a command line option to support RDF surfaces
New in EYE 22.0927.1834 (Sep 28, 2022)
- [v22.0927.1834] adding log:callWithCleanup built-in to call subject formula and when it is finished, either with succes or failure, the object formula is called
New in EYE 22.0927.0845 (Sep 28, 2022)
- adding log:onPositiveSurface built-in for RDF surfaces
New in EYE 22.0924.1501 (Sep 25, 2022)
- Using log:onNegativeSurface log:onQuerySurface log:onNeutralsurface to be clear that the subject is the graffiti on the object surface
New in EYE 22.0921.2107 (Sep 22, 2022)
- fixing the scope of variables for blogic
New in EYE 22.0919.1746 (Sep 20, 2022)
- adding --output <file> option to output reasoner output to <file>
New in EYE 22.0909.2055 (Sep 9, 2022)
- adding math:roundedTo (done by Patrick Hochstenbach)
New in EYE 22.0908.2207 (Sep 9, 2022)
- extending regex support without library(pcre)
New in EYE 22.0907.2251 (Sep 8, 2022)
- adding log:inferences built-in
New in EYE 22.0907.1158 (Sep 7, 2022)
- adding log:bound log:racine and log:skolem built-ins
New in EYE 22.0906.2239 (Sep 7, 2022)
- adding string:notContainsRoughly built-in
New in EYE 22.0906.1309 (Sep 6, 2022)
- adding list:memberAt and list:removeAt built-ins
New in EYE 22.0904.1357 (Sep 5, 2022)
- fixing --blogic for https://github.com/phochste/Notation3-By-Example/blob/main/log/blogic/negativeSurface2.n3 (obs from Patrick Hochstenbach)
New in EYE 22.0830.2142 (Aug 31, 2022)
- reverting the loading of libraries
New in EYE 22.0828.0945 (Aug 28, 2022)
- Fixing https://github.com/josd/eye/issues/45
New in EYE 22.0809.1553 (Aug 10, 2022)
- Fixing log:uri in conjunction with e:labelvars (obs from William Van Woensel)
New in EYE 22.0804.2304 (Aug 5, 2022)
- fixing log:rawType for var: uris (obs from William Van Woensel)
New in EYE 22.0803.1340 (Aug 4, 2022)
- fixing e:labelvars built-in to use local numbering (obs from William Van Woensel)
New in EYE 22.0801.1043 (Aug 2, 2022)
- Fixing e:labelvars built-in to use avars (obs from William Van Woensel)
New in EYE 22.0729.2037 (Jul 30, 2022)
- Adding string:length built-in (obs from William Van Woensel)
New in EYE 22.0722.2355 (Jul 25, 2022)
- fixing string:concatenation for universals
New in EYE 22.0722.0847 (Jul 22, 2022)
- implementing log:localN3String where universals are only unique within the printed formula (obs from William Van Woensel)
New in EYE 22.0721.2121 (Jul 22, 2022)
- using --intermediate <n3p-file> instead of --pcode <n3p-file>
New in EYE 22.0720.2135 (Jul 21, 2022)
- fixing log:rawType to return log:Literal instead of rdfs:Literal (obs from William Van Woensel)
New in EYE 22.0719.1137 (Jul 19, 2022)
New in EYE 22.0717.2213 (Jul 18, 2022)
- adding --n3p <uri> to load N3P pcode and --pcode <n3p-file> to produce N3P pcode
New in EYE 22.0712.1145 (Jul 12, 2022)
- Not using library(process) and library(uri)
New in EYE 22.0711.1846 (Jul 11, 2022)
- adding list:setEqualTo and list:setNotEqualTo built-in
New in EYE 22.0628.0950 (Jun 29, 2022)
- bringing back support for ($ elements $) sets to resolve https://github.com/w3c/N3/issues/95
New in EYE 22.0627.1819 (Jun 28, 2022)
- supporting [ id triples ] to solve https://github.com/w3c/N3/issues/100
New in EYE 22.0623.1440 (Jun 23, 2022)
- the = or owl:sameAs can be anywhere in the iriPropertyList for issue https://github.com/w3c/N3/issues/100
New in EYE 22.0622.1937 (Jun 23, 2022)
- implementing iriPropertyList starting with '[ =' (see https://github.com/w3c/N3/issues/100)
New in EYE 22.0610.1022 (Jun 10, 2022)
- simplified Dockerfile (done by Boris De Vloed)
New in EYE 22.0608.1223 (Jun 9, 2022)
- fixing years in --license
New in EYE 22.0526.0934 (May 31, 2022)
- fixing various --turtle issues
New in EYE 22.0424.1245 (May 1, 2022)
- fixing proofs when using retwist
New in EYE 22.0421.0959 (Apr 22, 2022)
- improving log:becomes to support retwistable inferencing
New in EYE 22.0409.1317 (Apr 10, 2022)
- Reverting the scope of blank nodes to be the N3 formula
New in EYE 22.0408.2025 (Apr 9, 2022)
- adding reasoning/n3patch example to patch N3 data
New in EYE 22.0406.2154 (Apr 7, 2022)
- Introducing --tactic limited-witness <nr> to use only a limited number of witnesses (obs from Pieter Bonte)
New in EYE 22.0406.1028 (Apr 6, 2022)
- fixing --pass for N3 patch example https://solidproject.org/TR/protocol#writing-resources
New in EYE 22.0401.1756 (Apr 2, 2022)
- fixing issue with --proof and explicit quantification
New in EYE 22.0316.2325 (Mar 17, 2022)
- fixing e:becomes (obs from William Van Woensel)
New in EYE 22.0224.2145 (Feb 24, 2022)
- repairing web get capability
New in EYE 22.0220.1400 (Feb 21, 2022)
- making common version for eyenext
New in EYE 22.0218.2226 (Feb 19, 2022)
- extending e:fail and e:findall so that subject is e:ScopeOrFormula
New in EYE 22.0203.1955 (Feb 4, 2022)
- fixing issue https://github.com/josd/eye/issues/33
New in EYE 22.0128.1551 (Jan 30, 2022)
- fixing backward rules generated by forward rules (issue https://github.com/josd/eye/issues/32)
New in EYE 22.0126.1149 (Jan 27, 2022)
- supporting nested log:scope to deal with log:universal and log:existential
New in EYE 22.0125.1823 (Jan 26, 2022)
- improving unify/2 for log:scope
New in EYE 22.0124.1659 (Jan 25, 2022)
- adding e:before built-in to call the subject formula before the object formula
New in EYE 22.0117.1432 (Jan 17, 2022)
- making log:collectAllIn like e:findall and dropping e:find
New in EYE 22.0103.1833 (Jan 4, 2022)
- extending e:call so that is able to call the object formula in the subject formula
New in EYE 21.1227.1119 (Dec 27, 2021)
- further fixing https://github.com/josd/eye/issues/28
New in EYE 21.1226.2106 (Dec 26, 2021)
- fixing https://github.com/josd/eye/issues/28
New in EYE 21.1218.1852 (Dec 19, 2021)
- fixing bug in e:becomes (which is linear logic implication)
New in EYE 21.1217.1838 (Dec 18, 2021)
- fixing exitentials in a backward query
New in EYE 21.1215.1908 (Dec 16, 2021)
- making log:collectAllIn premis order independent
New in EYE 21.1213.1906 (Dec 14, 2021)
- fixing e:find for empty answer (obs from Doerthe Arndt)
New in EYE 21.1203.1426 (Dec 4, 2021)
- Fixing log:notIncludes and log:notEqualTo for existential rules per issue issues/25 (obs from Doerthe Arndt and Stephan Mennicke)
New in EYE 21.1203.1050 (Dec 3, 2021)
- fixing log:notIncludes and log:notEqualTo for existential rules per issue https://github.com/josd/eye/issues/25 (obs from Doerthe Arndt)
New in EYE 21.1125.2043 (Nov 26, 2021)
- fixing floundering issue with log:notIncludes
New in EYE 21.1124.2208 (Nov 25, 2021)
- Fixing log:notIncludes issues/25 (obs from Pierre-Antoine Champin)
New in EYE 21.1123.1419 (Nov 23, 2021)
- Adding ?SCOPE e:find (?SELECT ?WHERE ?ANSWER) built-in which binds the free variables in ?WHERE except those that occur in ?SELECT
New in EYE 21.1115.2205 (Nov 16, 2021)
- adding non_rdf_entailment/2 exception for --entail and --not-entail
New in EYE 21.1111.1241 (Nov 12, 2021)
- Fix atom_concat/3 calls that create atoms that are not used #23 (obs from Paulo Moura)
New in EYE 21.1110.1436 (Nov 11, 2021)
- Fixing issues with reasoning/nps (new proposed semantics thanks to Pierre-Antoine Champin)
New in EYE 21.1028.2142 (Oct 29, 2021)
- fixing universals in generated rules (obs from William Van Woensel)
New in EYE 21.1023.1345 (Oct 24, 2021)
- adding meta-interpretation at reasoning/mi (thanks to Markus Triska)
New in EYE 21.0926.2252 (Sep 26, 2021)
- fixing math:asin math:acos math:atan math:asinh math:acosh math:atanh built-ins and adding blogic complex functions example
New in EYE 21.0924.2013 (Sep 25, 2021)
- reverting --skolem-genid option
New in EYE 21.0923.2040 (Sep 24, 2021)
- fixing the creation of rules based on globally scoped bnodes (obs from Doerthe Arndt)
New in EYE 21.0921.1204 (Sep 21, 2021)
- Improving --pass-only-new in conjunction with e:becomes (obs from Ryan Shaw)
New in EYE 21.0916.1958 (Sep 17, 2021)
- returning exit code 1 when failing to load invalid document (obs from Ryan Shaw)
New in EYE 21.0912.2042 (Sep 12, 2021)
- fixing bnodes in generated rules
New in EYE 21.0905.0842 (Sep 6, 2021)
New in EYE 21.0901.2352 (Sep 2, 2021)
- reworking to EYE Linked Data
New in EYE 21.0831.1140 (Sep 1, 2021)
- switching to hybrid blank node scope
New in EYE 21.0830.2247 (Aug 31, 2021)
- using webize/2 in EYE Lateral
New in EYE 21.0830.1654 (Aug 30, 2021)
- using ld/2 (linked data) in EYE Lateral
New in EYE 21.0830.0808 (Aug 30, 2021)
- using wrapper/2 to webize in EYE Lateral
New in EYE 21.0828.1944 (Aug 29, 2021)
- adding Lateral targeting EYE reasoning using Trealla
New in EYE 21.0826.1550 (Aug 26, 2021)
New in EYE 21.0819.1956 (Aug 19, 2021)
- Avoiding that blank nodes are leaking as Skolem IRIs
New in EYE 21.0816.2107 (Aug 17, 2021)
- Adding --skolem-genid <genid> command line option to use <genid> in Skolem IRIs
New in EYE 21.0816.1636 (Aug 16, 2021)
- Adding TWO targeting EYE reasoning
New in EYE 21.0811.1752 (Aug 11, 2021)
- Extending log:includes and log:notIncludes to support e:Scope subject
New in EYE 21.0809.2141 (Aug 9, 2021)
- Option --restricted is restricting to core built-ins
New in EYE 21.0708.2239 (Jul 9, 2021)
New in EYE 21.0708.1553 (Jul 8, 2021)
- further improving the use of Skolem IRIs
New in EYE 21.0706.1214 (Jul 7, 2021)
- fixing log:semantics (obs from Doerthe Arndt)
New in EYE 21.0622.1431 (Jun 22, 2021)
- Fixing blank node quantification according to https://lists.w3.org/Archives/Public/public-n3-dev/2021Jun/0026.html
New in EYE 21.0621.2307 (Jun 22, 2021)
- looking into consequences of 'static' (lexical) scoping behaviour of bnodes
New in EYE 21.0617.2258 (Jun 18, 2021)
- Fixing issues with backward chaining rules (obs from Pierre-Antoine Champin)
New in EYE 21.0609.2221 (Jun 10, 2021)
- further fixing the use of Skolem IRIs
New in EYE 21.0608.1647 (Jun 9, 2021)
- further improving the use of Skolem IRIs
New in EYE 21.0607.2335 (Jun 8, 2021)
- using Skolem IRIs when formuladepth is not zero
New in EYE 21.0530.2141 (May 31, 2021)
- stepping back to distributed mathematical library
New in EYE 21.0529.1304 (May 30, 2021)
- changing namespace for Euler Yet another proof Engine mathematical Library
New in EYE 21.0526.1011 (May 28, 2021)
- Fixing datatype for language strings (obs from Pierre-Antoine Champin)
New in EYE 21.0524.1151 (May 25, 2021)
- adding log:forAllIn and log:collectAllIn built-ins
New in EYE 21.0510.2007 (May 11, 2021)
- fixing derived integrity constaints (obs from Pierre-Antoine Champin)
New in EYE 21.0509.1819 (May 10, 2021)
New in EYE 21.0414.2118 (Apr 15, 2021)
- Fixing issue with properly stopping of the reasoning
New in EYE 21.0409.1202 (Apr 10, 2021)
- removing e:primes, e:roots, e:solveEquation and e:totient built-ins and using eye/mathematical instead
New in EYE 21.0323.2200 (Mar 24, 2021)
- Adding log:forAllIn built-in
New in EYE 21.0320.2311 (Mar 22, 2021)
- compiling numeric datatyped literals and adding graph:difference and graph:length built-ins
New in EYE 21.0315.2105 (Mar 16, 2021)
- changing from log:map to list:map (obs from Pierre-Antoine Champin)
New in EYE 21.0313.1434 (Mar 14, 2021)
- adding time:localTime and e:exec built-ins and creating EARL reports for rdf-star, turtle-dev and n3-dev
New in EYE 21.0312.1751 (Mar 13, 2021)
- Adding log:map built-in (from N3 Community Group)
New in EYE 21.0305.2145 (Mar 7, 2021)
- simplifying log:notIncludes
New in EYE 21.0228.1130 (Feb 28, 2021)
- correcting the default encoding for the http_open stream
New in EYE 21.0227.1343 (Feb 27, 2021)
New in EYE 21.0226.2146 (Feb 27, 2021)
- Adding list:length and list:remove builtins (from N3 Community Group)
New in EYE 21.0223.2124 (Feb 24, 2021)
- fixing list:append (obs from William Van Woensel)
New in EYE 21.0222.2055 (Feb 23, 2021)
- adding proposed list:iterate built-in (from N3 Community Group)
New in EYE 21.0219.2020 (Feb 20, 2021)
- e:sort is now also removing duplicates
New in EYE 21.0214.1641 (Feb 15, 2021)
- fixing issue Redundant calls to append/2 #16
New in EYE 21.0202.2156 (Feb 3, 2021)
New in EYE 21.0123.1233 (Jan 26, 2021)
- making sure that the common universals in premise and conclusion of forward rules are ground
New in EYE 21.0108.2234 (Jan 9, 2021)
- Working with SWI-Prolog 8.3.17
New in EYE 21.0107.2307 (Jan 8, 2021)
- adding e:solveEquation built-in to solve equations
New in EYE 20.1227.1157 (Dec 28, 2020)
- fixing https://github.com/josd/eye/issues/8
New in EYE 20.1224.2323 (Dec 25, 2020)
- Improving the performance of e:primes
New in EYE 20.1217.1242 (Dec 18, 2020)
New in EYE 20.1216.1756 (Dec 17, 2020)
- Fixing atomify/2 and dropping --ignore-syntax-error
New in EYE 20.1215.2201 (Dec 16, 2020)
- improving turtle-star syntax checking
New in EYE 20.1214.2259 (Dec 15, 2020)
- fixing --entail of empty graph
New in EYE 20.1213.1252 (Dec 13, 2020)
- adding e:fileString to read file content into a string
New in EYE 20.1212.2140 (Dec 13, 2020)
- implementing --not-entail for rdft:TestTurtleNegativeSyntax
New in EYE 20.1211.1403 (Dec 12, 2020)
- introducing --not-entail <rdf-graph> to output true if RDF graph is not entailed
New in EYE 20.1211.0035 (Dec 11, 2020)
- Simplifying annotation of triples
New in EYE 20.1208.1753 (Dec 9, 2020)
- allowing derived rules in the deductive closure (obs from Doerthe Arndt)
New in EYE 20.1207.2048 (Dec 8, 2020)
- allowing derived rules in the deductive closure
New in EYE 20.1207.1537 (Dec 7, 2020)
- updating reasoning to always use PREFIX instead of @prefix
New in EYE 20.1207.1300 (Dec 7, 2020)
New in EYE 20.1205.2222 (Dec 5, 2020)
- supporting rdf-star triple annotation 'triple {| propertylist |}'
New in EYE 20.1203.2013 (Dec 4, 2020)
- Generating proofs without explicit quantification
New in EYE 20.1123.2124 (Nov 24, 2020)
- reverting the previous fix for issue with @forSome
New in EYE 20.1115.1419 (Nov 16, 2020)
- simplifying free variables as names starting with $
New in EYE 20.1115.1419 (Nov 16, 2020)
- Simplifying free variables as names starting with $
- Fixing free variables as names starting with $
- Using free variables as names starting with $
New in EYE 20.1115.0059 (Nov 15, 2020)
- Running with swipl version 8311
- Using free variables as names starting with $
New in EYE 20.1027.2307 (Oct 27, 2020)
- Removing --pl and using n3 instead
New in EYE 20.1023.2102 (Oct 24, 2020)
- Testing and working fine with SWI-Prolog version 8.3.10
New in EYE 20.1020.2137 (Oct 20, 2020)
- reverting to the original flow patterns for math:sum, math:product, math:difference and math:quotient
New in EYE 20.1001.1755 (Oct 1, 2020)
New in EYE 20.0922.2212 (Sep 22, 2020)
- Further improving flow control for math: built-ins
New in EYE 20.0922.0806 (Sep 22, 2020)
- Fixing issue with math:sum flow patterns (obs from Pierre-Antoine Champin)
New in EYE 20.0919.1930 (Sep 20, 2020)
- supporting all kinds of flow patterns for math:sum and math:product (obs from Greg Kellogg)
New in EYE 20.0910.0008 (Sep 10, 2020)
- Resolving https://github.com/josd/eye/issues/4
New in EYE 20.0825.2124 (Aug 25, 2020)
- no WS in IRIref as per resolution of https://github.com/w3c/N3/issues/41
New in EYE 20.0825.2124 (Aug 25, 2020)
- no WS in IRIref as per resolution of https://github.com/w3c/N3/issues/41
New in EYE 20.0825.1024 (Aug 25, 2020)
- no WS in IRIref as per resolution of https://github.com/w3c/N3/issues/41
New in EYE 20.0822.1924 (Aug 22, 2020)
- Removing all the deprecated code and moving --n3p to --debug-n3p
New in EYE 20.0820.2237 (Aug 21, 2020)
- Removing --carl and targeting Graph Literals to Augment Simple Statements
New in EYE 20.0816.2139 (Aug 16, 2020)
- this version should have a complete graph literal unifier
New in EYE 20.0812.1747 (Aug 13, 2020)
- Correcting graph literal unifier for log:equalTo
New in EYE 20.0811.2338 (Aug 12, 2020)
- Further improving graph literal unification
New in EYE 20.0810.1331 (Aug 10, 2020)
- Reimplementing graph literal unification and adding example test case https://github.com/josd/eye/tree/master/reasoning/n3gl
New in EYE 20.0805.2233 (Aug 6, 2020)
- Dropping whitespace in uris
New in EYE 20.0803.2102 (Aug 4, 2020)
- Adding --pl switch to support Prolog facts, rules and queries
New in EYE 20.0802.2241 (Aug 3, 2020)
- fixing errors for https://github.com/w3c/N3/blob/master/tests/N3Tests/new_syntax/inverted_properties.n3
New in EYE 20.0721.1253 (Jul 21, 2020)
- Supporting ':s <- :p :o' which is the same as ':s @is :p @of :o' and fixing IRIREF to exclude whitespace (obs from Greg Kellogg)
New in EYE 20.0716.2304 (Jul 17, 2020)
- Fixing LANGTAG confused with @is and @has (obs from Gregg Kellogg)
New in EYE 20.0703.0848 (Jul 3, 2020)
- Testing and running with SWI-Prolog version 8.3.3.
New in EYE 20.0603.2122 (Jun 4, 2020)
- Initial support for N3* thanks to w3c/N3 community group
New in EYE 20.0528.1036 (May 28, 2020)
- Running with SWI-Prolog version 8.3.0
New in EYE 20.0525.2056 (May 25, 2020)
- Fixing log:equalTo built-in to unify rdf lists
New in EYE 20.0515.2122 (May 16, 2020)
New in EYE 20.0510.2019 (May 10, 2020)
- deprecating --carl and --n3p and using original N3 parser instead
New in EYE 20.0509.2205 (May 9, 2020)
- Deprecating --prolog and using N3 backward rules instead
New in EYE 20.0508.2157 (May 8, 2020)
- Running with SWI-Prolog version 8.1.31
- Dropping --strict option
New in EYE 20.0507.1852 (May 7, 2020)
- moving back to previous implementation of e:becomes (obs from Doerthe Arndt)
New in EYE 20.0501.2209 (May 2, 2020)
- Running with SWI-Prolog version 8.1.30
New in EYE 20.0423.1748 (Apr 24, 2020)
- Fixing e:stringSplit (obs from Hans Cools) and fixing reasoning about <= rules (obs from Doerthe Arndt)
New in EYE 20.0411.2226 (Apr 12, 2020)
- switching to --prolog instead of --plugin
New in EYE 20.0403.2208 (Apr 4, 2020)
- Adding complex number exponentiation
New in EYE 20.0323.1552 (Mar 23, 2020)
- Running with SWI-Prolog version 8.1.25
New in EYE 20.0320.2222 (Mar 21, 2020)
- Fixing:
- E:graphIntersection for empty intersection
New in EYE 20.0313.1435 (Mar 13, 2020)
- Fixing e:graphIntersection for partially instantiated graphs (obs from Doerthe Arndt)
New in EYE 20.0310.2137 (Mar 11, 2020)
- Making e:graphIntersection non deteterministic (obs from Doerthe Arndt)
New in EYE 20.0227.1323 (Feb 27, 2020)
- Correcting prolog:day_of_the_week built-in (obs from Pieter Heyvaert)
New in EYE 20.0225.2300 (Feb 26, 2020)
- Moving back to previous implementation of e:becomes (obs from Doerthe Arndt
New in EYE 20.0223.1436 (Feb 23, 2020)
- adding back eye/reasoning
New in EYE 20.0218.2044 (Feb 18, 2020)
- Switching back to the original --proof to reason with N3 proof lemmas
New in EYE 20.0214.1629 (Feb 14, 2020)
- Adding prolog:use_module built-in and adding --plugin to the --help message
New in EYE 20.0211.2332 (Feb 12, 2020)
- Undeprecating prolog: built-ins
New in EYE 20.0209.2139 (Feb 10, 2020)
- Fixing exception in temporal built-ins (obs from Hans Cools)
New in EYE 20.0204.1058 (Feb 4, 2020)
- Using the version_git and version_data flags to show the SWI-Prolog version
New in EYE 20.0203.2202 (Feb 4, 2020)
- Only ? can be used to prefix variables (N3 Community Group consensus)
New in EYE 20.0129.2333 (Jan 30, 2020)
- Updating documentation of e:propertyChainExtension (obs from Hans Cools)
New in EYE 20.0127.2317 (Jan 28, 2020)
- Both ? and $ can now be used to prefix variables
New in EYE 20.0122.2153 (Jan 23, 2020)
- Dropping @keywords
- Allow space char 0x20 in iriref
New in EYE 20.0122.1952 (Jan 22, 2020)
- adding invalid_boolean_literal exception/2 and correcting non_iri_char/1
New in EYE 20.0121.2250 (Jan 22, 2020)
- dropping --paese-only, reintroducing --n3 and supporting ^pred
New in EYE 20.0105.1336 (Jan 5, 2020)
- running with SWI-Prolog 8.1.20
New in EYE 20.0104.0037 (Jan 4, 2020)
- Dropping --ignore-immediate-goal command line switch and using --parse-only instead
New in EYE 19.1228.1018 (Dec 28, 2019)
- FIXED: process_create/3: was sent to .
New in EYE 19.1226.1140 (Dec 26, 2019)
- Running with SWI-Prolog 8.1.19
New in EYE 19.1211.1447 (Dec 11, 2019)
- using --quantify <prefix> to quantify uris with <prefix> in the output and deprecate --no-skolem
New in EYE 19.1206.2337 (Dec 7, 2019)
- Going back to dedicated var: namespace
New in EYE 19.1126.2203 (Nov 27, 2019)
- Replacing the experimental --proof command line switch the new --twinkle command line switch
New in EYE 19.1126.1434 (Nov 26, 2019)
- Complete reimplementation of string:scrape and string:search and fixing e:stringSplit (obs from Hans Cools)
- Standardizing apart @forAll and @forSome variable names using well-known genid URIs
- Moving back to traditional N3
- Fixing --profile
New in EYE 19.1120.2218 (Nov 21, 2019)
- Standardizing apart @forAll and @forSome variable names using well-known genid URIs
New in EYE 19.1104.2254 (Nov 5, 2019)
- Moving back to traditional N3
New in EYE 19.1020.2224 (Oct 21, 2019)
New in EYE 19.0928.2249 (Sep 29, 2019)
New in EYE 19.0904.2157 (Sep 6, 2019)
- The EYE source code is renamed to eye.pl and --plugin files have .pl extension
New in EYE 19.0817.2233 (Aug 18, 2019)
- Further fixing issue with scope of existentials
New in EYE 19.0814.1148 (Aug 14, 2019)
- Fixing issue with scope of existentials (obs from Dörthe Arndt)
New in EYE 19.0723.1200 (Jul 23, 2019)
- Using ?SCOPE e:fail {formula} instead of false <= {formula} to have scoped negation-as-failure
New in EYE 19.0714.1509 (Jul 14, 2019)
- Default CSV separator is , and can be overruled with --csv-separator
New in EYE 19.0711.0927 (Jul 11, 2019)
- Using .well-known/genid-n3 IRIs for the names of variables
New in EYE v19.0702.2313 (Jul 3, 2019)
- fixing issue with e:becomes (obs from Doerthe Arndt)
New in EYE v19.0604.1527 (Jun 4, 2019)
- Testing and working with SWI-Prolog 8.1.7
New in EYE v19.0521.1527 (May 21, 2019)
- fixing --plugin for N3P code without scount/1
New in EYE v19.0509.1258 (May 9, 2019)
- using latest stable SWI-Prolog 8.0.2
New in EYE v19.0310.2114 (Mar 22, 2019)
- Having default , csv separator
New in EYE v19.0221.2026 (Feb 22, 2019)
- Fixing exception with --proof
New in EYE v19.0202.2255 (Feb 3, 2019)
- Adding --csv-separator command line option to use CSV separator such as , or ;
New in EYE v18.1230.1307 (Dec 30, 2018)
- implementing ccd:transformer in ./reasoning/ccd/ccd_rules.n3
New in EYE 18.1225.2318 (Dec 26, 2018)
- Making e:ccdTransform built-in more robust and scalable
New in EYE 18.1223.1233 (Dec 24, 2018)
- adding e:ccdTransform built-in to transform case control datamodels
New in EYE 18.1222.2151 (Dec 23, 2018)
- adding e:ccdTransform built-in to transform case control datamodels
New in EYE 18.1214.1911 (Dec 15, 2018)
- Reintroducing --carl switch and original N3 parser
New in EYE 18.1130.1238 (Dec 3, 2018)
- Updating reasoning to always use PREFIX instead of @prefix
New in EYE 18.1123.1028 (Nov 23, 2018)
- Removed libgmp dependency
New in EYE 18.1121.1508 (Nov 22, 2018)
New in EYE 18.1108.1403 (Nov 8, 2018)
- Adding e:qual built-in to support quantum algorithms
New in EYE 18.1105.2012 (Nov 6, 2018)
- Adding e:node built-in to support 'node subject-script-uri > object-literal'
New in EYE 18.1104.1859 (Nov 5, 2018)
- making sure that the subject of e:coprocessor is a URI
New in EYE 18.0515.2100 (May 16, 2018)
- Making it run with SWI-Prolog 7.7.14
New in EYE 18.0417.2132 (Apr 18, 2018)
- supporting abbreviated URIs when the namespace prefix ends with '/'
New in EYE 18.0409.2008 (Apr 10, 2018)
- fixing log:includes and log:notIncludes
New in EYE 18.0312.0936 (Mar 12, 2018)
- Implementing abduction as successive assertion of hypotheses
New in EYE 18.0305.2307 (Mar 6, 2018)
- Striking the observations from the explanations in e:explantion built-in
New in EYE 18.0305.1057 (Mar 5, 2018)
- Adding integrity constraint checking for e:explanation built-in
New in EYE 18.0226.1028 (Feb 26, 2018)
- Preparing Select, Expand and Evaluate capability
New in EYE 18.0222.2321 (Feb 23, 2018)
- experimenting with --prolog option and e:explanation built-in to support http://github.com/josd/fluid/tree/master/alp
New in EYE 18.0212.2124 (Feb 13, 2018)
- adding e:see built-in to support python3 'script engine execution'
New in EYE 18.0131.1741 (Feb 1, 2018)
New in EYE 18.0131.1211 (Jan 31, 2018)
- Removing deprecated command line options and making Carl mandatory
New in EYE 18.0130.1333 (Jan 30, 2018)
- Removing --wget-path option
New in EYE 18.0117.1550 (Jan 18, 2018)
- Adding a few comments concerning attributed variables from the coroutining
New in EYE 18.0117.1050 (Jan 17, 2018)
- replacing call_residue_vars with simple call and reverting brake mechanism
New in EYE 18.0110.1636 (Jan 11, 2018)
- fixing e:becomes and e:call built-ins
New in EYE 18.0109.1008 (Jan 9, 2018)
- Introducing exocall mechanism to infer nested graph literals with variable predicates
New in EYE 18.0103.0943 (Jan 3, 2018)
- Testing deep indexing with swipl version 7.7.7
New in EYE 17.1225.2218 (Dec 28, 2017)
- Pointing to http://github.com/josd/etc - EYE Two-way Chaining
New in EYE 7.1220.1410 (Dec 20, 2017)
- Deprecating e:derive and using e:pass instead
New in EYE 7.1204.1538 (Dec 15, 2017)
- Finetuning deep Just-In-Time Indexing of prfstep/7
New in EYE 17.0407.1501 (Apr 21, 2017)
- Fixing critical resource leak in streaming reasoning