In the discussion of issue 5.3 we agreed that the following sentence was unfortunate, having a plausible non-monotonic reading. "For such OWL ontologies the direct model theory is authoritative and the RDFS-compatible model theory is secondary." http://www-db.research.bell-labs.com/user/pfps/owl/semantics/#1 I believe Peter indicated he would change it a little. (e.g. delete in its entireity would be acceptable to me, particularly bearing in mind the test changes for I5.3, such as requiring consistency checkers to say which of the two semantics they implement). JeremyReceived on Thursday, 24 July 2003 13:42:29 UTC
This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:54 UTC