eye

eye copied to clipboard

Different results with bnodes depending on the rule order

1

```n3 @prefix : . :a :a :b. :b :b :c. { ?a ?a ?b. :a :a :b } => { _:e _:e _:e }. { ?b ?b ?c. :b :b...

eyusupov

xsd:decimal parsed as xsd:double

8

the following ```turtle @prefix log: . @prefix xsd: . @prefix : . :foo :bar "10.5"^^xsd:decimal . { :foo :bar ?value . ([] ?datatype) log:dtlit ?value } => { :foo :type...

giacomociti

Weird behavior for string operations with escaped characters

6

``` EYE v10.19.7 (2024-08-24) SWI-Prolog version 9.0.4 ``` I may be wrong but some `eye` reasoner behaviors may be incorrect. ## Escaped characters issue Some builtin `string: ` operations have...

nusakan

Unexpected behaviour from backward chaining rules, for blank nodes and query variables

5

## Observation 1 Backward chaining rules whose conclusion contains **new query variables** (that do not exist in premise) result in reasoner error: `** ERROR ** gre ** error(permission_error(modify,static_procedure,(,)/2),context(system:assertz/1,_210))`. Example: ```...

renyuneyun

Repeated statements in ttl file cause unexpected reasoning result

2

I use eye version ``` EYE v10.22.5 (2024-09-11) SWI-Prolog version 8.4.2 ``` I have a ttl file with my data and model (2 instances, 2 classes) ``` :d rdf:type :D....

MichelSc

Otherwise github doesn't render them properly. For example, see https://github.com/eyereasoner/eye/tree/master/reasoning/rdflogic . That README seems to be valid markdown to me, but is rendered as plain text.

VladimirAlexiev