OWLIM-SE Reasoner

Version 1 by barry.bishop
on Jul 19, 2011 17:05.

compared with
Current by barry.bishop
on Oct 14, 2011 08:16.

(show comment)
Key
This line was removed.
This word was removed. This word was added.
This line was added.

Changes (2)

View Page History
h2. The Rule Language

A rule-set file can have up to three sections named *Prefices,* *Axioms*, and *Rules*. Only the *Rules* section is mandatory, however the sections must appear sequentially in the order listed in the following sections.
A rule-set file has three sections named *Prefices*, *Axioms*, and *Rules*. All sections are mandatory and must appear sequentially in this order.

h3. Prefices