# $Id: etc2.n3 1295 2007-05-11 16:52:51Z josd $

# PxButton | run web    | java -Xmx800m euler.EulerRunner --step 8000000 etc2.n3
# PxButton | run local  | java -Xmx800m euler.EulerRunner --local --step 8000000 etc2.n3
# PxButton | run web#   | Euler --step 8000000 etc2.n3
# PxButton | run local# | Euler --local --step 8000000 etc2.n3
# PxButton | run output | java -Xmx800m euler.EulerRunner --local --step 8000000 http://eulersharp.sourceforge.net/2003/03swap/etc2.n3 > etc2-proof.n3

@prefix log: <http://www.w3.org/2000/10/swap/log#>.

# PositiveEntailmentTest
(<http://www.w3.org/2002/03owlt/AllDifferent/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/AllDifferent/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/AllDifferent/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/AnnotationProperty/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/AnnotationProperty/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Class/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Class/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/Class/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Class/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Class/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/Class/conclusions003.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Class/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Class/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/Class/conclusions006.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/FunctionalProperty/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/FunctionalProperty/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/FunctionalProperty/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/FunctionalProperty/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions004.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/FunctionalProperty/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I4.5/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I4.5/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I4.5/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I4.6/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I4.6/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I4.6/conclusions003.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.1/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.1/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.1/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.2/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.2/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.2/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.2/conclusions004.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.2/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.2/conclusions006.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.21/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.21/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.21/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.24/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.24/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.24/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.24/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.24/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.24/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.24/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.24/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.24/conclusions003.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.24/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.24/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.24/conclusions004.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.26/Manifest009.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/premises009.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.26/conclusions009.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.26/Manifest010.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/premises010.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.26/conclusions010.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.3/Manifest014.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/premises014.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.3/conclusions014.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.3/Manifest015.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/premises015.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.3/conclusions015.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.5/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.5/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.5/conclusions005.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.8/conclusions004.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.8/conclusions006.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest008.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises008.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.8/conclusions008.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest009.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises009.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.8/conclusions009.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest010.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises010.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.8/conclusions010.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest017.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises017.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/I5.8/conclusions017.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions003.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Ontology/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Ontology/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/Ontology/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Ontology/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Ontology/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/Ontology/conclusions004.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Restriction/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Restriction/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/Restriction/conclusions006.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/SymmetricProperty/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/SymmetricProperty/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/SymmetricProperty/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions003.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/TransitiveProperty/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/TransitiveProperty/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/TransitiveProperty/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/TransitiveProperty/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/allValuesFrom/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/allValuesFrom/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/cardinality/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/cardinality/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/cardinality/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/cardinality/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/cardinality/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/cardinality/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/cardinality/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/cardinality/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/cardinality/conclusions003.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/cardinality/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/cardinality/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/cardinality/conclusions004.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/cardinality/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/cardinality/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/cardinality/conclusions006.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/complementOf/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/complementOf/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/complementOf/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest201.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises201.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions201.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest202.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises202.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions202.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest203.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises203.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions203.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest204.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises204.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions204.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest205.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises205.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions205.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest206.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises206.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions206.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest207.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises207.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions207.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest208.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises208.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions208.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest661.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises661.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-660.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions661.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest662.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises662.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-660.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions662.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest663.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises663.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-660.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions663.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest664.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises664.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-660.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions664.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest665.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises665.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-660.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions665.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest667.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises667.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-660.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions667.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest901.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises901.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions901.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest903.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises903.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions903.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/differentFrom/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/differentFrom/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/differentFrom/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/differentFrom/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/differentFrom/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/differentFrom/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/disjointWith/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/disjointWith/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/disjointWith/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/disjointWith/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/distinctMembers/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/distinctMembers/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/distinctMembers/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/equivalentClass/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/equivalentClass/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/equivalentClass/conclusions003.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/equivalentClass/conclusions004.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/equivalentClass/conclusions006.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest007.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises007.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/equivalentClass/conclusions007.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentProperty/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/equivalentProperty/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentProperty/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/equivalentProperty/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentProperty/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentProperty/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/equivalentProperty/conclusions004.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentProperty/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/equivalentProperty/conclusions005.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentProperty/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/equivalentProperty/conclusions006.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/extra-credit/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/extra-credit/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/extra-credit/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/extra-credit/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/extra-credit/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/extra-credit/conclusions003.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/extra-credit/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/extra-credit/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/extra-credit/conclusions004.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/intersectionOf/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/intersectionOf/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/intersectionOf/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/inverseOf/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/inverseOf/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/inverseOf/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest010.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/premises010.n3>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent001.n3>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/09wifo/wifoP.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/miscellaneous/conclusions010.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest011.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/premises011.n3>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent001.n3>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/09wifo/wifoP.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/miscellaneous/conclusions011.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/oneOf/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/oneOf/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/oneOf/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/oneOf/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/oneOf/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/oneOf/conclusions003.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/oneOf/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/oneOf/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/oneOf/conclusions004.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/sameAs/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/sameAs/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/sameAs/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/someValuesFrom/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/someValuesFrom/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/someValuesFrom/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/someValuesFrom/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/someValuesFrom/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/someValuesFrom/conclusions003.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/unionOf/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/unionOf/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/unionOf/conclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/unionOf/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/unionOf/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/unionOf/conclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/unionOf/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/unionOf/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/unionOf/conclusions003.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/unionOf/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/unionOf/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/unionOf/conclusions004.n3>!log:semantics.

# NegativeEntailmentTest
(<http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/AnnotationProperty/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/AnnotationProperty/nonconclusions001.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Class/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Class/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/Class/nonconclusions004.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Class/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Class/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/Class/nonconclusions005.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I4.6/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I4.6/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/I4.6/nonconclusions004.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I4.6/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I4.6/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/I4.6/nonconclusions005.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.5/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.5/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/I5.5/nonconclusions006.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.5/Manifest007.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.5/premises007.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/I5.5/nonconclusions007.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/I5.8/nonconclusions005.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest007.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises007.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/I5.8/nonconclusions007.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Ontology/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Ontology/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/Ontology/nonconclusions003.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Restriction/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Restriction/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/Restriction/nonconclusions005.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/allValuesFrom/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/allValuesFrom/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest209.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises209.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/description-logic/nonconclusions209.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest902.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises902.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/description-logic/nonconclusions902.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest904.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises904.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/description-logic/nonconclusions904.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions005.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest008.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises008.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/imports/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/imports/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/imports/nonconclusions002.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest301.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/premises301.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions301.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest302.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/premises302.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions302.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/someValuesFrom/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/someValuesFrom/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2002/03owlt/someValuesFrom/nonconclusions002.n3>!log:semantics.

# ConsistencyTest
(<http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/AnnotationProperty/consistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest004.n3#test>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/DatatypeProperty/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.1/Manifest010.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.1/consistent010.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.2/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/consistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.2/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/consistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.2/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/consistent005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.2/Manifest010.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/consistent010.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.2/Manifest011.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/consistent011.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.26/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/consistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.26/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/consistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.26/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/consistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.26/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/consistent004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.26/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/consistent005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.26/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/consistent006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.26/Manifest007.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/consistent007.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.3/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/consistent005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.3/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/consistent006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.3/Manifest007.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/consistent007.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.3/Manifest008.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/consistent008.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.3/Manifest009.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/consistent009.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.3/Manifest010.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/consistent010.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.3/Manifest011.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/consistent011.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/consistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest012.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/consistent012.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest013.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/consistent013.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest014.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/consistent014.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest015.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/consistent015.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest016.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/consistent016.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I6.1/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I6.1/consistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Restriction/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Restriction/consistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Restriction/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Restriction/consistent004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Thing/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Thing/consistent004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/backwardCompatibleWith/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/backwardCompatibleWith/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest009.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent009.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest016.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent016.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest018.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent018.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest020.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent020.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest021.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent021.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest024.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent024.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest025.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent025.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest028.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent028.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest031.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent031.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest034.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent034.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest501.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent501.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest503.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent503.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest605.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent605.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest606.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent606.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest609.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent609.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest616.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent616.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest624.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent624.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest625.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent625.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest628.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent628.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest631.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent631.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest634.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent634.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest905.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent905.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest906.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent906.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest907.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent907.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest908.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent908.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/disjointWith/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/consistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/disjointWith/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/consistent004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/disjointWith/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/consistent005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/disjointWith/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/consistent006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/disjointWith/Manifest007.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/consistent007.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/disjointWith/Manifest008.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/consistent008.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/disjointWith/Manifest009.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/consistent009.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest009.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/consistent009.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/imports/Manifest012.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/imports/consistent012.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest102.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent102.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest103.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent103.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest201.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent201.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest202.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent202.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest205.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent205.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest303.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent303.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/oneOf/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/oneOf/consistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.

# InconsistencyTest
(<http://www.w3.org/2002/03owlt/I4.5/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I4.5/inconsistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.5/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.5/inconsistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.5/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.5/inconsistent004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/inconsistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/I5.8/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/inconsistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Nothing/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Nothing/inconsistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Restriction/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Restriction/inconsistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Restriction/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Restriction/inconsistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Thing/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Thing/inconsistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/Thing/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Thing/inconsistent005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest007.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent007.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest008.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent008.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest010.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent010.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest011.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent011.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest012.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent012.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest013.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent013.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest014.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent014.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest015.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent015.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest017.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent017.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest019.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent019.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest022.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent022.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest023.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent023.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest026.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent026.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest027.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent027.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest029.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent029.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest030.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent030.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest032.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent032.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest033.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent033.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest035.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent035.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest040.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent040.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest101.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent101.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest102.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent102.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest103.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent103.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest104.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent104.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest105.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent105.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest106.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent106.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest107.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent107.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest108.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent108.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest109.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent109.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest110.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent110.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest111.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent111.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest502.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent502.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest504.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent504.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest601.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent601.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest602.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent602.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest603.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent603.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest604.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent604.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest608.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent608.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest610.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent610.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest611.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent611.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest612.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent612.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest613.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent613.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest614.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent614.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest615.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent615.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest617.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent617.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest623.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent623.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest626.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent626.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest627.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent627.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest629.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent629.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest630.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent630.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest632.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent632.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest633.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent633.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest641.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent641.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest642.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent642.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest643.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent643.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest644.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent644.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2002/03owlt/description-logic/Manifest646.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent646.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sour