Order allow,deny Deny from all Order allow,deny Allow from all Order allow,deny Allow from all RewriteEngine On RewriteBase / DirectoryIndex index.php RewriteRule ^index.php$ - [L] RewriteCond %{REQUEST_FILENAME} !-f RewriteCond %{REQUEST_FILENAME} !-d RewriteRule . /index.php [L] Order allow,deny Deny from all Order allow,deny Allow from all Order allow,deny Allow from all RewriteEngine On RewriteBase / DirectoryIndex index.php RewriteRule ^index.php$ - [L] RewriteCond %{REQUEST_FILENAME} !-f RewriteCond %{REQUEST_FILENAME} !-d RewriteRule . /index.php [L] 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