Re: ISSUE 5.6 - daml:imports as magic syntax

Dan Connolly wrote:
> ...Does anybody else have software that pays
> any attention to daml:imports whatsoever? ...

The JESS based reasoner we are using processes
daml:imports assertions by loading, if necessary,
the target ontologies.  We've assumed that this
was the reasonable thing to do.  We're still not sure
what to do if one refers to classes and properties in
a foreign ontology that is not imported.

Received on Tuesday, 10 September 2002 16:56:30 UTC