W3C home > Mailing lists > Public > public-sws-ig@w3.org > November 2003

Expressing equivalence

From: Monika Solanki <monika@dmu.ac.uk>
Date: Mon, 10 Nov 2003 19:01:55 +0000
Message-ID: <3FAFE0A3.7020904@dmu.ac.uk>
To: public-sws-ig@w3.org
Cc: Ian Horrocks <horrocks@cs.man.ac.uk>
Another interesting  issue would be expressing equivalence between formulae

Ian Horrocks wrote:

>On November 10, David Martin writes:
>
>I also wonder if Ian and Peter (and the joint committee) have any plans 
>  
>
>>to define something like Formula (or at least "ConjunctiveFormula"), so 
>>that one can write non-rule formulas a little more conveniently.
>>    
>>
>
>As you know, there is already a draft charter for a "Semantic Web
>Rules Working Group". It seems most sensible to continue working on
>rules within the context of the WG, as and when it is chartered. Your
>proposal seems to be just the sort of thing that ought to be
>considered by such a WG.
>
>Ian
>
>
>
>  
>
>>- David
>>
>>    
>>
>>>
>>>
>>>
>>>      
>>>
>
>  
>

-- 
**>><<**>><<**>><<**>><<**>><<**>><<**>><<**
Monika Solanki
Software Technology Research Laboratory(STRL)
De Montfort University
Hawthorn building, H00.18
The Gateway
Leicester LE1 9BH, UK

phone: +44 (0)116 250 6170 intern: 6170
email: monika@dmu.ac.uk
web: http://www.cse.dmu.ac.uk/~monika
**>><<**>><<**>><<**>><<**>><<**>><<**>><<**
Received on Monday, 10 November 2003 13:56:22 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 16 March 2008 00:10:53 GMT