Commits

Toby Inkster committed 99f4347 Draft

replace xt tests

Comments (0)

Files changed (17)

devel.more-xt/02owlwg-notes.n3

+# Dear OWL2 WG
+
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+
+# This message is entirely in Notation 3 format, so you can copy and
+# paste into an editor with syntax highlighting if you like.
+#
+# I am writing an OWL2 RL implementation (in Perl) and have noticed
+# that the rules in REC-owl2-profiles-20091027 seem woefully
+# insufficient for an implementation to pass the currently approved
+# tests in the OWL test suite - even if only attempting to pass the
+# RDF-Semantics RL tests.
+
+##############################################
+### WebOnt-differentFrom-001
+##############################################
+
+# This attempts to test the following:
+
+{ ?a owl:differentFrom ?b . } => { ?b owl:differentFrom ?a . } .
+
+# Clearly true, but OWL2 RL doesn't seem to have a rule or set of
+# rules that implies it. The only two rules that mention
+# owl:differentFrom are eq-diff1 and dt-diff. I've added an additional
+# rule to my implementation that handles this, but surely this is
+# something so basic that it should be part of RL?
+
+##############################################
+### owl2-rl-rules-fp-differentFrom
+##############################################
+
+{
+	?X1 owl:differentFrom ?X2 .
+	?Y1 ?fp ?X1 .
+	?Y2 ?fp ?X2 .
+	?fp a owl:FunctionalProperty .
+}
+	=> { ?Y1 owl:differentFrom ?Y2 . } .
+
+# Again, this is clearly true, but is a RL implenentation expected
+# to be able to figure it out? Which rule or set of rules implies it?
+
+##############################################
+### New-Feature-ReflexiveProperty-001
+##############################################
+
+{
+	?rp a owl:ReflexiveProperty , owl:ObjectProperty .
+	?ind a owl:NamedIndividual .
+}
+	=> { ?ind ?rp ?ind . } .
+
+# Yet again, clearly true, but can't see how OWL2 RL's rule set implies
+# this. In fact section 4.2.5 of REC-owl2-profiles-20091027 says of RL,
+# quite explicitly: "the use of reflexive properties is disallowed".
+#
+# These are a few examples. There are numerous more. I've restrained
+# myself from creating a full catalogue of them for now. Perhaps I have
+# been missing something obvious to others?
+#
+# -- 
+# Toby Inkster
+# mail@tobyinkster.co.uk

devel.more-xt/02owlwg.manifest.rdf

