数据库驱动的猫头鹰2简介推理

Orel is a prototype reasoning and ontology management engine for the OWL 2 profiles OWL EL and OWL RL. It is distinguished from other inference engines for OWL 2 since it is based on a database backend for storing ontologies and computing inferences, and since it offers support for two OWL 2 profiles in a single tool. Inferencing for either profile is sound and complete (although due to heavy development, some features may be temporarily unavailable). If both profiles are combined in a single knowledge base, then inferencing may no longer be complete but is still sound. As of 2011, the Orel prototype is not actively developed any more.

orel-0.9
LICENCE
orel.jar
orel_lib
orel.sh
settings.cfg
INSTALL