- 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>
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 UTC