- From: Sandro Hawke <sandro@w3.org>
- Date: Fri, 04 Dec 2009 12:20:45 -0500
- To: public-rif-wg@w3.org
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
Received on Friday, 4 December 2009 17:20:47 UTC