| CARVIEW |
Select Language
HTTP/2 200
date: Sun, 05 Oct 2025 17:48:35 GMT
content-type: text/html
content-encoding: gzip
last-modified: Thu, 13 Jul 2023 17:24:08 GMT
cache-control: max-age=2592000, public
expires: Mon, 03 Nov 2025 23:04:05 GMT
vary: Accept-Encoding
access-control-allow-origin: *
x-request-id: 989850fa7b97be24
strict-transport-security: max-age=15552015; preload
x-frame-options: deny
x-xss-protection: 1; mode=block
cf-cache-status: HIT
set-cookie: __cf_bm=uXJPGZ5IDOGUBjfT5z1HVThFdEkP_5jxIeJ.2JzTXk0-1759686515-1.0.1.1-_cZpQlX8ZhtQf4L4SYYZsuH2CWnhUYzAepkQWbmcOBQD1n6F2Eu5bmMczRtVUk4_PMeEuPCWtG4hUw.Oxovjhv6q.3TVlflHcs0K3lnm4OE; path=/; expires=Sun, 05-Oct-25 18:18:35 GMT; domain=.w3.org; HttpOnly; Secure; SameSite=None
server: cloudflare
cf-ray: 989ec02edfd3b277-BLR
alt-svc: h3=":443"; ma=86400
Layering bug? from Jeremy Carroll on 2003-06-18 (www-webont-wg@w3.org from June 2003)
Layering bug?
- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Wed, 18 Jun 2003 16:03:32 +0300
- To: www-webont-wg@w3.org
- Message-Id: <200306181603.32091.jjc@hpl.hp.com>
How about this: eg:c rdf:type owl:Class . eg:d rdf:type owl:Class . eg:ap rdf:type AnnotationProperty . owl:Thing owl:oneOf rdf:nil . entails eg:c eg:ap eg:d . ==== I think this holds in OWL Full but not in OWL DL, yet it is within the syntactic subset. OWL Full proof. owl:Thing equals rdfs:Resource. rdfs:Resource is not empty, thus there are no interpretations satisfying the premises. Jeremy
Received on Wednesday, 18 June 2003 10:03:38 UTC