# 
#   Copyright World Wide Web Consortium, (Massachusetts Institute of
#   Technology, European Research Consortium for Informatics and
#   Mathematics, Keio University).
#  
#   All Rights Reserved.
#  
#   Please see the full Copyright clause at
#   <http://www.w3.org/Consortium/Legal/copyright-software.html>
# 
#   Description: 
#     If the class extension of x is known to be a subset
#     of the class extension of y then x is not known to
#     be an rdfs:subClassOf y (unless operating in
#     a semantic extension to RDFS with extensional 
#     semantics).
# 
#   Related issue:  
# 
#    http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01
# 
#   Author: Herman ter Horst
# 
#   $Id: test002.rdf,v 1.1 2003/07/18 05:21:30 jcarroll Exp $
# 
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://example.org/x> rdfs:subClassOf <http://example.org/y> .
