W3C home > Mailing lists > Public > public-rif-wg@w3.org > February 2007

RE: new diagram

From: Gerd Wagner <wagnerg@tu-cottbus.de>
Date: Tue, 27 Feb 2007 17:23:22 +0100
To: "'Sandro Hawke'" <sandro@w3.org>, "'Chris Welty'" <cawelty@gmail.com>
Cc: "'Public-Rif-Wg \(E-mail\)'" <public-rif-wg@w3.org>
Message-ID: <002d01c75a8b$99658630$a2ca2b8d@informatik.tucottbus.de>

Sandro,

there is a well-established language called "KM3",
which is quite similar to what you plan with "asn06".
E.g., the concepts Rule and Forall are defined in
KM3 as follows:

   abstract class Rule {
   }
   class Forall extends Rule {
     reference declare[*] container : Var;
     reference formula container : Clause;
   }

KM3 is part of an Eclipse project for model-to-model 
transformations with the help of the rule language ATL:
http://www.eclipse.org/m2m/atl/

E.g. here is an ATL/KM3 Use Case for transforming UML into 
OWL and vice versa:
http://www.eclipse.org/m2m/atl/usecases/ODMImplementation/

I propose to consider using KM3 as a textual grammar 
specification language. It allows us to use ATL for
defining mappings from RIF to RDF and OWL (and others).

-Gerd

> -----Original Message-----
> From: public-rif-wg-request@w3.org 
> [mailto:public-rif-wg-request@w3.org] On Behalf Of Sandro Hawke
> Sent: Tuesday, February 27, 2007 4:47 PM
> To: Chris Welty
> Cc: Public-Rif-Wg (E-mail)
> Subject: Re: new diagram 
> 
> 
> 
> That UML transcribed into ans06.  (The WG just resolved to use the UML
> for WD1, labeled "still under discussion".)
> 
> 
> class Ruleset
>    property rule: Rule*
> 
> class Rule
> 
>    subclass Forall
>       property formula : Clause
>       property variable : Var*    
> 
> class Clause
> 
>    subclass Atomic
> 
>    subclass Implies
>       property if: Condition
>       property then: Atomic 
> 
> 
> 
> 
Received on Tuesday, 27 February 2007 16:23:40 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:37 GMT