[RIF] Remarks on asn06 abstract syntax

Dear all,
Looking to the new abstract syntax of RIf Core Positive conditions 
<http://www.w3.org/2005/rules/wg/wiki/Core/Positive_Conditions>  I tried 
to find out some principles of extensibility of this syntax. I was not 
aware of asn06 <http://www.w3.org/2005/rules/wg/wiki/asn06> until the 
RIF discussions. There is some bibliography which we can read about 
asn06 <http://www.w3.org/2005/rules/wg/wiki/asn06>?
I have some questions:

    * Where is available the transformation from asn06 into MOF/UML?
      This transformation obtain MOF XMI?
    * Let imagine a simple scenario of extensibility: If I want to
      specialize the Uniterm into an atom how can I do that in asn06?
      How can I specialize Uniterm to a binary atom (as RDF properties) ?

There are also some confusion since the asn06 
<http://www.w3.org/2005/rules/wg/wiki/asn06> indicates an email 
<http://lists.w3.org/Archives/Public/public-rif-wg/2007Jan/0121.html>, 
while the syntax from RIf Core Positive conditions 
<http://www.w3.org/2005/rules/wg/wiki/Core/Positive_Conditions> is 
completely different from that one in the email 
<http://lists.w3.org/Archives/Public/public-rif-wg/2007Jan/0121.html>.
Some time ago I pointed out some issues regarding the abstract syntax. I 
wonder if asn06 allows restrictions i.e. A general concept as Uniterm 
specialize in function term or atom.

Regards,
Adrian

Received on Wednesday, 14 March 2007 10:42:31 UTC