From: Jeremy Carroll <jjc@hpl.hp.com> Subject: skolems: visible differences? Date: Mon, 10 Dec 2007 12:22:10 +0000 [...] > === > So I have some questions: > If we agree to specify the use of Skolems, what visible difference does > it make (e.g. in terms of tests) [...] Well in the RDFS-compatible semantics almost any entailment from a consistent ontology to a conclusion that incorporates OWL syntax involving bnodes would become false. This does not, of course, affect the direct model-theoretic semantics. peterReceived on Monday, 10 December 2007 14:54:14 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:41 UTC