Seth Ladd's Blog

EulerMoz is an inference engine written in Javascript. Based on the original Euler proof mechanism . > EulerMoz is an inference engine supporting logic based proofs based on EulerSharp project.

Danny nicely puts the problem I'm trying to solve in his post titled SPARQL trick #23 . He says: > Running inference on the store’s data as a whole may be expensive, but without it many results for a given query may be missed. This is exactly why we are attracted to semantic web technologies. I have a lot of data, but I know there are many more pieces of information in there if I can apply some ontologies and rules. My queries against the system must search both the raw triples I have plus any triples that can be inferred by my ontologies. To me, this is one of the main value adds of the system. The other main value add of a RDF store vs. a traditional relational store is that it's much easier and cheaper to say arbitrary things. In a relational store, your schema must be defined up front, severly limiting your ability to define data in the future. With RDF, saying anything about anything is cheap. There are some solutions that work well for data sets that are static. ...