+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE rdf:RDF[
+	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
+	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
+	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
+	<!ENTITY test 'http://www.w3.org/2007/OWL/testOntology#'>
+]>
+
+<rdf:RDF
+	xmlns:rdf="&rdf;"
+	xmlns:rdfs="&rdfs;"
+	xmlns:owl ="&owl;"
+	xmlns:test="&test;">
+
+	<owl:Ontology>
+		<owl:imports rdf:resource="http://owl.semanticweb.org/exports/testOntology.rdf" />
+	</owl:Ontology>
+
+	<owl:AnnotationProperty rdf:about="&rdfs;comment" />
+
+
+<!-- Test case export for query [[Category:Test Case]] [[test case status::Test:Approved]] [[test case profile::Test:RL]] -->
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/Chain2trans">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;PositiveEntailmentTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">chain2trans1</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Bijan Parsia</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A role chain can be a synonym for transitivity.</test:description>
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF 
+     xml:base="http://example.org/"
+     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+     xmlns:owl="http://www.w3.org/2002/07/owl#"&gt;
+    &lt;owl:Ontology rdf:about="http://owl.semanticweb.org/page/Special:GetOntology/Chain2trans?m=c"/&gt;
+    &lt;owl:TransitiveProperty rdf:about="#p"/&gt;
+&lt;/rdf:RDF&gt;</test:rdfXmlConclusionOntology>
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;rdf:RDF 
+     xml:base="http://example.org/"
+     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+     xmlns:owl="http://www.w3.org/2002/07/owl#"&gt;
+
+    &lt;owl:Ontology rdf:about="http://owl.semanticweb.org/page/Special:GetOntology/Chain2trans?m=p"/&gt;
+    &lt;owl:ObjectProperty rdf:about="#p"/&gt;
+
+    &lt;rdf:Description rdf:about="#p"&gt;
+        &lt;owl:propertyChainAxiom rdf:parseType="Collection"&gt;
+            &lt;rdf:Description rdf:about="#p"/&gt;
+            &lt;rdf:Description rdf:about="#p"/&gt;
+        &lt;/owl:propertyChainAxiom&gt;
+    &lt;/rdf:Description&gt;
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/Chain2trans" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/DisjointClasses-2D001">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;PositiveEntailmentTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">DisjointClasses-001</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates a binary disjoint classes axiom based on example in the Structural Specification and Functional-Style Syntax document.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-syntax/#Disjoint_Classes" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:Class rdf:about="Girl" /&gt;
+
+&lt;rdf:Description rdf:about="Stewie"&gt;
+  &lt;rdf:type&gt;
+    &lt;owl:Class&gt;
+      &lt;owl:complementOf rdf:resource="Girl" /&gt;
+    &lt;/owl:Class&gt;
+  &lt;/rdf:type&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlConclusionOntology>
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:Class rdf:about="Boy" /&gt;
+&lt;owl:Class rdf:about="Girl" /&gt;
+
+&lt;rdf:Description rdf:about="Boy"&gt;
+  &lt;owl:disjointWith rdf:resource="Girl" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;Boy rdf:about="Stewie" /&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( Class( :Girl ) )
+
+  ClassAssertion( ObjectComplementOf( :Girl ) :Stewie )
+)</test:fsConclusionOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( Class( :Boy ) )
+  Declaration( Class( :Girl ) )
+
+  DisjointClasses( :Boy :Girl )
+  ClassAssertion( :Boy :Stewie )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/DisjointClasses-2D001" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;EL" />
+	</owl:NegativePropertyAssertion>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/DisjointClasses-2D001" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/DisjointClasses-2D002">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;InconsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">DisjointClasses-002</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates a binary disjoint classes axiom and class assertions causing an inconsistency based on example in the Structural Specification and Functional-Style Syntax document.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-syntax/#Disjoint_Classes" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;QL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:Class rdf:about="Boy" /&gt;
+&lt;owl:Class rdf:about="Girl" /&gt;
+
+&lt;rdf:Description rdf:about="Boy"&gt;
+  &lt;owl:disjointWith rdf:resource="Girl" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;Boy rdf:about="Stewie" /&gt;
+&lt;Girl rdf:about="Stewie" /&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( Class( :Boy ) )
+  Declaration( Class( :Girl ) )
+
+  DisjointClasses( :Boy :Girl )
+  ClassAssertion( :Boy :Stewie )
+  ClassAssertion( :Girl :Stewie )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/DisjointClasses-2D003">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;PositiveEntailmentTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">DisjointClasses-003</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A modification of test DisjointClasses-001 to demonstrate a ternary disjoint classes axiom.</test:description>
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:Class rdf:about="Girl" /&gt;
+&lt;owl:Class rdf:about="Dog" /&gt;
+
+&lt;rdf:Description rdf:about="Stewie"&gt;
+  &lt;rdf:type&gt;
+    &lt;owl:Class&gt;
+      &lt;owl:complementOf rdf:resource="Girl" /&gt;
+    &lt;/owl:Class&gt;
+  &lt;/rdf:type&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Stewie"&gt;
+  &lt;rdf:type&gt;
+    &lt;owl:Class&gt;
+      &lt;owl:complementOf rdf:resource="Dog" /&gt;
+    &lt;/owl:Class&gt;
+  &lt;/rdf:type&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlConclusionOntology>
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:Class rdf:about="Boy" /&gt;
+&lt;owl:Class rdf:about="Girl" /&gt;
+&lt;owl:Class rdf:about="Dog" /&gt;
+
+&lt;owl:AllDisjointClasses&gt;
+  &lt;owl:members rdf:parseType="Collection"&gt;
+    &lt;rdf:Description rdf:about="Boy" /&gt;
+    &lt;rdf:Description rdf:about="Girl" /&gt;
+    &lt;rdf:Description rdf:about="Dog" /&gt;
+  &lt;/owl:members&gt;
+&lt;/owl:AllDisjointClasses&gt;
+
+&lt;Boy rdf:about="Stewie" /&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( Class( :Girl ) )
+  Declaration( Class( :Dog ) )
+
+  ClassAssertion( ObjectComplementOf( :Girl ) :Stewie )
+  ClassAssertion( ObjectComplementOf( :Dog ) :Stewie )
+)</test:fsConclusionOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( Class( :Boy ) )
+  Declaration( Class( :Girl ) )
+  Declaration( Class( :Dog ) )
+
+  DisjointClasses( :Boy :Girl :Dog )
+  ClassAssertion( :Boy :Stewie )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/DisjointClasses-2D003" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;EL" />
+	</owl:NegativePropertyAssertion>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/DisjointClasses-2D003" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/FS2RDF-2Ddifferent-2Dindividuals-2D2-2Dar">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">FS2RDF-different-individuals-2-ar</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Alan Ruttenberg</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Functional syntax to RDFXML translation of ontology consisting of a 2 argument DifferentIndividuals</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-mapping-to-rdf/" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;QL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;rdf:RDF
+    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+    xmlns="http://example.org/"
+    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+    xmlns:owl="http://www.w3.org/2002/07/owl#"&gt;
+  &lt;owl:Ontology/&gt;
+  &lt;rdf:Description rdf:about="http://example.org/a"&gt;
+    &lt;owl:differentFrom rdf:resource="http://example.org/b"/&gt;
+  &lt;/rdf:Description&gt;
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix(: = &lt;http://example.org/&gt;)
+ Ontology(
+ DifferentIndividuals( :a :b ))</test:fsPremiseOntology>
+	</test:TestCase>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/FS2RDF-2Ddifferent-2Dindividuals-2D3-2Dar">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">FS2RDF-different-individuals-3-ar</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Alan Ruttenberg</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Functional syntax to RDFXML translation of ontology consisting of a 3 argument DifferentIndividuals</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-mapping-to-rdf/" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;QL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;rdf:RDF
+    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+    xmlns="http://example.org/"
+    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+    xmlns:owl="http://www.w3.org/2002/07/owl#"&gt;
+  &lt;owl:Ontology/&gt;
+  &lt;owl:AllDifferent&gt;
+    &lt;owl:distinctMembers rdf:parseType="Collection"&gt;
+      &lt;rdf:Description rdf:about="http://example.org/a"/&gt;
+      &lt;rdf:Description rdf:about="http://example.org/b"/&gt;
+      &lt;rdf:Description rdf:about="http://example.org/c"/&gt;
+    &lt;/owl:distinctMembers&gt;
+  &lt;/owl:AllDifferent&gt;
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix(: = &lt;http://example.org/&gt;)
+ Ontology(
+  DifferentIndividuals( :a :b :c ))</test:fsPremiseOntology>
+	</test:TestCase>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/FS2RDF-2Dno-2Dbuiltin-2Dprefixes-2Dar">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">FS2RDF-no-builtin-prefixes-ar</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Alan Ruttenberg</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Functional syntax to RDFXML checking that there aren't builtin prefixes for xsd, rdf, rdfs, owl</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-mapping-to-rdf/" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;rdf:RDF
+    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+    xmlns="http://example.org/"
+    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+    xmlns:owl="http://www.w3.org/2002/07/owl#"&gt;
+  &lt;owl:Ontology/&gt;
+  &lt;rdf:Description rdf:about="http://example.org/d"&gt;
+    &lt;owl:sameAs rdf:resource="http://example.org/e"/&gt;
+  &lt;/rdf:Description&gt;
+  &lt;rdf:Description rdf:about="http://example.org/a"&gt;
+    &lt;owl:sameAs&gt;
+      &lt;rdf:Description rdf:about="http://example.org/b"&gt;
+        &lt;owl:sameAs&gt;
+          &lt;rdf:Description rdf:about="http://example.org/c"&gt;
+            &lt;owl:sameAs rdf:resource="http://example.org/d"/&gt;
+          &lt;/rdf:Description&gt;
+        &lt;/owl:sameAs&gt;
+      &lt;/rdf:Description&gt;
+    &lt;/owl:sameAs&gt;
+  &lt;/rdf:Description&gt;
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix(: = &lt;http://example.org/&gt;)
+  Prefix(xsd: = &lt;http://example.org/&gt;)
+  Prefix(rdf: = &lt;http://example.org/&gt;)
+  Prefix(rdfs: = &lt;http://example.org/&gt;)
+  Prefix(owl: = &lt;http://example.org/&gt;)
+  Ontology(
+   SameIndividual(:a xsd:b rdf:c rdfs:d owl:e))</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/FS2RDF-2Dno-2Dbuiltin-2Dprefixes-2Dar" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/FS2RDF-2Dsame-2Dindividual-2D2-2Dar">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">FS2RDF-same-individual-2-ar</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Alan Ruttenberg</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Functional syntax to RDFXML translation of ontology consisting of a 2 argument SameIndividual</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-mapping-to-rdf/" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;rdf:RDF
+    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+    xmlns="http://example.org/"
+    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+    xmlns:owl="http://www.w3.org/2002/07/owl#"&gt;
+  &lt;owl:Ontology/&gt;
+  &lt;rdf:Description rdf:about="http://example.org/a"&gt;
+    &lt;owl:sameAs rdf:resource="http://example.org/b"/&gt;
+  &lt;/rdf:Description&gt;
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix(: = &lt;http://example.org/&gt;)
+ Ontology(
+ SameIndividual( :a :b ))</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/FS2RDF-2Dsame-2Dindividual-2D2-2Dar" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/Functionality-2Dclash">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;InconsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">functionality-clash</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Birte Glimm</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">The property hasAge is functional, but the individual a has two distinct hasAge fillers.</test:description>
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix(:=&lt;http://example.org/&gt;)
+Prefix(xsd:=&lt;http://www.w3.org/2001/XMLSchema#&gt;)
+Ontology(
+  Declaration(NamedIndividual(:a))
+  Declaration(DataProperty(:hasAge))
+  FunctionalDataProperty(:hasAge) 
+  ClassAssertion(DataHasValue(:hasAge "18"^^xsd:integer) :a) 
+  ClassAssertion(DataHasValue(:hasAge "19"^^xsd:integer) :a)
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/Functionality-2Dclash" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;EL" />
+	</owl:NegativePropertyAssertion>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/Functionality-2Dclash" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DAnnotationAnnotations-2D001">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-AnnotationAnnotations-001</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates annotation of an annotation.  Adapted from an example in the Mapping to RDF Graphs document.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-mapping-to-rdf/#Translation_of_Annotations" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;QL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+  xmlns:rdfs= "http://www.w3.org/2000/01/rdf-schema#"&gt;
+
+&lt;owl:Ontology rdf:about="http://example.org/"/&gt;
+
+&lt;rdf:Description rdf:about="http://example.org/"&gt;
+  &lt;rdfs:label&gt;An example ontology&lt;/rdfs:label&gt;
+&lt;/rdf:Description&gt;
+
+&lt;owl:Annotation&gt;
+  &lt;owl:annotatedSource rdf:resource="http://example.org/" /&gt;
+  &lt;owl:annotatedProperty rdf:resource="http://www.w3.org/2000/01/rdf-schema#label" /&gt;
+  &lt;owl:annotatedTarget&gt;An example ontology&lt;/owl:annotatedTarget&gt;
+  &lt;author&gt;Mike Smith&lt;/author&gt;
+&lt;/owl:Annotation&gt;
+
+&lt;owl:AnnotationProperty rdf:about="author" /&gt;
+&lt;owl:NamedIndividual rdf:about="i" /&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( rdfs: = &lt;http://www.w3.org/2000/01/rdf-schema#&gt; )
+Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(&lt;http://example.org/&gt;
+  Annotation(
+    Annotation( :author "Mike Smith" )
+    rdfs:label "An example ontology"
+  )
+
+  Declaration( AnnotationProperty( :author ) )
+  Declaration( NamedIndividual( :i ) )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+
+
+<!-- Processed 10 items. -->
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DAsymmetricProperty-2D001">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;InconsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-AsymmetricProperty-001</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates use of an asymmetric object property axiom to cause a trivial inconsistency based on the example in the Structural Specification and Functional-Style Syntax document.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-syntax/#Asymmetric_Object_Properties" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;QL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:ObjectProperty rdf:about="parentOf" /&gt;
+&lt;owl:AsymmetricProperty rdf:about="parentOf" /&gt;
+
+&lt;rdf:Description rdf:about="Peter"&gt;
+  &lt;parentOf rdf:resource="Stewie" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Stewie"&gt;
+  &lt;parentOf rdf:resource="Peter" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( ObjectProperty( :parentOf ) )
+  AsymmetricObjectProperty( :parentOf )
+
+  ObjectPropertyAssertion( :parentOf :Peter :Stewie )
+
+  ObjectPropertyAssertion( :parentOf :Stewie :Peter )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DAsymmetricProperty-2D001" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;EL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DAxiomAnnotations-2D001">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-AxiomAnnotations-001</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates axiom annotation based on an example in the Mapping to RDF Graphs document.  The axiom being annotated here generates a main triple when mapped to RDF.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-mapping-to-rdf/#Axioms_that_Generate_a_Main_Triple" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;QL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:Class rdf:about="Child" /&gt;
+&lt;owl:Class rdf:about="Person" /&gt;
+
+&lt;rdf:Description rdf:about="Child"&gt;
+  &lt;rdfs:subClassOf rdf:resource="Person" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;owl:Axiom&gt;
+  &lt;owl:annotatedSource rdf:resource="Child" /&gt;
+  &lt;owl:annotatedProperty rdf:resource="http://www.w3.org/2000/01/rdf-schema#subClassOf" /&gt;
+  &lt;owl:annotatedTarget rdf:resource="Person" /&gt;
+  &lt;rdfs:comment&gt;Children are people.&lt;/rdfs:comment&gt;
+&lt;/owl:Axiom&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( rdfs: = &lt;http://www.w3.org/2000/01/rdf-schema#&gt; )
+Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( Class( :Child ) )
+  Declaration( Class( :Person ) )
+
+  SubClassOf( Annotation( rdfs:comment "Children are people." ) :Child :Person )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DDisjointDataProperties-2D001">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;InconsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-DisjointDataProperties-001</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates use of a disjoint data properties axiom to create a trivial inconsistency based on the example in the Structural Specification and Functional-Style Syntax document.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-syntax/#Disjoint_Data_Properties" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;QL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:DatatypeProperty rdf:about="hasName" /&gt;
+&lt;owl:DatatypeProperty rdf:about="hasAddress" /&gt;
+
+&lt;rdf:Description rdf:about="hasName"&gt;
+  &lt;owl:propertyDisjointWith rdf:resource="hasAddress" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Peter"&gt;
+  &lt;hasName&gt;Peter Griffin&lt;/hasName&gt;
+  &lt;hasAddress&gt;Peter Griffin&lt;/hasAddress&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( DataProperty( :hasName ) )
+  Declaration( DataProperty( :hasAddress ) )
+
+  DisjointDataProperties( :hasName :hasAddress )
+
+  DataPropertyAssertion( :hasName :Peter "Peter Griffin" )
+  DataPropertyAssertion( :hasAddress :Peter "Peter Griffin" )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DDisjointDataProperties-2D001" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;EL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DDisjointDataProperties-2D002">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;PositiveEntailmentTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-DisjointDataProperties-002</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates use of a ternary disjoint data properties axiom to infer different individuals.  Adapted from test New-Feature-DisjointDataProperties-001.</test:description>
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;QL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:AllDifferent&gt;
+  &lt;owl:distinctMembers rdf:parseType="Collection"&gt;
+    &lt;rdf:Description rdf:about="Peter" /&gt;
+    &lt;rdf:Description rdf:about="Peter_Griffin" /&gt;
+    &lt;rdf:Description rdf:about="Petre" /&gt;
+  &lt;/owl:distinctMembers&gt;
+&lt;/owl:AllDifferent&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlConclusionOntology>
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:DatatypeProperty rdf:about="hasName" /&gt;
+&lt;owl:DatatypeProperty rdf:about="hasAddress" /&gt;
+&lt;owl:DatatypeProperty rdf:about="hasZip" /&gt;
+
+&lt;owl:AllDisjointProperties&gt;
+  &lt;owl:members rdf:parseType="Collection"&gt;
+    &lt;rdf:Description rdf:about="hasName" /&gt;
+    &lt;rdf:Description rdf:about="hasAddress" /&gt;
+    &lt;rdf:Description rdf:about="hasZip" /&gt;
+  &lt;/owl:members&gt;
+&lt;/owl:AllDisjointProperties&gt;
+
+&lt;rdf:Description rdf:about="Peter"&gt;
+  &lt;hasName&gt;Peter Griffin&lt;/hasName&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Peter_Griffin"&gt;
+  &lt;hasAddress&gt;Peter Griffin&lt;/hasAddress&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Petre"&gt;
+  &lt;hasZip&gt;Peter Griffin&lt;/hasZip&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  DifferentIndividuals( :Peter :Peter_Griffin :Petre )
+)</test:fsConclusionOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( DataProperty( :hasName ) )
+  Declaration( DataProperty( :hasAddress ) )
+  Declaration( DataProperty( :hasZip ) )
+
+  DisjointDataProperties( :hasName :hasAddress :hasZip )
+
+  DataPropertyAssertion( :hasName :Peter "Peter Griffin" )
+  DataPropertyAssertion( :hasAddress :Peter_Griffin "Peter Griffin" )
+  DataPropertyAssertion( :hasZip :Petre "Peter Griffin" )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DDisjointDataProperties-2D002" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;EL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DDisjointObjectProperties-2D001">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;PositiveEntailmentTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-DisjointObjectProperties-001</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates use of a disjoint object properties axiom to infer that two individuals are different based on the example in the Structural Specification and Functional-Style Syntax document.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-syntax/#Disjoint_Object_Properties" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;QL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;rdf:Description rdf:about="Peter"&gt;
+  &lt;owl:differentFrom rdf:resource="Lois" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlConclusionOntology>
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:ObjectProperty rdf:about="hasFather" /&gt;
+&lt;owl:ObjectProperty rdf:about="hasMother" /&gt;
+
+&lt;rdf:Description rdf:about="hasFather"&gt;
+  &lt;owl:propertyDisjointWith rdf:resource="hasMother" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Stewie"&gt;
+  &lt;hasFather rdf:resource="Peter" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Stewie"&gt;
+  &lt;hasMother rdf:resource="Lois" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  DifferentIndividuals( :Peter :Lois )
+)</test:fsConclusionOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( ObjectProperty( :hasFather ) )
+  Declaration( ObjectProperty( :hasMother ) )
+
+  DisjointObjectProperties( :hasFather :hasMother )
+
+  ObjectPropertyAssertion( :hasFather :Stewie :Peter )
+  ObjectPropertyAssertion( :hasMother :Stewie :Lois )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DDisjointObjectProperties-2D001" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;EL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DDisjointObjectProperties-2D002">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;PositiveEntailmentTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-DisjointObjectProperties-002</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A modification of test New-Feature-DisjointObjectProperties-001 to demonstrate a ternary disjoint object properties axiom.</test:description>
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;QL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:AllDifferent&gt;
+  &lt;owl:distinctMembers rdf:parseType="Collection"&gt;
+    &lt;rdf:Description rdf:about="Peter" /&gt;
+    &lt;rdf:Description rdf:about="Lois" /&gt;
+    &lt;rdf:Description rdf:about="StewieJr" /&gt;
+  &lt;/owl:distinctMembers&gt;
+&lt;/owl:AllDifferent&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlConclusionOntology>
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:ObjectProperty rdf:about="hasFather" /&gt;
+&lt;owl:ObjectProperty rdf:about="hasMother" /&gt;
+&lt;owl:ObjectProperty rdf:about="hasChild" /&gt;
+
+&lt;owl:AllDisjointProperties&gt;
+  &lt;owl:members rdf:parseType="Collection"&gt;
+    &lt;rdf:Description rdf:about="hasFather" /&gt;
+    &lt;rdf:Description rdf:about="hasMother" /&gt;
+    &lt;rdf:Description rdf:about="hasChild" /&gt;
+  &lt;/owl:members&gt;
+&lt;/owl:AllDisjointProperties&gt;
+
+&lt;rdf:Description rdf:about="Stewie"&gt;
+  &lt;hasFather rdf:resource="Peter" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Stewie"&gt;
+  &lt;hasMother rdf:resource="Lois" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Stewie"&gt;
+  &lt;hasChild rdf:resource="StewieJr" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  DifferentIndividuals( :Peter :Lois :StewieJr )
+)</test:fsConclusionOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( ObjectProperty( :hasFather ) )
+  Declaration( ObjectProperty( :hasMother ) )
+  Declaration( ObjectProperty( :hasChild ) )
+
+  DisjointObjectProperties( :hasFather :hasMother :hasChild )
+
+  ObjectPropertyAssertion( :hasFather :Stewie :Peter )
+  ObjectPropertyAssertion( :hasMother :Stewie :Lois )
+  ObjectPropertyAssertion( :hasChild :Stewie :StewieJr )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DDisjointObjectProperties-2D002" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;EL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DIrreflexiveProperty-2D001">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;InconsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-IrreflexiveProperty-001</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates use of an irreflexive object property axiom to cause a trivial inconsistency based on the example in the Structural Specification and Functional-Style Syntax document.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-syntax/#Irreflexive_Object_Properties" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:ObjectProperty rdf:about="marriedTo" /&gt;
+&lt;owl:IrreflexiveProperty rdf:about="marriedTo" /&gt;
+
+&lt;rdf:Description rdf:about="Peter"&gt;
+  &lt;marriedTo rdf:resource="Peter" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( ObjectProperty( :marriedTo ) )
+  IrreflexiveObjectProperty( :marriedTo )
+
+  ObjectPropertyAssertion( :marriedTo :Peter :Peter )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DIrreflexiveProperty-2D001" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;EL" />
+	</owl:NegativePropertyAssertion>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DIrreflexiveProperty-2D001" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DKeys-2D003">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;PositiveEntailmentTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-Keys-003</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates use of a "localized" key axiom to merge individuals based on an example in the Structural Specification and Functional-Style Syntax document.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-syntax/#Keys" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;rdf:Description rdf:about="Peter"&gt;
+  &lt;owl:sameAs rdf:resource="Peter_Griffin" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlConclusionOntology>
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:Class rdf:about="GriffinFamilyMember" /&gt;
+
+&lt;owl:DatatypeProperty rdf:about="hasName" /&gt;
+
+&lt;rdf:Description rdf:about="GriffinFamilyMember"&gt;
+  &lt;owl:hasKey rdf:parseType="Collection"&gt;
+    &lt;rdf:Description rdf:about="hasName" /&gt;
+  &lt;/owl:hasKey&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Peter"&gt;
+  &lt;hasName&gt;Peter&lt;/hasName&gt;
+  &lt;rdf:type rdf:resource="GriffinFamilyMember" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Peter_Griffin"&gt;
+  &lt;hasName&gt;Peter&lt;/hasName&gt;
+  &lt;rdf:type rdf:resource="GriffinFamilyMember" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="StPeter"&gt;
+  &lt;hasName&gt;Peter&lt;/hasName&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  SameIndividual( :Peter :Peter_Griffin )
+)</test:fsConclusionOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( Class( :GriffinFamilyMember ) )
+  Declaration( DataProperty( :hasName ) )
+
+  HasKey( :GriffinFamilyMember () ( :hasName ) )
+
+  DataPropertyAssertion( :hasName :Peter "Peter" )
+  ClassAssertion( :GriffinFamilyMember :Peter )
+
+  DataPropertyAssertion( :hasName :Peter_Griffin "Peter" )
+  ClassAssertion( :GriffinFamilyMember :Peter_Griffin )
+
+  DataPropertyAssertion( :hasName :StPeter "Peter" ) 
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DKeys-2D003" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DKeys-2D004">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;NegativeEntailmentTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-Keys-004</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates that use of a "localized" key axiom only merges individuals that are instances of the given class expression.  Based on an example in the Structural Specification and Functional-Style Syntax document.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-syntax/#Keys" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlNonConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;rdf:Description rdf:about="Peter"&gt;
+  &lt;owl:sameAs rdf:resource="StPeter" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlNonConclusionOntology>
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:Class rdf:about="GriffinFamilyMember" /&gt;
+
+&lt;owl:DatatypeProperty rdf:about="hasName" /&gt;
+
+&lt;rdf:Description rdf:about="GriffinFamilyMember"&gt;
+  &lt;owl:hasKey rdf:parseType="Collection"&gt;
+    &lt;rdf:Description rdf:about="hasName" /&gt;
+  &lt;/owl:hasKey&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Peter"&gt;
+  &lt;hasName&gt;Peter&lt;/hasName&gt;
+  &lt;rdf:type rdf:resource="GriffinFamilyMember" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Peter_Griffin"&gt;
+  &lt;hasName&gt;Peter&lt;/hasName&gt;
+  &lt;rdf:type rdf:resource="GriffinFamilyMember" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="StPeter"&gt;
+  &lt;hasName&gt;Peter&lt;/hasName&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsNonConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  SameIndividual( :Peter :StPeter )
+)</test:fsNonConclusionOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( Class( :GriffinFamilyMember ) )
+  Declaration( DataProperty( :hasName ) )
+
+  HasKey( :GriffinFamilyMember () ( :hasName ) )
+
+  DataPropertyAssertion( :hasName :Peter "Peter" )
+  ClassAssertion( :GriffinFamilyMember :Peter )
+
+  DataPropertyAssertion( :hasName :Peter_Griffin "Peter" )
+  ClassAssertion( :GriffinFamilyMember :Peter_Griffin )
+
+  DataPropertyAssertion( :hasName :StPeter "Peter" ) 
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DKeys-2D004" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DKeys-2D005">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-Keys-005</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates that a key axiom does not make all properties used in it functional. Based on an example in the Structural Specification and Functional-Style Syntax document.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-syntax/#Keys" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:Class rdf:about="GriffinFamilyMember" /&gt;
+
+&lt;owl:DatatypeProperty rdf:about="hasName" /&gt;
+
+&lt;rdf:Description rdf:about="GriffinFamilyMember"&gt;
+  &lt;owl:hasKey rdf:parseType="Collection"&gt;
+    &lt;rdf:Description rdf:about="hasName" /&gt;
+  &lt;/owl:hasKey&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Peter"&gt;
+  &lt;hasName&gt;Peter&lt;/hasName&gt;
+  &lt;hasName&gt;Kichwa-Tembo&lt;/hasName&gt;
+  &lt;rdf:type rdf:resource="GriffinFamilyMember" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( Class( :GriffinFamilyMember ) )
+  Declaration( DataProperty( :hasName ) )
+
+  HasKey( :GriffinFamilyMember () ( :hasName ) )
+
+  DataPropertyAssertion( :hasName :Peter "Peter" )
+  DataPropertyAssertion( :hasName :Peter "Kichwa-Tembo" )
+  ClassAssertion( :GriffinFamilyMember :Peter )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DKeys-2D005" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+<!-- Processed 20 items. -->
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DKeys-2D006">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;InconsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-Keys-006</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates that a key axiom does not make all properties used in it functional, but these properties may be made functional with other axioms. Based on an example in the Structural Specification and Functional-Style Syntax document.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-syntax/#Keys" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:Class rdf:about="GriffinFamilyMember" /&gt;
+
+&lt;owl:DatatypeProperty rdf:about="hasName" /&gt;
+
+&lt;rdf:Description rdf:about="GriffinFamilyMember"&gt;
+  &lt;owl:hasKey rdf:parseType="Collection"&gt;
+    &lt;rdf:Description rdf:about="hasName" /&gt;
+  &lt;/owl:hasKey&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Peter"&gt;
+  &lt;hasName&gt;Peter&lt;/hasName&gt;
+  &lt;hasName&gt;Kichwa-Tembo&lt;/hasName&gt;
+  &lt;rdf:type rdf:resource="GriffinFamilyMember" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="hasName"&gt;
+  &lt;rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( Class( :GriffinFamilyMember ) )
+  Declaration( DataProperty( :hasName ) )
+
+  HasKey( :GriffinFamilyMember () ( :hasName ) )
+
+  DataPropertyAssertion( :hasName :Peter "Peter" )
+  DataPropertyAssertion( :hasName :Peter "Kichwa-Tembo" )
+  ClassAssertion( :GriffinFamilyMember :Peter )
+
+  FunctionalDataProperty( :hasName )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DKeys-2D006" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DNegativeDataPropertyAssertion-2D001">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;InconsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-NegativeDataPropertyAssertion-001</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates use of a negative data property assertion to create a trivial inconsistency based on an example in the Structural Specification and Functional-Style Syntax document.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-syntax/#Negative_Data_Property_Assertions" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:DatatypeProperty rdf:about="hasAge" /&gt;
+
+&lt;owl:NegativePropertyAssertion&gt;
+  &lt;owl:sourceIndividual rdf:resource="Meg" /&gt;
+  &lt;owl:assertionProperty rdf:resource="hasAge" /&gt;
+  &lt;owl:targetValue rdf:datatype="http://www.w3.org/2001/XMLSchema#integer"&gt;5&lt;/owl:targetValue&gt;
+&lt;/owl:NegativePropertyAssertion&gt;
+
+&lt;rdf:Description rdf:about="Meg"&gt;
+  &lt;hasAge rdf:datatype="http://www.w3.org/2001/XMLSchema#integer"&gt;5&lt;/hasAge&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( xsd: = &lt;http://www.w3.org/2001/XMLSchema#&gt; )
+Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( DataProperty( :hasAge ) )
+
+  NegativeDataPropertyAssertion( :hasAge :Meg "5"^^xsd:integer )
+  DataPropertyAssertion( :hasAge :Meg "5"^^xsd:integer )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DNegativeDataPropertyAssertion-2D001" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DNegativeObjectPropertyAssertion-2D001">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;InconsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-NegativeObjectPropertyAssertion-001</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates use of a negative object property assertion to create a trivial inconsistency based on an example in the Structural Specification and Functional-Style Syntax document.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-syntax/#Negative_Object_Property_Assertions" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:ObjectProperty rdf:about="hasSon" /&gt;
+
+&lt;owl:NegativePropertyAssertion&gt;
+  &lt;owl:sourceIndividual rdf:resource="Peter" /&gt;
+  &lt;owl:assertionProperty rdf:resource="hasSon" /&gt;
+  &lt;owl:targetIndividual rdf:resource="Meg" /&gt;
+&lt;/owl:NegativePropertyAssertion&gt;
+
+&lt;rdf:Description rdf:about="Peter"&gt;
+  &lt;hasSon rdf:resource="Meg" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( ObjectProperty( :hasSon ) )
+
+  NegativeObjectPropertyAssertion( :hasSon :Peter :Meg )
+  ObjectPropertyAssertion( :hasSon :Peter :Meg )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DNegativeObjectPropertyAssertion-2D001" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DObjectPropertyChain-2D001">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;PositiveEntailmentTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-ObjectPropertyChain-001</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates an object property chain in a subproperty axiom based on the example in the Structural Specification and Functional-Style Syntax document.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-syntax/#Object_Subproperties" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;rdf:Description rdf:about="Stewie"&gt;
+  &lt;hasAunt rdf:resource="Carol" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlConclusionOntology>
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:ObjectProperty rdf:about="hasMother" /&gt;
+&lt;owl:ObjectProperty rdf:about="hasSister" /&gt;
+&lt;owl:ObjectProperty rdf:about="hasAunt" /&gt;
+
+&lt;rdf:Description rdf:about="hasAunt"&gt;
+  &lt;owl:propertyChainAxiom rdf:parseType="Collection"&gt;
+    &lt;rdf:Description rdf:about="hasMother" /&gt;
+    &lt;rdf:Description rdf:about="hasSister" /&gt;
+  &lt;/owl:propertyChainAxiom&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Stewie"&gt;
+  &lt;hasMother rdf:resource="Lois" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Lois"&gt;
+  &lt;hasSister rdf:resource="Carol" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( ObjectProperty( :hasAunt ) )
+
+  ObjectPropertyAssertion( :hasAunt :Stewie :Carol ) 
+)</test:fsConclusionOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( ObjectProperty( :hasMother ) )
+  Declaration( ObjectProperty( :hasSister ) )
+  Declaration( ObjectProperty( :hasAunt ) )
+
+  SubObjectPropertyOf( ObjectPropertyChain( :hasMother :hasSister ) :hasAunt )
+
+  ObjectPropertyAssertion( :hasMother :Stewie :Lois )
+  ObjectPropertyAssertion( :hasSister :Lois :Carol ) 
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DObjectPropertyChain-2D001" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DObjectPropertyChain-2DBJP-2D003">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;PositiveEntailmentTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-ObjectPropertyChain-BJP-003</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Bijan Parsia</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A simple test of role chains and role hierarchy.</test:description>
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+    xml:base  = "http://example.org/"
+    xmlns     = "http://example.org/"
+    xmlns:owl = "http://www.w3.org/2002/07/owl#"
+    xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+    &lt;owl:Ontology/&gt;
+    &lt;rdf:Description rdf:about="a"&gt;
+        &lt;p rdf:resource="c"/&gt;
+    &lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlConclusionOntology>
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+    xml:base  = "http://example.org/"
+    xmlns     = "http://example.org/"
+    xmlns:owl = "http://www.w3.org/2002/07/owl#"
+    xmlns:rdfs= "http://www.w3.org/2000/01/rdf-schema#"
+    xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+    &lt;rdf:Description rdf:about="p"&gt;
+        &lt;owl:propertyChainAxiom rdf:parseType="Collection"&gt;
+            &lt;owl:ObjectProperty rdf:about="p"/&gt;
+            &lt;owl:ObjectProperty rdf:about="q"/&gt;
+        &lt;/owl:propertyChainAxiom&gt;
+    &lt;/rdf:Description&gt;
+    
+    &lt;rdf:Description rdf:about="a"&gt;
+        &lt;p rdf:resource="b"/&gt;
+    &lt;/rdf:Description&gt;
+    
+    &lt;rdf:Description rdf:about="b"&gt;
+        &lt;q rdf:resource="c"/&gt;
+    &lt;/rdf:Description&gt;
+   
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DObjectPropertyChain-2DBJP-2D003" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DObjectPropertyChain-2DBJP-2D004">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;NegativeEntailmentTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-ObjectPropertyChain-BJP-004</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Bijan Parsia</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A test of an interaction between a role chain +hierarchy and transitivity axioms.</test:description>
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlNonConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;rdf:RDF
+    xml:base  = "http://example.org/"
+    xmlns     = "http://example.org/"
+    xmlns:owl = "http://www.w3.org/2002/07/owl#"
+    xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+   &lt;owl:Ontology/&gt;
+   &lt;owl:ObjectProperty rdf:about="p"/&gt;
+   &lt;owl:TransitiveProperty rdf:about="p"/&gt;
+&lt;/rdf:RDF&gt;</test:rdfXmlNonConclusionOntology>
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+    xml:base  = "http://example.org/"
+    xmlns     = "http://example.org/"
+    xmlns:owl = "http://www.w3.org/2002/07/owl#"
+    xmlns:rdfs= "http://www.w3.org/2000/01/rdf-schema#"
+    xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+    &lt;rdf:Description rdf:about="p"&gt;
+        &lt;owl:propertyChainAxiom rdf:parseType="Collection"&gt;
+            &lt;owl:ObjectProperty rdf:about="p"/&gt;
+            &lt;owl:ObjectProperty rdf:about="q"/&gt;
+        &lt;/owl:propertyChainAxiom&gt;
+    &lt;/rdf:Description&gt;
+    
+    &lt;rdf:Description rdf:about="a"&gt;
+        &lt;q rdf:resource="b"/&gt;
+    &lt;/rdf:Description&gt;
+    
+    &lt;rdf:Description rdf:about="b"&gt;
+        &lt;q rdf:resource="c"/&gt;
+    &lt;/rdf:Description&gt;
+   
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DObjectPropertyChain-2DBJP-2D004" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DObjectQCR-2D002">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;PositiveEntailmentTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-ObjectQCR-002</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Demonstrates a qualified maximum cardinality object property restriction adapted from example in the Structural Specification and Functional-Style Syntax document.</test:description>
+		<test:issue rdf:resource="http://www.w3.org/2007/OWL/tracker/issues/38" />
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-syntax/#Maximum_Cardinality" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:Class rdf:about="Woman" /&gt;
+
+&lt;rdf:Description rdf:about="Stewie"&gt;
+  &lt;rdf:type&gt;
+    &lt;owl:Class&gt;
+      &lt;owl:complementOf rdf:resource="Woman" /&gt;
+    &lt;/owl:Class&gt;
+  &lt;/rdf:type&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlConclusionOntology>
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:ObjectProperty rdf:about="fatherOf" /&gt;
+&lt;owl:Class rdf:about="Woman" /&gt;
+
+&lt;rdf:Description rdf:about="Peter"&gt;
+  &lt;fatherOf rdf:resource="Stewie" /&gt;
+  &lt;fatherOf rdf:resource="Meg" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;Woman rdf:about="Meg" /&gt;
+
+&lt;rdf:Description rdf:about="Peter"&gt;
+  &lt;rdf:type&gt;
+    &lt;owl:Restriction&gt;
+      &lt;owl:onProperty rdf:resource="fatherOf" /&gt;
+      &lt;owl:maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"&gt;1&lt;/owl:maxQualifiedCardinality&gt;
+      &lt;owl:onClass rdf:resource="Woman" /&gt;
+    &lt;/owl:Restriction&gt;
+  &lt;/rdf:type&gt;
+&lt;/rdf:Description&gt;
+
+&lt;rdf:Description rdf:about="Stewie"&gt;
+  &lt;owl:differentFrom rdf:resource="Meg" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( Class( :Woman ) )
+
+  ClassAssertion( ObjectComplementOf( :Woman ) :Stewie )
+)</test:fsConclusionOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( ObjectProperty( :fatherOf ) )
+  Declaration( Class( :Woman ) )
+
+  ObjectPropertyAssertion( :fatherOf :Peter :Stewie )
+  ObjectPropertyAssertion( :fatherOf :Peter :Meg )
+
+  ClassAssertion( :Woman :Meg )
+  ClassAssertion( ObjectMaxCardinality( 1 :fatherOf :Woman ) :Peter )
+
+  DifferentIndividuals( :Stewie :Meg )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DObjectQCR-2D002" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;EL" />
+	</owl:NegativePropertyAssertion>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/New-2DFeature-2DObjectQCR-2D002" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/New-2DFeature-2DReflexiveProperty-2D001">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;PositiveEntailmentTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">New-Feature-ReflexiveProperty-001</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mike Smith</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Uses a reflexive object property axiom to infer a property value based on the example in the Structural Specification and Functional-Style Syntax document.</test:description>
+		<test:specRef rdf:resource="http://www.w3.org/TR/owl2-syntax/#Reflexive_Object_Properties" />
+		<test:normativeSyntax rdf:resource="&test;FUNCTIONAL" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;EL" />
+		<test:profile rdf:resource="&test;QL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:ObjectProperty rdf:about="knows" /&gt;
+
+&lt;rdf:Description rdf:about="Peter"&gt;
+  &lt;knows rdf:resource="Peter" /&gt;
+&lt;/rdf:Description&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlConclusionOntology>
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;?xml version="1.0"?&gt;
+&lt;rdf:RDF
+  xml:base  = "http://example.org/"
+  xmlns     = "http://example.org/"
+  xmlns:owl = "http://www.w3.org/2002/07/owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"&gt;
+
+&lt;owl:Ontology/&gt;
+
+&lt;owl:ObjectProperty rdf:about="knows" /&gt;
+&lt;owl:NamedIndividual rdf:about="Peter" /&gt;
+
+&lt;owl:ReflexiveProperty rdf:about="knows" /&gt;
+
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+		<test:fsConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( ObjectProperty( :knows ) )
+
+  ObjectPropertyAssertion( :knows :Peter :Peter )
+)</test:fsConclusionOntology>
+		<test:fsPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Prefix( : = &lt;http://example.org/&gt; )
+
+Ontology(
+  Declaration( ObjectProperty( :knows ) )
+  Declaration( NamedIndividual( :Peter ) )
+
+  ReflexiveObjectProperty( :knows )
+)</test:fsPremiseOntology>
+	</test:TestCase>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/Owl2-2Drl-2Danonymous-2Dindividual">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">owl2-rl-anonymous-individual</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Zhe Wu</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">OWL 2 RL allows anonymous individual.</test:description>
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlPremiseOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;rdf:RDF
+    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+    xmlns:owl="http://www.w3.org/2002/07/owl#"
+    xmlns:j.0="http://owl2.test/rules#"&gt;
+  &lt;owl:Ontology /&gt;
+  &lt;owl:ObjectProperty rdf:about="http://owl2.test/rules#op"/&gt;
+  &lt;owl:NamedIndividual rdf:about="http://owl2.test/rules#I"/&gt;
+  &lt;owl:NamedIndividual&gt;
+    &lt;j.0:op rdf:resource="http://owl2.test/rules#I"/&gt;
+  &lt;/owl:NamedIndividual&gt;
+&lt;/rdf:RDF&gt;</test:rdfXmlPremiseOntology>
+	</test:TestCase>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/Owl2-2Drl-2Danonymous-2Dindividual" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;EL" />
+	</owl:NegativePropertyAssertion>
+	<owl:NegativePropertyAssertion>
+		<owl:sourceIndividual rdf:resource="http://owl.semanticweb.org/id/Owl2-2Drl-2Danonymous-2Dindividual" />
+		<owl:assertionProperty rdf:resource="&test;profile" />
+		<owl:targetIndividual rdf:resource="&test;QL" />
+	</owl:NegativePropertyAssertion>
+
+
+	<test:TestCase rdf:about="http://owl.semanticweb.org/id/Owl2-2Drl-2Drules-2Dfp-2DdifferentFrom">
+		<rdf:type rdf:resource="&test;ProfileIdentificationTest" />
+		<rdf:type rdf:resource="&test;PositiveEntailmentTest" />
+		<rdf:type rdf:resource="&test;ConsistencyTest" />
+		<test:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">owl2-rl-rules-fp-differentFrom</test:identifier>
+		<test:creator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Zhe Wu</test:creator>
+		<test:description rdf:datatype="http://www.w3.org/2001/XMLSchema#string">This test checks the interaction between an OWL functional property and differentFrom assertions.</test:description>
+		<test:normativeSyntax rdf:resource="&test;RDFXML" />
+		<test:status rdf:resource="&test;Approved" />
+		<test:semantics rdf:resource="&test;DIRECT" />
+		<test:semantics rdf:resource="&test;RDF-BASED" />
+		<test:species rdf:resource="&test;FULL" />
+		<test:species rdf:resource="&test;DL" />
+		<test:profile rdf:resource="&test;RL" />
+		<test:rdfXmlConclusionOntology rdf:datatype="http://www.w3.org/2001/XMLSchema#string">&lt;rdf:RDF
+    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+    xmlns:owl="http://www.w3.org/2002/07/owl#"&gt;
+  &lt;owl:Ontology /&gt;
+  &lt;owl:NamedIndividual rdf:about="http://owl2.test/rules/Y2"/&gt;
+  &lt;owl:NamedIndividual rdf:about="http://owl2.test/rules/Y1"&gt;
+    &lt;owl:differentFrom rdf:resource="http://owl2.test/rules/Y2"/&gt;
+  &lt;/owl:NamedIndividual&gt;