Translator
: F-LogicXML to R2ML
for R2ML version 0.4
Examples:
F-LogicXML
,
Contact:
Adrian Giurca
and
Marco Pehla
<?xml version="1.0" encoding="UTF-8"?> <flg:flogic xmlns:flg="http://www.wsmo.org/2004/d16/d16.2/v0.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.wsmo.org/2004/d16/d16.2/v0.1/ F-LogicXML.xsd"> <!-- The following <rule></rule> encodes this deductive rule (taken from the F-Logic JACM paper, page 7): E[boss -> M] <- E:empl AND D:dept AND E[affiliation -> D[mngr -> M:empl]], i.e. someones boss is the head of that person's department --> <rule> <head> <molecule> <object> <variable name="E"/> </object> <methodSpec arrow="->"> <name> <constant name="boss"/> </name> <result> <oid> <variable name="M"/> </oid> </result> </methodSpec> </molecule> </head> <body> <molecule> <object> <variable name="E"/> </object> <superclass isaType=":"> <class> <constant name="empl"/> </class> </superclass> </molecule> </body> <body> <molecule> <object> <variable name="D"/> </object> <superclass isaType=":"> <class> <constant name="dept"/> </class> </superclass> <methodSpec arrow="->"> <name> <constant name="mngr"/> </name> <result> <oid> <variable name="M"/> </oid> </result> </methodSpec> </molecule> </body> <body> <molecule> <object> <variable name="E"/> </object> <methodSpec arrow="->"> <name> <constant name="affiliation"/> </name> <result> <oid> <variable name="D"/> </oid> </result> </methodSpec> </molecule> </body> <body> <molecule> <object> <variable name="M"/> </object> <superclass isaType=":"> <class> <constant name="empl"/> </class> </superclass> </molecule> </body> </rule> </flg:flogic>
With this web
translator
we give you the ability to generate
R2ML
from
F-LogicXML
markup.