资 源 简 介
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.
