<?xml version='1.0'?>

<!-- Resource Indication - Type Conflict -->


<rdf:RDF
  xmlns:rdf ="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xmlns:xsd ="http://www.w3.org/2000/10/XMLSchema#"
  xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
  xmlns     ="http://www.daml.org/validator/examples/nv1.daml#"
>

<!--
A node can not be more than one of the following types: Class,
Property (datatype, object, or general), Restriction (datatype,
object, or general), or Typed Literal.
-->

<daml:Class rdf:ID="ClassAndProperty"/>
<daml:Property rdf:about="#ClassAndProperty"/>

<daml:Class rdf:ID="ClassAndRestriction"/>
<daml:Restriction rdf:about="#ClassAndRestriction"/>

<daml:Property rdf:about="#PropertyAndRestriction"/>
<daml:Restriction rdf:about="#PropertyAndRestriction"/>

<!-- Typed Literals are represented as anonymous classes in RDF-API, 
making it nearly difficult to assert additional facts about typed
literals.  But it is still checked by the validator. -->

<!-- The following examples depend on the anonymous class names
     generated by RDF-API.  If this file or the code changes, these
     examples may no longer be valid -->

<xsd:integer rdf:value="12" rdf:ID="item1"/>
<daml:Class rdf:about="#item1"/>

<xsd:integer rdf:value="12" rdf:ID="item2"/>
<daml:DatatypeProperty rdf:about="#item2"/>

<xsd:integer rdf:value="12" rdf:ID="item3"/>
<daml:Restriction rdf:about="#item3"/>

</rdf:RDF>
