[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Subject: RE: [xtm-wg] ?Inference rules in XTM
Holger Thanks for what you say below about templates. These comments are very useful, and help to keep people aware that there is important work still to do! As you know, there are likely to be some battles to be fought at Paris over how the templates approach will be defined in the XTM spec. The reason I wasn't able to do any explicit examples, and define the public subjects they would depend on, before Washington, was that there were unresolved syntax issues, so I had no syntax to write them in! Some of those syntax issues are still unresolved. Are you planning to be at the Paris meetings? Daniel -----Original Message----- From: Hans Holger Rath [mailto:hhr@step.de] Sent: 03 January 2001 15:35 To: xtm-wg@egroups.com Subject: Re: [xtm-wg] ?Inference rules in XTM mgomari@ait.ca wrote: > > Hi, > I was wondering how to express an inference rule in XTM format. > I encountered different ways to do that but somehow confused and > not sure what is the formal and correct way. > > Can somebody please address this problem by a simple example. See chapter 5 in my Extreme Markup 2000 paper "Topic Maps self-control" you will find at http://www.egroups.com/files/xtm-wg/Documents/rath0315.PDF It does not use XTM but ISO syntax but you will get the idea. BTW: This supports a proposal of Daniel Rivers-Moore for association template. All assoc templates, inference rules, validation constraints and parts of TMQL can be built on the same "design pattern" approach I present in the above mentioned paper. If we can agree on this pattern approach (which is very natural anyway) we will make the lives for TM software developers much easier because they do not have to implement four different algorithms but only one with some variations. Graham Moore, Steve Pepper and probably others may support this. Comments welcome! --Holger -- H. Holger Rath <holger.rath@empolis.com> empolis Content Management GmbH Technologiepark, Pav. 7, 97222 Rimpar, Germany http://www.empolis.com/ -- mobile: +49.172.66.90.427 phone: +49.9365.8062.63 -- fax: +49.9365.8062.66 To Post a message, send it to: xtm-wg@eGroups.com To Unsubscribe, send a blank message to: xtm-wg-unsubscribe@eGroups.com
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Powered by eList eXpress LLC