#
# 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>
#
# Author: Jeremy J. Carroll
#
# Description: 
#
# This test illustrates the use of dataRange in OWL DL.
# This test combines some of the ugliest features of XML, RDF and OWL.
#
first:p rdf:type owl:DatatypeProperty .
_:a rdf:type rdf:List .
_:a rdf:first "1"^^xsd:integer  .
_:b rdf:type rdf:List .
_:b rdf:first "2"^^xsd:integer  .
_:c rdf:type rdf:List .
_:c rdf:first "3"^^xsd:integer  .
_:d rdf:type rdf:List .
_:d rdf:first "4"^^xsd:integer  .
_:d rdf:rest rdf:nil .
_:c rdf:rest _:d .
_:b rdf:rest _:c .
_:a rdf:rest _:b .
_:e owl:oneOf _:a .
first:p rdfs:range _:e .
_:f rdf:type rdf:List .
_:f rdf:first "4"^^xsd:integer  .
_:g rdf:type rdf:List .
_:g rdf:first "5"^^xsd:integer  .
_:h rdf:type rdf:List .
_:h rdf:first "6"^^xsd:integer  .
_:h rdf:rest rdf:nil .
_:g rdf:rest _:h .
_:f rdf:rest _:g .
_:i owl:oneOf _:f .
first:p rdfs:range _:i .
first:i rdf:type owl:Thing .
_:j rdf:type owl:Restriction .
_:j owl:onProperty first:p .
_:j owl:minCardinality "1"^^xsd:int  .
first:i rdf:type _:j .