c# port of Euler, which is an inference engine supporting logic based proofs.
Questions tagged [eulersharp]
3 questions
1
vote
0 answers
Integrating Eulersharp with Cliopatria
I would like to use the Cliopatria Semantic Web Server however I am currently making extensive use of n3-rules using EulerSharp. I don't want to lose the termination guarantees provided by n3, but I would like to serve the resulting graphs via…

Recurse
- 3,557
- 1
- 23
- 36
1
vote
1 answer
n3 inferencing applying str:contains to xsd:string in EulerSharp
I have a dataset that contains a large number of resources I need to
reconcile against various existing data. The most straight forward
approach is to do some simple string comparisons between various
literals.
Unfortunately the literals are typed…

Recurse
- 3,557
- 1
- 23
- 36
-1
votes
3 answers
How to output variables from nested for loops using BigIntegers
I am getting mad errors when i try to implement this program i wrote to solve Leonhard Euler's conjecture. The error seems to be in the println. Do you know what I'm doing wrong? (There are no errors before i run the program, the error messages…

shpadoinklejoe
- 9
- 2