- From: Daniel Elenius <elenius@csl.sri.com>
- Date: Wed, 22 Jun 2005 20:55:23 -0700
- To: Bijan Parsia <bparsia@isr.umd.edu>, public-sws-ig@w3.org
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