Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / eyereasoner/eye issues and pull requests
#48 - Lists as predicates fails with exit code 1 when used in implication
Issue -
State: closed - Opened by phochste about 2 years ago
- 3 comments
#47 - Adding math:roundedTo
Pull Request -
State: closed - Opened by phochste about 2 years ago
#47 - Adding math:roundedTo
Pull Request -
State: closed - Opened by phochste about 2 years ago
#46 - Pr/math functions
Pull Request -
State: closed - Opened by phochste about 2 years ago
- 1 comment
#46 - Pr/math functions
Pull Request -
State: closed - Opened by phochste about 2 years ago
- 1 comment
#45 - list:remove keeps the member
Issue -
State: closed - Opened by phochste over 2 years ago
- 4 comments
#45 - list:remove keeps the member
Issue -
State: closed - Opened by phochste over 2 years ago
- 4 comments
#44 - Add index for RDF plus OWL theories
Pull Request -
State: closed - Opened by RubenVerborgh over 2 years ago
#44 - Add index for RDF plus OWL theories
Pull Request -
State: closed - Opened by RubenVerborgh over 2 years ago
#43 - [= support in eye
Issue -
State: closed - Opened by bblfish over 2 years ago
- 2 comments
#43 - [= support in eye
Issue -
State: closed - Opened by bblfish over 2 years ago
- 2 comments
#42 - make it easier to get going
Issue -
State: open - Opened by bblfish over 2 years ago
- 5 comments
#41 - simplied Dockerfile
Pull Request -
State: closed - Opened by bdevloed over 2 years ago
- 1 comment
#41 - simplied Dockerfile
Pull Request -
State: closed - Opened by bdevloed over 2 years ago
- 1 comment
#40 - Included eye.sh.in into mkeye.
Pull Request -
State: closed - Opened by JanWielemaker over 2 years ago
#40 - Included eye.sh.in into mkeye.
Pull Request -
State: closed - Opened by JanWielemaker over 2 years ago
#39 - INSTALL: Allow ./install.sh --prefix=$HOME.
Pull Request -
State: closed - Opened by JanWielemaker over 2 years ago
- 7 comments
#39 - INSTALL: Allow ./install.sh --prefix=$HOME.
Pull Request -
State: closed - Opened by JanWielemaker over 2 years ago
- 7 comments
#38 - How to access/use http:resp [ http:body ] . json as Literal(s)???
Issue -
State: closed - Opened by tduval-unifylogic over 2 years ago
- 2 comments
#38 - How to access/use http:resp [ http:body ] . json as Literal(s)???
Issue -
State: closed - Opened by tduval-unifylogic over 2 years ago
- 2 comments
#37 - Installation Instructions [Linux Debian]
Issue -
State: closed - Opened by jeswr over 2 years ago
- 1 comment
#37 - Installation Instructions [Linux Debian]
Issue -
State: closed - Opened by jeswr over 2 years ago
- 1 comment
#36 - Is N3 Patch as the result of a function possible??
Issue -
State: closed - Opened by tduval-unifylogic over 2 years ago
- 4 comments
#36 - Is N3 Patch as the result of a function possible??
Issue -
State: closed - Opened by tduval-unifylogic over 2 years ago
- 4 comments
#35 - Backward rule with blank node in its conclusion seems work incorrectly.
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 2 comments
#35 - Backward rule with blank node in its conclusion seems work incorrectly.
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 2 comments
#34 - Could you please extend e:fail and e:findall to enable it to take a formula as the subject?
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 1 comment
#34 - Could you please extend e:fail and e:findall to enable it to take a formula as the subject?
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 1 comment
#33 - How to use log:Includes to find a triple not in the graph
Issue -
State: closed - Opened by phochste almost 3 years ago
- 3 comments
#33 - How to use log:Includes to find a triple not in the graph
Issue -
State: closed - Opened by phochste almost 3 years ago
- 3 comments
#32 - A backward rule nested in the conclusion of a forward rule cause EYE to freeze
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 2 comments
#32 - A backward rule nested in the conclusion of a forward rule cause EYE to freeze
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 2 comments
#31 - Built-ins can’t use e:Scope parameter to refer to other n3 files.
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 6 comments
#31 - Built-ins can’t use e:Scope parameter to refer to other n3 files.
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 6 comments
#30 - strange behavior of backward rule
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 4 comments
#30 - strange behavior of backward rule
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 4 comments
#29 - error of recursive backward rule
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 2 comments
#28 - question about recursive rule
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 5 comments
#28 - question about recursive rule
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 5 comments
#27 - "non_rdf_entailment" error
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 2 comments
#27 - "non_rdf_entailment" error
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 2 comments
#26 - How can I use EYE to reify/dereify a formula.
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 3 comments
#26 - How can I use EYE to reify/dereify a formula.
Issue -
State: closed - Opened by blackwint3r almost 3 years ago
- 3 comments
#25 - log:notIncludes is order dependant
Issue -
State: open - Opened by pchampin about 3 years ago
- 13 comments
#25 - log:notIncludes is order dependant
Issue -
State: open - Opened by pchampin about 3 years ago
- 13 comments
#24 - Running eye in a browser?
Issue -
State: closed - Opened by rybesh about 3 years ago
- 18 comments
#24 - Running eye in a browser?
Issue -
State: closed - Opened by rybesh about 3 years ago
- 18 comments
#23 - Fix atom_concat/3 calls that create atoms that are not used
Pull Request -
State: closed - Opened by pmoura about 3 years ago
- 1 comment
#23 - Fix atom_concat/3 calls that create atoms that are not used
Pull Request -
State: closed - Opened by pmoura about 3 years ago
- 1 comment
#22 - Using e:becomes
Issue -
State: closed - Opened by rybesh about 3 years ago
- 21 comments
#22 - Using e:becomes
Issue -
State: closed - Opened by rybesh about 3 years ago
- 21 comments
#21 - string:format vs. e:format builtin
Issue -
State: closed - Opened by rybesh about 3 years ago
- 2 comments
#21 - string:format vs. e:format builtin
Issue -
State: closed - Opened by rybesh about 3 years ago
- 2 comments
#20 - exit code is 0 when failing to load invalid document
Issue -
State: closed - Opened by rybesh about 3 years ago
- 2 comments
#20 - exit code is 0 when failing to load invalid document
Issue -
State: closed - Opened by rybesh about 3 years ago
- 2 comments
#19 - Incorrect datatype for language strings
Issue -
State: closed - Opened by pchampin over 3 years ago
- 1 comment
#19 - Incorrect datatype for language strings
Issue -
State: closed - Opened by pchampin over 3 years ago
- 1 comment
#18 - first version
Pull Request -
State: closed - Opened by bdevloed over 3 years ago
- 1 comment
#17 - Invalid document error with @false
Issue -
State: closed - Opened by logicReasoner over 3 years ago
- 1 comment
#17 - Invalid document error with @false
Issue -
State: closed - Opened by logicReasoner over 3 years ago
- 1 comment
#16 - Redundant calls to append/2
Issue -
State: closed - Opened by pmoura almost 4 years ago
- 2 comments
#16 - Redundant calls to append/2
Issue -
State: closed - Opened by pmoura almost 4 years ago
- 2 comments
#15 - Redundant use of the =../2 predicate
Issue -
State: closed - Opened by pmoura almost 4 years ago
- 1 comment
#15 - Redundant use of the =../2 predicate
Issue -
State: closed - Opened by pmoura almost 4 years ago
- 1 comment
#14 - Redundant call/1 wrapper
Issue -
State: closed - Opened by pmoura almost 4 years ago
- 2 comments
#13 - Avoid generating temporary atoms
Issue -
State: closed - Opened by pmoura almost 4 years ago
- 2 comments
#12 - jiti_list/0 is not a built-in predicate (missing use_module/1 or use_module/2 directive)
Issue -
State: closed - Opened by pmoura almost 4 years ago
- 1 comment
#11 - Redundant `initialization/1` directive wrapper
Issue -
State: closed - Opened by pmoura almost 4 years ago
- 1 comment
#10 - Strange error with rules involving RDF*
Issue -
State: closed - Opened by pchampin almost 4 years ago
- 2 comments
#9 - Strange result with RDF* annotation syntax
Issue -
State: closed - Opened by pchampin almost 4 years ago
- 1 comment
#8 - /2004/04test/rogier
Issue -
State: closed - Opened by jmikedupont2 almost 4 years ago
- 1 comment
#7 - How to express quantifiers like `Some X are Y`
Issue -
State: closed - Opened by logicReasoner about 4 years ago
- 5 comments
#6 - How to express `OR` and negation?
Issue -
State: closed - Opened by logicReasoner about 4 years ago
- 3 comments
#5 - math:sum fail to resolve... sometimes
Issue -
State: closed - Opened by pchampin about 4 years ago
- 4 comments
#4 - "INF"^^xsd:double and "-INF"^^xsd:double are not supported
Issue -
State: closed - Opened by pchampin about 4 years ago
- 9 comments
#3 - Missing inference involving hasValue restriction and domain
Issue -
State: closed - Opened by pchampin about 4 years ago
- 5 comments
#2 - How can I embed the EYE reasoning engine in a C++ application
Issue -
State: closed - Opened by logicReasoner over 4 years ago
- 1 comment
#1 - fixed jdk8 dependency
Pull Request -
State: closed - Opened by bdevloed over 5 years ago