RE: [RIF][UCR] Decidability a requirement?

> To make the discussion more concrete, I also tried my hand at 
> a simple XML schema for a kind-of-Horn-level RIF

> Could we discuss this further based on examples using this 
> schema? (Or 
> another one: if somebody has a preference, then, propose your schema 
> along with your examples).

In the REWERSE working group I1, we have defined a (beta version) 
rule interchange format (in XMLS form) along with concrete rule 
examples, which may possibly be used for this discussion.

Check http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=node/6

In particular, you may want to look at the example rule set
http://oxygen.informatik.tu-cottbus.de/R2ML/examples/R2MLExamples.xml

-Gerd

--------------------------------------------
Professor Gerd Wagner 
http://www.informatik.tu-cottbus.de/~gwagner
Email: G.Wagner@tu-cottbus.de
Tel: (+49 355) 69 2397
Institute of Informatics
Brandenburg University of Technology 
at Cottbus, Germany