- From: Jonathan Borden <jonathan@openhealth.org>
- Date: Fri, 6 Dec 2002 08:13:01 -0500
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, "pat hayes" <phayes@ai.uwf.edu>
- Cc: <www-webont-wg@w3.org>
pat hayes wrote: > > I never said otherwise. That is beside the point of my question. What > assertion does the imports triple (considered in isolation, a single > triple) actually make, other than that imports closure be true? (And > BTW, what is the subject of that triple, and how does it enter into > the truth-conditions?) > This is exactly useful in the context of the example you had given. The assertion ex:foo owl:imports ex:bar . might be used for some type of Semantic Web Google, that could count the number of places where a particular ontology is imported, giving it higher 'believability' etc. It would also entail the 'contents' of ex:bar i.e. the set of assertions obtained by dereferencing the ex:bar URI, but aside from that it would be useful in and of itself for certain purposes (such as above). Jonathan
Received on Friday, 6 December 2002 08:33:35 UTC