| CARVIEW |
Select Language
HTTP/2 200
date: Sun, 05 Oct 2025 21:20:29 GMT
content-type: text/html
content-encoding: gzip
last-modified: Thu, 13 Jul 2023 17:24:09 GMT
cache-control: max-age=2592000, public
expires: Tue, 04 Nov 2025 05:48:03 GMT
vary: Accept-Encoding
access-control-allow-origin: *
x-request-id: 989aa0b66fd052b4
strict-transport-security: max-age=15552015; preload
x-frame-options: deny
x-xss-protection: 1; mode=block
cf-cache-status: HIT
age: 12719
set-cookie: __cf_bm=YCklrBdcPhft2KQndBotADTLNCuFXGtPpq6VPUs7szo-1759699229-1.0.1.1-ClKRVQQCk2qCaaVyCVkXiCAOrWNTg6e0rvd5VaRqDPiypvY_2cNlDQfS3rC6IYHfMriyo5MTfGEO6nnZAGln6HjJw9KAf1fUtrb7LDMRpSU; path=/; expires=Sun, 05-Oct-25 21:50:29 GMT; domain=.w3.org; HttpOnly; Secure; SameSite=None
server: cloudflare
cf-ray: 989ff696c9e80bc9-BLR
alt-svc: h3=":443"; ma=86400
review of S&AS and 5.3 from Jeremy Carroll on 2003-07-24 (www-webont-wg@w3.org from July 2003)
review of S&AS and 5.3
- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Thu, 24 Jul 2003 19:42:05 +0300
- To: www-webont-wg@w3.org
- Message-Id: <200307241942.05946.jjc@hpl.hp.com>
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." https://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). Jeremy
Received on Thursday, 24 July 2003 13:42:29 UTC