Technical issues in RIF Core WD1

Dear all,
After the reading of the RIF Core WD1 I have some questions to which I 
cannot find an answer. May be there are on general interest.
When I interchange between two languages in many cases I need  to 
distinguish:
- between functions and atoms
 - between different kinds of atoms
*The question is: How can I specialize Uniterm to a FunctionTerm and an 
Atom?* (raised already in an old email 
<http://lists.w3.org/Archives/Public/public-rif-wg/2007Mar/0044.html>)
If I cannot specialize then the actual abstract syntax is not extensible 
and in the near future it will be not usable for defining extensions!
I guess that this is the actual principle of extensibility since I don't 
believe it is possible to define a "more general" concept of atom (or 
uniterm! )!
Moreover, if the extensions are done by specialization/restriction then  
the actual semantics remain valid!

On my knowledge we need to instantiate the abstract syntax to obtain a 
concrete syntax. I believe this is not true at least in the case of  
types for variables which does not appear in the abstract syntax.
*What are the rules to derive the concrete  syntax from the abstract one?

*The last issues is concerning the automatic translation from asn06 to 
MOF/UML. I search for such a translation and I didn't find one.*
*
-Adrian

Received on Tuesday, 20 March 2007 14:52:18 UTC