# 
#   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: any interpretation of this file
#         must have the extension of class x
#         being a subset of the extension of class y.
# 
#   Related issue:  
# 
#    http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01
# 
#   Author: Herman ter Horst
# 
#   $Id: test001.rdf,v 1.1 2003/07/18 05:21:30 jcarroll Exp $
# 
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://example.org/x> a rdfs:Class .

rdf:type rdfs:domain <http://example.org/y> .