8000 math builtin's not working on list from ttl files · Issue #150 · eyereasoner/eye · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

math builtin's not working on list from ttl files #150

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and t 8000 he community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
MichelSc opened this issue May 18, 2025 · 2 comments
Open

math builtin's not working on list from ttl files #150

MichelSc opened this issue May 18, 2025 · 2 comments

Comments

@MichelSc
Copy link

Similar problem than issue #121, but with math builtin's.

I use eye EYE v11.19.2 (2025-05-15).

I have a list in a ttl file

:let :mylist ( 1 2 3 ).

I have a rule in a n3 file

{
    :let :mylist ?l.
    ?l math:sum ?v.
}
=>
{
    :sum :is ?v.
}.

I expect to receive the result

:sum :is 6 .

If the ttl is loaded with the option --turtle, I get nothing: NOK.

If the ttl is loaded without the option --turtle, I get the expected result: OK.

If :mylist is in the n3 file instead of in the ttl file, I get the respected result: OK

A list in a ttl file loaded with the option --turtle should work the same way as from a N3 file.
josd added a commit that referenced this issue May 18, 2025
@josd
fixing issue #150
d776886
@josd
Copy link
Collaborator
josd commented May 18, 2025

Thanks for your observation and it is now fixed in EYE v11.19.3 (2025-05-18)
It is also fixed for math:product

@MichelSc
Copy link
Author

Tested ok with EYE v11.19.3 (2025-05-18)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@josd @MichelSc
0