Re: [wsmx-tech] Safety condition in WSML-Flight

[Maciej Z. <mac...@de...>]

Hi Mark,

The best place to ask WSML related questions is ws...@li..., you 
can subscribe there at: http://lists.sti2.at/mailman/listinfo/wsml.

best,
Maciej

Mark Hepburn wrote:
> Hi all,
> 
> I apologise if this list is not the best place to ask this question.  
> It's not vital, but I'm trying to understand the restrictions on 
> wsml-flight.
> 
> I'm reading http://www.wsmo.org/TR/d16/d16.1/v0.21/ , where Section 5.6 
> describes the LE syntax.  We have:
> 
> """
> The safety condition holds for a WSML-Flight rule if every variable 
> which occurs in the rule occurs in a positive body literal which does 
> not correspond to a built-in predicate. For example, the following rules 
> are not safe and thus not allowed in WSML-Flight:
> 
> ...
> ?x[gender hasValue male] *:-* *naf* ?x[gender hasValue female].
> 
> """
> 
> Then directly below that,
> 
> """
> The following are examples of WSML-Flight logical expressions (note that 
> variables are implicitly universally quantified):
> ...
> Do not trust strangers:
> 
> ?x[distrust *hasValue* ?y] :- naf ?x[knows *hasValue* ?y].
> 
> """
> 
> How are these two examples different, or am I just misunderstanding what 
> the text is saying?
> 
> Many thanks, cheers, Mark.
> 
> -- 
> Mark Hepburn
> Software Engineer - Tasmanian ICT Centre
> /The Tasmanian ICT Centre is jointly funded by the Australian Government 
> through the Intelligent Island Program and the CSIRO. The Intelligent 
> Island Program is administered by the Tasmanian Department of Economic 
> Development and Tourism./
> 
> GPO Box 1538    Hobart    TAS    7001
> Castray Esplanade    Hobart    TAS    7000
> T: +61 3 6232 5517, F: +61 3 6232 5229
> Innovative ICT transforming Australian industries - _www.ict.csiro.au 
> <http://www.ict.csiro.au/>_
> 
> 
> ------------------------------------------------------------------------
> 
> -------------------------------------------------------------------------
> This SF.net email is sponsored by the 2008 JavaOne(SM) Conference 
> Don't miss this year's exciting event. There's still time to save $100. 
> Use priority code J8TL2D2. 
> http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> wsmx-tech mailing list
> wsm...@li...
> https://lists.sourceforge.net/lists/listinfo/wsmx-tech

-- 
Maciej Zaremba    mac...@de...
Digital Enterprise Research Institute (DERI)
National University of Ireland, Galway
Galway, Ireland   http://www.deri.ie