it's my first time writing here but i'm really struck with a problem: is it possible to use the Jena reasoner on a No-SQL database, like Neo4J, already filled with data? I've a Neo4J's graph rappr...

How can one calculate the last few non-zero digits of a factorial of a large number? By large, i mean like n=10^100 or something (EDIT : 10^100 is the magnitude of 'n' in n! ) By few, i mean till ...

I'm serving a dataset containing 10-20 named graphs from a TDB dataset in Fuseki 2. I'd like to use a reasoner to do inference on my data. The behaviour I'd like to see is that triples inferred wit...

Let's say we have two classes named People and Disease. These classes are related by the Object Property has. :People :has :Disease People has subclass (or individual) John, and Disease has sub...

import java.util.UUID public class Person implements Serializable { private UUID uuid; public Person() { uuid = UUID.fromString("3856c3da-ea56-4717-9f58-85f6c5f560a5"); } public UUID getUui...

I'd like to create an application that can do simple reasoning using first order logic. Can anyone recommend an "engine" that can accept an arbitrary number of FOL expressions, and allow querying o...