Re: LANG: need to CLOSE Issue 5.6 Imports as magic syntax


> As far as test cases, we already have the "Socrates type Man, man
> subClassOf Mortal" example from the F2F. What else do you need?

right, i.e.

or do we want

(where in the latter we wouldn't actually
need an owl:imports in SocratesP at all)

I have implemented things in the former way
but could easily change (back) to the latter
and for the testcase manifests we then just
need multiple rtest:premiseDocument properties
which should work right now.

-- ,
Jos De Roo, AGFA

Received on Tuesday, 29 October 2002 15:39:35 UTC