OntoBroker Implementation Report

The report [1] links to their system documentation [2] which says:

================================================================
The following RIF constructs are unsupported.

    *  Imports with a profile.
    *  External terms.
    *  Terms with named arguments.
    *  Annotations on non top level formulas.
       An exception is the special annotation for ObjectLogic modules.
    *  Annotations which are not a frame or a group or conjunction of frames.
    *  Non constant terms as leading term within a positional term.
    *  Equality as fact or within the conclusion of a top level implication.

These RIF terms must be used in formula positions only.

    *  Equality.
    *  Membership.
    *  Subclass.
    *  Frame.

Backwards these RIF terms must not be used in formula positions:

    *  Constant.
    *  Variable.
================================================================

I'm not quite sure what to make of these restrictions....

     -- Sandro

[1] http://lists.w3.org/Archives/Public/public-rif-comments/2009Dec/0000.html
[2] http://www.ontoprise.de/help/topic/com.ontoprise.ontobroker.help/html/rif.html