Expressing equivalence

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
**>><<**>><<**>><<**>><<**>><<**>><<**>><<**