Arachne is a rule engine for RDF. It implements the Rete/UL algorithm as described in Production Matching for Large Learning Systems by Robert B. Doorenbos, an extension of Forgy's original Rete algorithm.
Arachne was developed initially to support reasoning within the Noctua/Minerva system. This use case calls for:
- Scalable handling of very large ontologies (millions of axioms/rules).
- Adequate performance, with large rule sets, for smallish datasets of hundreds to thousands of triples (materialize all inferences in <1 second).
- Simultaneous reuse of reasoner, once all rules have been loaded, for any number of datasets, without re-incurring initialization time.
sbt (Scala Build Tool) on your system. For Mac OS X, it is easily done using Homebrew:
brew install sbt.
sbt requires a working Java installation, but you do not need to otherwise install Scala.