The OWL 2 RL rules are correct - see http://www.w3.org/TR/owl2-profiles/#OWL_2_RL, and these are a proper subset of the OWL spec as a whole - http://www.w3.org/TR/owl2-overview/ see for an overview of the spec documents.

If you want different semantics, yes, you can create rules such as the one you propose.  This is a big advantage of SPIN - you can create your own semantics for your purposes.

-- Scott

On 8/26/11 1:36 PM, Leonard Jacuzzo wrote:
Maybe my rule is not written correctly. But I think the idea is better than using the RL rule (s).

--
You received this message because you are subscribed to the Google
Group "TopBraid Suite Users", the topics of which include TopBraid Composer,
TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN.
To post to this group, send email to
[email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/topbraid-users?hl=en

Reply via email to