Re: Small problem with Expression.owl

Bijan Parsia wrote:

> On Jun 22, 2005, at 11:21 PM, Daniel Elenius wrote:
>
>> Now that SWRL-Conditions aren't literals anymore, the following, in the
>> 1.2 Expression.owl, makes that file
>> OWL Full (since we are "redefining rdf:nil"):
>
> [snip[
>
>> An easy solution would be to move the AlwaysTrue instance to a separate
>> file, which would only be imported by OWL-S services that use SWRL. That
>> way other services could still stay in OWL DL. Perhaps a little ugly to
>> have a file with just one instance though.
>
>
> Another easy solution would be to reuse the shadow list vocabulary. 
> That's what it's there for.
>
The problem with that is that the nil instance in the shadow list vocab 
is not an AtomList (it's not even an rdf:List).
Ideally, SWRL would have used the shadow list vocab, but it doesn't...

> Cheers,
> Bijan.

Received on Thursday, 23 June 2005 03:55:45 UTC