[xsb_configuration loaded]
[sysinitrc loaded]
[packaging loaded]
[flora2devel loaded]
[flrversion loaded]
[flora2 loaded]
[flrutils loaded]
[p2h_config loaded]
[prolog2hilog loaded]
[flrundefhook loaded]
[flranswer loaded]
[flrload loaded]
[flrdisplay loaded]
[flrimportedcalls loaded]
[flrcompiler loaded]

[FLORA: Loading /home/yzou1/taga3/fowl/fowl-rules/fowl1.flr into module fowl]
[fowl1_fowl loaded]
[flrimportedcalls loaded]
[FLORA: loading FLORA system module `pp']
[flrprettyprint_pp loaded]
[flraggcolset loaded]
[flrcontrol loaded]
[flrmetaops loaded]
[flrdynmod loaded]

[FLORA: Compiling /home/yzou1/taga3/flora2/lib/flrio.flr]
[Preprocessing /home/yzou1/taga3/flora2/lib/flrio.flr]
[FLORA: Compile time  0.1590 seconds]
[FLORA: Dynamically loading /home/yzou1/taga3/flora2/lib/flrprettyprint.fld into module flora(pp)]
[Preprocessing /home/yzou1/taga3/flora2/lib/flrprettyprint.fld]
[FLORA: Dynamically loading /home/yzou1/taga3/fowl/fowl-rules/fowl1.fdb into module fowl]
[Preprocessing /home/yzou1/taga3/fowl/fowl-rules/fowl1.fdb]
[FLORA: Dynamically loading /home/yzou1/taga3/fowl/fowl-rules/fowl1.fld into module fowl]
[Preprocessing /home/yzou1/taga3/fowl/fowl-rules/fowl1.fld]

[FLORA: Consulting /home/yzou1/taga3/fowl/fowl-rules/fowl2.P]
[fowl2 loaded]
<a name="1/205"></a>
<br>********************************
<br>Testing  1/205
<br> http://www.w3.org/2002/03owlt/I3.2/Manifest001#test
<br>Test Type: otest:NotOwlFeatureTest
<br>Loading :http://www.w3.org/2002/03owlt/I3.2/bad001.rdf
<br>Adding into XSB:assert(triple(arp76751ARP0,rdf_type,owl_Restriction)).
assert(triple(arp76751ARP0,owl_cardinalityQ,'1')).
assert(triple(arp76751ARP0,owl_onProperty,'http://www.w3.org/2002/03owlt/I3.2/bad001#exampleProp')).
assert(triple(arp76751ARP0,owl_hasClassQ,'http://www.w3.org/2002/03owlt/I3.2/bad001#exampleClass')).
<br>Total 4 triples
<br>
 Query :  inconsist  X 
 Query Success!
 
Result:
Inconsist: Found owl atom not defined in OWL Namespace

<br>---------------------------------
<br>Total: 1 results
<br>Test Success!
<br>test time: 1446 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I3.2/bad001.rdf
<br>Removing from XSB : 
<br>Total 4 triples
<a name="2/205"></a>
<br>********************************
<br>Testing  2/205
<br> http://www.w3.org/2002/03owlt/I3.2/Manifest002#test
<br>Test Type: otest:NotOwlFeatureTest
<br>Loading :http://www.w3.org/2002/03owlt/I3.2/bad002.rdf
<br>Adding into XSB:assert(triple(arp92248ARP6,rdf_type,owl_Restriction)).
assert(triple(arp92248ARP6,owl_maxCardinalityQ,'1')).
assert(triple(arp92248ARP6,owl_onProperty,'http://www.w3.org/2002/03owlt/I3.2/bad002#exampleProp')).
assert(triple(arp92248ARP6,owl_hasClassQ,'http://www.w3.org/2002/03owlt/I3.2/bad002#exampleClass')).
<br>Total 4 triples
<br>
 Query :  inconsist  X 
 Query Success!
 
Result:
Inconsist: Found owl atom not defined in OWL Namespace

<br>---------------------------------
<br>Total: 1 results
<br>Test Success!
<br>test time: 1098 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I3.2/bad002.rdf
<br>Removing from XSB : 
<br>Total 4 triples
<a name="3/205"></a>
<br>********************************
<br>Testing  3/205
<br> http://www.w3.org/2002/03owlt/I3.2/Manifest003#test
<br>Test Type: otest:NotOwlFeatureTest
<br>Loading :http://www.w3.org/2002/03owlt/I3.2/bad003.rdf
<br>Adding into XSB:assert(triple(arp19070ARP12,rdf_type,owl_Restriction)).
assert(triple(arp19070ARP12,owl_minCardinalityQ,'1')).
assert(triple(arp19070ARP12,owl_onProperty,'http://www.w3.org/2002/03owlt/I3.2/bad003#exampleProp')).
assert(triple(arp19070ARP12,owl_hasClassQ,'http://www.w3.org/2002/03owlt/I3.2/bad003#exampleClass')).
<br>Total 4 triples
<br>
 Query :  inconsist  X 
 Query Success!
 
Result:
Inconsist: Found owl atom not defined in OWL Namespace

<br>---------------------------------
<br>Total: 1 results
<br>Test Success!
<br>test time: 773 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I3.2/bad003.rdf
<br>Removing from XSB : 
<br>Total 4 triples
<a name="4/205"></a>
<br>********************************
<br>Testing  4/205
<br> http://www.w3.org/2002/03owlt/I3.4/Manifest001#test
<br>Test Type: otest:NotOwlFeatureTest
<br>Loading :http://www.w3.org/2002/03owlt/I3.4/bad001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I3.4/bad001#Name',rdf_type,owl_UnambiguousProperty)).
<br>Total 1 triples
<br>
 Query :  inconsist  X 
 Query Success!
 
Result:
Inconsist: Found owl atom not defined in OWL Namespace

<br>---------------------------------
<br>Total: 1 results
<br>Test Success!
<br>test time: 802 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I3.4/bad001.rdf
<br>Removing from XSB : 
<br>Total 1 triples
<a name="5/205"></a>
<br>********************************
<br>Testing  5/205
<br> http://www.w3.org/2002/03owlt/I4.1/Manifest001#test
<br>Test Type: otest:NotOwlFeatureTest
<br>Loading :http://www.w3.org/2002/03owlt/I4.1/bad001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I4.1/bad001#Name',rdf_type,owl_UniqueProperty)).
<br>Total 1 triples
<br>
 Query :  inconsist  X 
 Query Success!
 
Result:
Inconsist: Found owl atom not defined in OWL Namespace

<br>---------------------------------
<br>Total: 1 results
<br>Test Success!
<br>test time: 1272 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I4.1/bad001.rdf
<br>Removing from XSB : 
<br>Total 1 triples
<a name="6/205"></a>
<br>********************************
<br>Testing  6/205
<br> http://www.w3.org/2002/03owlt/I4.6/Manifest006#test
<br>Test Type: otest:NotOwlFeatureTest
<br>Loading :http://www.w3.org/2002/03owlt/I4.6/bad006.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I4.6/bad006#a',rdf_type,owl_Thing)).
assert(triple('http://www.w3.org/2002/03owlt/I4.6/bad006#b',rdf_type,owl_Thing)).
assert(triple('http://www.w3.org/2002/03owlt/I4.6/bad006#a',owl_sameIndividualAs,'http://www.w3.org/2002/03owlt/I4.6/bad006#b')).
<br>Total 3 triples
<br>
 Query :  inconsist  X 
 Query Success!
 
Result:
Inconsist: Found owl atom not defined in OWL Namespace

<br>---------------------------------
<br>Total: 1 results
<br>Test Success!
<br>test time: 735 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I4.6/bad006.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="7/205"></a>
<br>********************************
<br>Testing  7/205
<br> http://www.w3.org/2002/03owlt/I4.6/Manifest007#test
<br>Test Type: otest:NotOwlFeatureTest
<br>Loading :http://www.w3.org/2002/03owlt/I4.6/bad007.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I4.6/bad007#a',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/I4.6/bad007#b',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/I4.6/bad007#a',owl_sameClassAs,'http://www.w3.org/2002/03owlt/I4.6/bad007#b')).
<br>Total 3 triples
<br>
 Query :  inconsist  X 
 Query Success!
 
Result:
Inconsist: Found owl atom not defined in OWL Namespace

<br>---------------------------------
<br>Total: 1 results
<br>Test Success!
<br>test time: 679 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I4.6/bad007.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="8/205"></a>
<br>********************************
<br>Testing  8/205
<br> http://www.w3.org/2002/03owlt/I4.6/Manifest008#test
<br>Test Type: otest:NotOwlFeatureTest
<br>Loading :http://www.w3.org/2002/03owlt/I4.6/bad008.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I4.6/bad008#a',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/I4.6/bad008#b',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/I4.6/bad008#a',owl_samePropertyAs,'http://www.w3.org/2002/03owlt/I4.6/bad008#b')).
<br>Total 3 triples
<br>
 Query :  inconsist  X 
 Query Success!
 
Result:
Inconsist: Found owl atom not defined in OWL Namespace

<br>---------------------------------
<br>Total: 1 results
<br>Test Success!
<br>test time: 684 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I4.6/bad008.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="9/205"></a>
<br>********************************
<br>Testing  9/205
<br> http://www.w3.org/2002/03owlt/I5.21/Manifest001#test
<br>Test Type: otest:NotOwlFeatureTest
<br>Loading :http://www.w3.org/2002/03owlt/I5.21/bad001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I5.21/bad001#AandB',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/I5.21/bad001#A',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/I5.21/bad001#B',rdf_type,owl_Class)).
assert(triple(arp67196ARP37,rdf_first,'http://www.w3.org/2002/03owlt/I5.21/bad001#B')).
assert(triple(arp67196ARP37,rdf_rest,rdf_nil)).
assert(triple(arp67196ARP37,rdf_type,rdf_List)).
assert(triple(arp67196ARP35,rdf_first,'http://www.w3.org/2002/03owlt/I5.21/bad001#A')).
assert(triple(arp67196ARP35,rdf_rest,arp67196ARP37)).
assert(triple(arp67196ARP35,rdf_type,rdf_List)).
assert(triple('http://www.w3.org/2002/03owlt/I5.21/bad001#AandB',owl_disjointUnionOf,arp67196ARP35)).
<br>Total 10 triples
<br>
 Query :  inconsist  X 
 Query Success!
 
Result:
Inconsist: Found owl atom not defined in OWL Namespace

<br>---------------------------------
<br>Total: 1 results
<br>Test Success!
<br>test time: 2653 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I5.21/bad001.rdf
<br>Removing from XSB : 
<br>Total 10 triples
<a name="10/205"></a>
<br>********************************
<br>Testing  10/205
<br> http://www.w3.org/2002/03owlt/I4.6/Manifest004#test
<br>Test Type: otest:NegativeEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I4.6/premises004.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I4.6/nonconclusions004#C1',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/I4.6/nonconclusions004#C2',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/I4.6/nonconclusions004#C1',owl_equivalentClass,'http://www.w3.org/2002/03owlt/I4.6/nonconclusions004#C2')).
<br>Total 3 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I4.6/nonconclusions004.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery97419(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I4.6/nonconclusions004#C1,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I4.6/nonconclusions004#C2,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I4.6/nonconclusions004#C1,owl_sameAs,http://www.w3.org/2002/03owlt/I4.6/nonconclusions004#C2)
<br>Query FOWL : myquery97419(fowl)  ?
<br>Test Success!
<br>test time: 1315 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I4.6/premises004.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="11/205"></a>
<br>********************************
<br>Testing  11/205
<br> http://www.w3.org/2002/03owlt/I4.6/Manifest005#test
<br>Test Type: otest:NegativeEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I4.6/premises005.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I4.6/nonconclusions005#C1',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/I4.6/nonconclusions005#C1',rdfs_comment,'An example class.')).
assert(triple('http://www.w3.org/2002/03owlt/I4.6/nonconclusions005#C2',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/I4.6/nonconclusions005#C1',owl_equivalentClass,'http://www.w3.org/2002/03owlt/I4.6/nonconclusions005#C2')).
<br>Total 4 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I4.6/nonconclusions005.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery62833(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I4.6/nonconclusions005#C2,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I4.6/nonconclusions005#C2,rdfs_comment,An example class.)
<br>Query FOWL : myquery62833(fowl)  ?
<br>Test Success!
<br>test time: 938 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I4.6/premises005.rdf
<br>Removing from XSB : 
<br>Total 4 triples
<a name="12/205"></a>
<br>********************************
<br>Testing  12/205
<br> http://www.w3.org/2002/03owlt/I5.8/Manifest007#test
<br>Test Type: otest:NegativeEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I5.8/premises007.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I5.8/premises007#p',rdf_type,owl_DatatypeProperty)).
assert(triple('http://www.w3.org/2002/03owlt/I5.8/premises007#p',rdfs_range,xsd_short)).
<br>Total 2 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I5.8/nonconclusions007.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery66321(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.8/premises007#p,rdf_type,owl_DatatypeProperty)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.8/premises007#p,rdfs_range,xsd_unsignedByte)
<br>Query FOWL : myquery66321(fowl)  ?
<br>Test Success!
<br>test time: 1260 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I5.8/premises007.rdf
<br>Removing from XSB : 
<br>Total 2 triples
<a name="13/205"></a>
<br>********************************
<br>Testing  13/205
<br> http://www.w3.org/2002/03owlt/allValuesFrom/Manifest002#test
<br>Test Type: otest:NegativeEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/allValuesFrom/premises002.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/allValuesFrom/premises002#r',rdf_type,owl_Class)).
assert(triple(arp66181ARP62,rdf_type,owl_Restriction)).
assert(triple(arp66181ARP62,owl_onProperty,'http://www.w3.org/2002/03owlt/allValuesFrom/premises002#p')).
assert(triple(arp66181ARP62,owl_allValuesFrom,'http://www.w3.org/2002/03owlt/allValuesFrom/premises002#c')).
assert(triple('http://www.w3.org/2002/03owlt/allValuesFrom/premises002#r',rdfs_subClassOf,arp66181ARP62)).
assert(triple('http://www.w3.org/2002/03owlt/allValuesFrom/premises002#p',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/allValuesFrom/premises002#c',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/allValuesFrom/premises002#i',rdf_type,'http://www.w3.org/2002/03owlt/allValuesFrom/premises002#r')).
assert(triple('http://www.w3.org/2002/03owlt/allValuesFrom/premises002#i',rdf_type,owl_Thing)).
<br>Total 9 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery38838(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/allValuesFrom/premises002#i,rdf_type,owl_Thing)
<br>   fowl_triple(_o,rdf_type,http://www.w3.org/2002/03owlt/allValuesFrom/premises002#c)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/allValuesFrom/premises002#i,http://www.w3.org/2002/03owlt/allValuesFrom/premises002#p,_o)
<br>   fowl_triple(_o,rdf_type,owl_Thing)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/allValuesFrom/premises002#p,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/allValuesFrom/premises002#c,rdf_type,owl_Class)
<br>Query FOWL : myquery38838(fowl)  ?
<br>Test Success!
<br>test time: 1058 mseconds
Unloading file : http://www.w3.org/2002/03owlt/allValuesFrom/premises002.rdf
<br>Removing from XSB : 
<br>Total 9 triples
<a name="14/205"></a>
<br>********************************
<br>Testing  14/205
<br> http://www.w3.org/2002/03owlt/description-logic/Manifest902#test
<br>Test Type: otest:NegativeEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/description-logic/premises902.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises902#r',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises902#p',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises902#p',rdfs_subPropertyOf,'http://www.w3.org/2002/03owlt/description-logic/premises902#r')).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises902#A',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises902#p',rdfs_range,'http://www.w3.org/2002/03owlt/description-logic/premises902#A')).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises902#q',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises902#q',rdfs_subPropertyOf,'http://www.w3.org/2002/03owlt/description-logic/premises902#r')).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises902#B',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises902#q',rdfs_range,'http://www.w3.org/2002/03owlt/description-logic/premises902#B')).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises902#A',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises902#A',owl_disjointWith,'http://www.w3.org/2002/03owlt/description-logic/premises902#B')).
<br>Total 11 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/description-logic/nonconclusions902.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery67337(fowl)
<br>Body: 
<br>   fowl_triple(_ARP91,rdf_type,owl_Class)
<br>   fowl_triple(_ARP93,rdf_type,owl_Restriction)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/description-logic/premises902#p,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(_ARP93,owl_onProperty,http://www.w3.org/2002/03owlt/description-logic/premises902#p)
<br>   fowl_triple(_ARP93,owl_minCardinality,2^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>)
<br>   fowl_triple(_ARP96,rdf_type,owl_Restriction)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/description-logic/premises902#q,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(_ARP96,owl_onProperty,http://www.w3.org/2002/03owlt/description-logic/premises902#q)
<br>   fowl_triple(_ARP96,owl_minCardinality,3^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>)
<br>   fowl_triple(_ARP95,rdf_first,_ARP96)
<br>   fowl_triple(_ARP95,rdf_rest,rdf_nil)
<br>   fowl_triple(_ARP95,rdf_type,rdf_List)
<br>   fowl_triple(_ARP92,rdf_first,_ARP93)
<br>   fowl_triple(_ARP92,rdf_rest,_ARP95)
<br>   fowl_triple(_ARP92,rdf_type,rdf_List)
<br>   fowl_triple(_ARP91,owl_intersectionOf,_ARP92)
<br>   fowl_triple(_ARP98,rdf_type,owl_Restriction)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/description-logic/premises902#r,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(_ARP98,owl_onProperty,http://www.w3.org/2002/03owlt/description-logic/premises902#r)
<br>   fowl_triple(_ARP98,owl_minCardinality,6^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>)
<br>   fowl_triple(_ARP91,rdfs_subClassOf,_ARP98)
<br>Query FOWL : myquery67337(fowl)  ?
<br>Test Success!
<br>test time: 1001 mseconds
Unloading file : http://www.w3.org/2002/03owlt/description-logic/premises902.rdf
<br>Removing from XSB : 
<br>Total 11 triples
<a name="15/205"></a>
<br>********************************
<br>Testing  15/205
<br> http://www.w3.org/2002/03owlt/description-logic/Manifest904#test
<br>Test Type: otest:NegativeEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/description-logic/premises904.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises904#r',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises904#p',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises904#p',rdfs_subPropertyOf,'http://www.w3.org/2002/03owlt/description-logic/premises904#r')).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises904#A',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises904#p',rdfs_range,'http://www.w3.org/2002/03owlt/description-logic/premises904#A')).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises904#q',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises904#q',rdfs_subPropertyOf,'http://www.w3.org/2002/03owlt/description-logic/premises904#r')).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises904#B',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises904#q',rdfs_range,'http://www.w3.org/2002/03owlt/description-logic/premises904#B')).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises904#A',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/description-logic/premises904#A',owl_disjointWith,'http://www.w3.org/2002/03owlt/description-logic/premises904#B')).
<br>Total 11 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/description-logic/nonconclusions904.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery7987(fowl)
<br>Body: 
<br>   fowl_triple(_ARP118,rdf_type,owl_Class)
<br>   fowl_triple(_ARP120,rdf_type,owl_Restriction)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/description-logic/premises904#p,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(_ARP120,owl_onProperty,http://www.w3.org/2002/03owlt/description-logic/premises904#p)
<br>   fowl_triple(_ARP120,owl_minCardinality,200^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>)
<br>   fowl_triple(_ARP123,rdf_type,owl_Restriction)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/description-logic/premises904#q,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(_ARP123,owl_onProperty,http://www.w3.org/2002/03owlt/description-logic/premises904#q)
<br>   fowl_triple(_ARP123,owl_minCardinality,300^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>)
<br>   fowl_triple(_ARP122,rdf_first,_ARP123)
<br>   fowl_triple(_ARP122,rdf_rest,rdf_nil)
<br>   fowl_triple(_ARP122,rdf_type,rdf_List)
<br>   fowl_triple(_ARP119,rdf_first,_ARP120)
<br>   fowl_triple(_ARP119,rdf_rest,_ARP122)
<br>   fowl_triple(_ARP119,rdf_type,rdf_List)
<br>   fowl_triple(_ARP118,owl_intersectionOf,_ARP119)
<br>   fowl_triple(_ARP125,rdf_type,owl_Restriction)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/description-logic/premises904#r,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(_ARP125,owl_onProperty,http://www.w3.org/2002/03owlt/description-logic/premises904#r)
<br>   fowl_triple(_ARP125,owl_minCardinality,600^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>)
<br>   fowl_triple(_ARP118,rdfs_subClassOf,_ARP125)
<br>Query FOWL : myquery7987(fowl)  ?
<br>Test Success!
<br>test time: 1356 mseconds
Unloading file : http://www.w3.org/2002/03owlt/description-logic/premises904.rdf
<br>Removing from XSB : 
<br>Total 11 triples
<a name="16/205"></a>
<br>********************************
<br>Testing  16/205
<br> http://www.w3.org/2002/03owlt/equivalentClass/Manifest005#test
<br>Test Type: otest:NegativeEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/equivalentClass/premises005.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises005#c1',rdf_type,owl_Class)).
assert(triple(arp36638ARP137,rdf_type,owl_Restriction)).
assert(triple(arp36638ARP137,owl_onProperty,'http://www.w3.org/2002/03owlt/equivalentClass/premises005#p')).
assert(triple(arp36638ARP137,owl_cardinality,'1^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises005#c1',rdfs_subClassOf,arp36638ARP137)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises005#c2',rdf_type,owl_Class)).
assert(triple(arp36638ARP140,rdf_type,owl_Restriction)).
assert(triple(arp36638ARP140,owl_onProperty,'http://www.w3.org/2002/03owlt/equivalentClass/premises005#p')).
assert(triple(arp36638ARP140,owl_cardinality,'1^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises005#c2',rdfs_subClassOf,arp36638ARP140)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises005#p',rdf_type,owl_ObjectProperty)).
<br>Total 11 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions005.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery50387(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises005#c1,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises005#c2,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises005#c1,owl_equivalentClass,http://www.w3.org/2002/03owlt/equivalentClass/premises005#c2)
<br>Query FOWL : myquery50387(fowl)  ?
<br>Test Success!
<br>test time: 1302 mseconds
Unloading file : http://www.w3.org/2002/03owlt/equivalentClass/premises005.rdf
<br>Removing from XSB : 
<br>Total 11 triples
<a name="17/205"></a>
<br>********************************
<br>Testing  17/205
<br> http://www.w3.org/2002/03owlt/equivalentClass/Manifest008#test
<br>Test Type: otest:NegativeEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/equivalentClass/premises008.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises008#c1',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises008#c2',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises008#c1',owl_equivalentClass,'http://www.w3.org/2002/03owlt/equivalentClass/premises008#c2')).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises008#c1','http://www.w3.org/2002/03owlt/equivalentClass/premises008#annotate','description of c1')).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises008#annotate',rdf_type,owl_AnnotationProperty)).
<br>Total 5 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery72593(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises008#c2,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises008#c2,http://www.w3.org/2002/03owlt/equivalentClass/premises008#annotate,description of c1)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises008#annotate,rdf_type,owl_AnnotationProperty)
<br>Query FOWL : myquery72593(fowl)  ?
<br>Test Success!
<br>test time: 1148 mseconds
Unloading file : http://www.w3.org/2002/03owlt/equivalentClass/premises008.rdf
<br>Removing from XSB : 
<br>Total 5 triples
<a name="18/205"></a>
<br>********************************
<br>Testing  18/205
<br> http://www.w3.org/2002/03owlt/imports/Manifest002#test
<br>Test Type: otest:NegativeEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/imports/premises002.rdf
<br>Adding into XSB:assert(triple('http://example.org/data#Socrates',rdf_type,'http://www.w3.org/2002/03owlt/imports/support002-A#Man')).
<br>Total 1 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/imports/nonconclusions002.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery95330(fowl)
<br>Body: 
<br>   fowl_triple(http://example.org/data#Socrates,rdf_type,http://www.w3.org/2002/03owlt/imports/support002-A#Mortal)
<br>Query FOWL : myquery95330(fowl)  ?
<br>Test Success!
<br>test time: 1636 mseconds
Unloading file : http://www.w3.org/2002/03owlt/imports/premises002.rdf
<br>Removing from XSB : 
<br>Total 1 triples
<a name="19/205"></a>
<br>********************************
<br>Testing  19/205
<br> http://www.w3.org/2002/03owlt/miscellaneous/Manifest301#test
<br>Test Type: otest:NegativeEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/miscellaneous/premises301.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/miscellaneous/premises301#a',rdf_type,owl_Thing)).
assert(triple('http://www.w3.org/2002/03owlt/miscellaneous/premises301#a','http://www.w3.org/2002/03owlt/miscellaneous/premises301#prop','foo')).
<br>Total 2 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions301.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery56068(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/miscellaneous/premises301#a,rdf_type,owl_Thing)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/miscellaneous/premises301#a,http://www.w3.org/2002/03owlt/miscellaneous/premises301#prop,bar)
<br>Query FOWL : myquery56068(fowl)  ?
<br>Test Success!
<br>test time: 1313 mseconds
Unloading file : http://www.w3.org/2002/03owlt/miscellaneous/premises301.rdf
<br>Removing from XSB : 
<br>Total 2 triples
<a name="20/205"></a>
<br>********************************
<br>Testing  20/205
<br> http://www.w3.org/2002/03owlt/miscellaneous/Manifest302#test
<br>Test Type: otest:NegativeEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/miscellaneous/premises302.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/miscellaneous/premises302#prop',rdf_type,owl_AnnotationProperty)).
assert(triple('http://www.w3.org/2002/03owlt/miscellaneous/premises302#a',rdf_type,owl_Thing)).
assert(triple('http://www.w3.org/2002/03owlt/miscellaneous/premises302#a','http://www.w3.org/2002/03owlt/miscellaneous/premises302#prop','foo')).
<br>Total 3 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions302.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery8360(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/miscellaneous/premises302#prop,rdf_type,owl_AnnotationProperty)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/miscellaneous/premises302#a,rdf_type,owl_Thing)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/miscellaneous/premises302#a,http://www.w3.org/2002/03owlt/miscellaneous/premises302#prop,bar)
<br>Query FOWL : myquery8360(fowl)  ?
<br>Test Success!
<br>test time: 1180 mseconds
Unloading file : http://www.w3.org/2002/03owlt/miscellaneous/premises302.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="21/205"></a>
<br>********************************
<br>Testing  21/205
<br> http://www.w3.org/2002/03owlt/Restriction/Manifest005#test
<br>Test Type: otest:NegativeEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/Restriction/premises005.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/Restriction/premises005#x',rdf_type,owl_Thing)).
assert(triple(arp43954ARP174,rdf_type,owl_Restriction)).
assert(triple(arp43954ARP174,rdf_type,rdfs_Class)).
assert(triple('http://www.w3.org/2002/03owlt/Restriction/premises005#p',rdf_type,owl_ObjectProperty)).
assert(triple(arp43954ARP174,owl_onProperty,'http://www.w3.org/2002/03owlt/Restriction/premises005#p')).
assert(triple(arp43954ARP174,owl_maxCardinality,'0^^<http://www.w3.org/2001/XMLSchema#int>')).
assert(triple('http://www.w3.org/2002/03owlt/Restriction/premises005#x',rdf_type,arp43954ARP174)).
assert(triple('http://www.w3.org/2002/03owlt/Restriction/premises005#p',rdf_type,owl_ObjectProperty)).
<br>Total 8 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/Restriction/nonconclusions005.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery989(fowl)
<br>Body: 
<br>   fowl_triple(_ARP179,rdf_type,owl_Restriction)
<br>   fowl_triple(_ARP179,rdf_type,rdfs_Class)
<br>   fowl_triple(_ARP179,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/Restriction/premises005#p,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(_ARP179,owl_onProperty,http://www.w3.org/2002/03owlt/Restriction/premises005#p)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/Restriction/nonconclusions005#c,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/Restriction/nonconclusions005#c,rdf_type,rdfs_Class)
<br>   fowl_triple(_ARP179,owl_allValuesFrom,http://www.w3.org/2002/03owlt/Restriction/nonconclusions005#c)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/Restriction/premises005#x,rdf_type,_ARP179)
<br>Query FOWL : myquery989(fowl)  ?
<br>Test Success!
<br>test time: 944 mseconds
Unloading file : http://www.w3.org/2002/03owlt/Restriction/premises005.rdf
<br>Removing from XSB : 
<br>Total 8 triples
<a name="22/205"></a>
<br>********************************
<br>Testing  22/205
<br> http://www.w3.org/2002/03owlt/I5.5/Manifest001#test
<br>Test Type: otest:OWLforOWLTest
<br>Query RDF file: http://www.w3.org/2002/03owlt/I5.5/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery16380(fowl)
<br>Body: 
<br>   fowl_triple(rdf_first,rdf_type,owl_FunctionalProperty)
<br>Query FOWL : myquery16380(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 186 mseconds
<a name="23/205"></a>
<br>********************************
<br>Testing  23/205
<br> http://www.w3.org/2002/03owlt/I5.5/Manifest002#test
<br>Test Type: otest:OWLforOWLTest
<br>Query RDF file: http://www.w3.org/2002/03owlt/I5.5/conclusions002.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery85751(fowl)
<br>Body: 
<br>   fowl_triple(rdf_rest,rdf_type,owl_FunctionalProperty)
<br>Query FOWL : myquery85751(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 196 mseconds
<a name="24/205"></a>
<br>********************************
<br>Testing  24/205
<br> http://www.w3.org/2002/03owlt/Nothing/Manifest002#test
<br>Test Type: otest:OWLforOWLTest
<br>Query RDF file: http://www.w3.org/2002/03owlt/Nothing/conclusions002.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery51303(fowl)
<br>Body: 
<br>   fowl_triple(_ARP192,rdf_type,owl_Class)
<br>   fowl_triple(_ARP192,owl_oneOf,rdf_nil)
<br>   fowl_triple(_ARP192,owl_equivalentClass,owl_Nothing)
<br>Query FOWL : myquery51303(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 650 mseconds
<a name="25/205"></a>
<br>********************************
<br>Testing  25/205
<br> http://www.w3.org/2002/03owlt/imports/Manifest001#test
<br>Test Type: otest:ImportEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/imports/premises001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/premises001',owl_imports,'http://www.w3.org/2002/03owlt/imports/support001-A')).
assert(triple('http://example.org/data#Socrates',rdf_type,'http://www.w3.org/2002/03owlt/imports/support001-A#Man')).
<br>Total 2 triples
Import: http://www.w3.org/2002/03owlt/imports/support001-A
<br>Loading :http://www.w3.org/2002/03owlt/imports/support001-A
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/support001-A',rdf_type,owl_Ontology)).
assert(triple('http://www.w3.org/2002/03owlt/imports/support001-A#Man',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/imports/support001-A#Man',rdfs_subClassOf,'http://www.w3.org/2002/03owlt/imports/support001-A#Mortal')).
assert(triple('http://www.w3.org/2002/03owlt/imports/support001-A#Mortal',rdf_type,owl_Class)).
<br>Total 4 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/imports/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery75430(fowl)
<br>Body: 
<br>   fowl_triple(http://example.org/data#Socrates,rdf_type,http://www.w3.org/2002/03owlt/imports/support001-A#Mortal)
<br>Query FOWL : myquery75430(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1478 mseconds
Unloading file : http://www.w3.org/2002/03owlt/imports/premises001.rdf
<br>Removing from XSB : 
<br>Total 2 triples
Remove Import file: http://www.w3.org/2002/03owlt/imports/support001-A
Unloading file : http://www.w3.org/2002/03owlt/imports/support001-A
<br>Removing from XSB : 
<br>Total 4 triples
<a name="26/205"></a>
<br>********************************
<br>Testing  26/205
<br> http://www.w3.org/2002/03owlt/imports/Manifest003#test
<br>Test Type: otest:ImportEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/imports/premises003.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/premises003',owl_imports,'http://www.w3.org/2002/03owlt/imports/support003-A')).
assert(triple('http://example.org/data#Socrates',rdf_type,'http://www.w3.org/2002/03owlt/imports/support003-A#Man')).
<br>Total 2 triples
Import: http://www.w3.org/2002/03owlt/imports/support003-A
<br>Loading :http://www.w3.org/2002/03owlt/imports/support003-A
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/support003-A',rdf_type,owl_Ontology)).
assert(triple('http://www.w3.org/2002/03owlt/imports/support003-A',owl_imports,'http://www.w3.org/2002/03owlt/imports/support003-B')).
assert(triple('http://www.w3.org/2002/03owlt/imports/support003-A#Man',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/imports/support003-A#Man',rdfs_subClassOf,'http://www.w3.org/2002/03owlt/imports/support003-A#Person')).
assert(triple('http://www.w3.org/2002/03owlt/imports/support003-A#Person',rdf_type,owl_Class)).
<br>Total 5 triples
Import: http://www.w3.org/2002/03owlt/imports/support003-B
<br>Loading :http://www.w3.org/2002/03owlt/imports/support003-B
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/support003-B',rdf_type,owl_Ontology)).
assert(triple('http://www.w3.org/2002/03owlt/imports/support003-A#Person',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/imports/support003-A#Person',rdfs_subClassOf,'http://www.w3.org/2002/03owlt/imports/support003-B#Mortal')).
assert(triple('http://www.w3.org/2002/03owlt/imports/support003-B#Mortal',rdf_type,owl_Class)).
<br>Total 4 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/imports/conclusions003.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery57494(fowl)
<br>Body: 
<br>   fowl_triple(http://example.org/data#Socrates,rdf_type,http://www.w3.org/2002/03owlt/imports/support003-B#Mortal)
<br>Query FOWL : myquery57494(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1285 mseconds
Unloading file : http://www.w3.org/2002/03owlt/imports/premises003.rdf
<br>Removing from XSB : 
<br>Total 2 triples
Remove Import file: http://www.w3.org/2002/03owlt/imports/support003-A
Unloading file : http://www.w3.org/2002/03owlt/imports/support003-A
<br>Removing from XSB : 
<br>Total 5 triples
Remove Import file: http://www.w3.org/2002/03owlt/imports/support003-B
Unloading file : http://www.w3.org/2002/03owlt/imports/support003-B
<br>Removing from XSB : 
<br>Total 4 triples
<a name="27/205"></a>
<br>********************************
<br>Testing  27/205
<br> http://www.w3.org/2002/03owlt/imports/Manifest011#test
<br>Test Type: otest:ImportEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/imports/premises011.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/premises011',rdf_type,owl_Ontology)).
assert(triple('http://www.w3.org/2002/03owlt/imports/premises011',owl_imports,'http://www.w3.org/2002/03owlt/imports/support011-A')).
assert(triple('http://example.org/data#Socrates',rdf_type,'http://www.w3.org/2002/03owlt/imports/support011-A#Man')).
<br>Total 3 triples
Import: http://www.w3.org/2002/03owlt/imports/support011-A
<br>Loading :http://www.w3.org/2002/03owlt/imports/support011-A
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/support011-A',rdf_type,owl_Ontology)).
assert(triple('http://www.w3.org/2002/03owlt/imports/support011-A#Man',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/imports/support011-A#Man',rdfs_subClassOf,'http://www.w3.org/2002/03owlt/imports/support011-A#Mortal')).
assert(triple('http://www.w3.org/2002/03owlt/imports/support011-A#Mortal',rdf_type,owl_Class)).
<br>Total 4 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/imports/conclusions011.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery25975(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/imports/support011-A#Mortal,rdf_type,owl_Class)
<br>   fowl_triple(http://example.org/data#Socrates,rdf_type,http://www.w3.org/2002/03owlt/imports/support011-A#Mortal)
<br>Query FOWL : myquery25975(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 2206 mseconds
Unloading file : http://www.w3.org/2002/03owlt/imports/premises011.rdf
<br>Removing from XSB : 
<br>Total 3 triples
Remove Import file: http://www.w3.org/2002/03owlt/imports/support011-A
Unloading file : http://www.w3.org/2002/03owlt/imports/support011-A
<br>Removing from XSB : 
<br>Total 4 triples
<a name="28/205"></a>
<br>********************************
<br>Testing  28/205
<br> http://www.w3.org/2002/03owlt/imports/Manifest004#test
<br>Test Type: otest:ImportLevelTest
<br>Loading :http://www.w3.org/2002/03owlt/imports/main004.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/main004',rdf_type,owl_Ontology)).
assert(triple('http://www.w3.org/2002/03owlt/imports/main004',owl_imports,'http://www.w3.org/2002/03owlt/imports/imports004')).
<br>Total 2 triples
Import: http://www.w3.org/2002/03owlt/imports/imports004.rdf
<br>Loading :http://www.w3.org/2002/03owlt/imports/imports004.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/imports004#c',rdf_type,rdfs_Class)).
<br>Total 1 triples
<br>Test Success!
<br>test time: 432 mseconds
Unloading file : http://www.w3.org/2002/03owlt/imports/main004.rdf
<br>Removing from XSB : 
<br>Total 2 triples
Remove Import file: http://www.w3.org/2002/03owlt/imports/imports004.rdf
Unloading file : http://www.w3.org/2002/03owlt/imports/imports004.rdf
<br>Removing from XSB : 
<br>Total 1 triples
<a name="29/205"></a>
<br>********************************
<br>Testing  29/205
<br> http://www.w3.org/2002/03owlt/imports/Manifest005#test
<br>Test Type: otest:ImportLevelTest
<br>Loading :http://www.w3.org/2002/03owlt/imports/main005.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/main005',rdf_type,owl_Ontology)).
assert(triple('http://www.w3.org/2002/03owlt/imports/main005',owl_imports,'http://www.w3.org/2002/03owlt/imports/imports005')).
<br>Total 2 triples
Import: http://www.w3.org/2002/03owlt/imports/imports005.rdf
<br>Loading :http://www.w3.org/2002/03owlt/imports/imports005.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/imports005',rdf_type,owl_Ontology)).
assert(triple('http://www.w3.org/2002/03owlt/imports/imports005#c',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/imports/imports005#x',rdf_type,owl_Thing)).
assert(triple(arp21809ARP262,rdf_first,'http://www.w3.org/2002/03owlt/imports/imports005#x')).
assert(triple(arp21809ARP262,rdf_rest,rdf_nil)).
assert(triple(arp21809ARP262,rdf_type,rdf_List)).
assert(triple('http://www.w3.org/2002/03owlt/imports/imports005#c',owl_oneOf,arp21809ARP262)).
<br>Total 7 triples
<br>Test Success!
<br>test time: 1015 mseconds
Unloading file : http://www.w3.org/2002/03owlt/imports/main005.rdf
<br>Removing from XSB : 
<br>Total 2 triples
Remove Import file: http://www.w3.org/2002/03owlt/imports/imports005.rdf
Unloading file : http://www.w3.org/2002/03owlt/imports/imports005.rdf
<br>Removing from XSB : 
<br>Total 7 triples
<a name="30/205"></a>
<br>********************************
<br>Testing  30/205
<br> http://www.w3.org/2002/03owlt/imports/Manifest006#test
<br>Test Type: otest:ImportLevelTest
<br>Loading :http://www.w3.org/2002/03owlt/imports/main006.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/main006',rdf_type,owl_Ontology)).
assert(triple('http://www.w3.org/2002/03owlt/imports/main006',owl_imports,'http://www.w3.org/2002/03owlt/imports/imports006')).
assert(triple('http://www.w3.org/2002/03owlt/imports/main006#x',rdf_type,'http://www.w3.org/2002/03owlt/imports/imports006#c')).
<br>Total 3 triples
Import: http://www.w3.org/2002/03owlt/imports/imports006.rdf
<br>Loading :http://www.w3.org/2002/03owlt/imports/imports006.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/imports006',rdf_type,owl_Ontology)).
assert(triple('http://www.w3.org/2002/03owlt/imports/imports006#c',rdf_type,owl_Class)).
<br>Total 2 triples
<br>Test Success!
<br>test time: 473 mseconds
Unloading file : http://www.w3.org/2002/03owlt/imports/main006.rdf
<br>Removing from XSB : 
<br>Total 3 triples
Remove Import file: http://www.w3.org/2002/03owlt/imports/imports006.rdf
Unloading file : http://www.w3.org/2002/03owlt/imports/imports006.rdf
<br>Removing from XSB : 
<br>Total 2 triples
<a name="31/205"></a>
<br>********************************
<br>Testing  31/205
<br> http://www.w3.org/2002/03owlt/imports/Manifest007#test
<br>Test Type: otest:ImportLevelTest
<br>Loading :http://www.w3.org/2002/03owlt/imports/main007.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/main007',rdf_type,owl_Ontology)).
assert(triple('http://www.w3.org/2002/03owlt/imports/main007',owl_imports,'http://www.w3.org/2002/03owlt/imports/imports007')).
assert(triple(arp33704ARP282,rdf_type,owl_Thing)).
assert(triple(arp33704ARP283,rdf_type,owl_Thing)).
assert(triple(arp33704ARP282,'http://www.w3.org/2002/03owlt/imports/imports007#p',arp33704ARP283)).
<br>Total 5 triples
Import: http://www.w3.org/2002/03owlt/imports/imports007.rdf
<br>Loading :http://www.w3.org/2002/03owlt/imports/imports007.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/imports007',rdf_type,owl_Ontology)).
assert(triple('http://www.w3.org/2002/03owlt/imports/imports007#p',rdf_type,owl_ObjectProperty)).
<br>Total 2 triples
<br>Test Success!
<br>test time: 460 mseconds
Unloading file : http://www.w3.org/2002/03owlt/imports/main007.rdf
<br>Removing from XSB : 
<br>Total 5 triples
Remove Import file: http://www.w3.org/2002/03owlt/imports/imports007.rdf
Unloading file : http://www.w3.org/2002/03owlt/imports/imports007.rdf
<br>Removing from XSB : 
<br>Total 2 triples
<a name="32/205"></a>
<br>********************************
<br>Testing  32/205
<br> http://www.w3.org/2002/03owlt/imports/Manifest008#test
<br>Test Type: otest:ImportLevelTest
<br>Loading :http://www.w3.org/2002/03owlt/imports/main008.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/imports/main008',rdf_type,owl_Ontology)).
assert(triple('http://www.w3.org/2002/03owlt/imports/imports008',rdf_type,owl_Ontology)).
assert(triple('http://www.w3.org/2002/03owlt/imports/main008',owl_imports,'http://www.w3.org/2002/03owlt/imports/imports008')).
assert(triple('http://www.w3.org/2002/03owlt/imports/imports008#sub',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/imports/imports008#super',rdf_type,owl_Class)).
<br>Total 5 triples
<br>Test Success!
<br>test time: 299 mseconds
Unloading file : http://www.w3.org/2002/03owlt/imports/main008.rdf
<br>Removing from XSB : 
<br>Total 5 triples
<a name="33/205"></a>
<br>********************************
<br>Testing  33/205
<br> http://www.w3.org/2002/03owlt/AllDifferent/Manifest001#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/AllDifferent/premises001.rdf
<br>Adding into XSB:assert(triple(arp78820ARP300,rdf_type,owl_AllDifferent)).
assert(triple('http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred',rdf_type,'http://www.w3.org/2002/03owlt/AllDifferent/premises001#Person')).
assert(triple('http://www.w3.org/2002/03owlt/AllDifferent/premises001#Wilma',rdf_type,'http://www.w3.org/2002/03owlt/AllDifferent/premises001#Person')).
assert(triple('http://www.w3.org/2002/03owlt/AllDifferent/premises001#Barney',rdf_type,'http://www.w3.org/2002/03owlt/AllDifferent/premises001#Person')).
assert(triple('http://www.w3.org/2002/03owlt/AllDifferent/premises001#Betty',rdf_type,'http://www.w3.org/2002/03owlt/AllDifferent/premises001#Person')).
assert(triple(arp78820ARP307,rdf_first,'http://www.w3.org/2002/03owlt/AllDifferent/premises001#Betty')).
assert(triple(arp78820ARP307,rdf_rest,rdf_nil)).
assert(triple(arp78820ARP307,rdf_type,rdf_List)).
assert(triple(arp78820ARP305,rdf_first,'http://www.w3.org/2002/03owlt/AllDifferent/premises001#Barney')).
assert(triple(arp78820ARP305,rdf_rest,arp78820ARP307)).
assert(triple(arp78820ARP305,rdf_type,rdf_List)).
assert(triple(arp78820ARP303,rdf_first,'http://www.w3.org/2002/03owlt/AllDifferent/premises001#Wilma')).
assert(triple(arp78820ARP303,rdf_rest,arp78820ARP305)).
assert(triple(arp78820ARP303,rdf_type,rdf_List)).
assert(triple(arp78820ARP301,rdf_first,'http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred')).
assert(triple(arp78820ARP301,rdf_rest,arp78820ARP303)).
assert(triple(arp78820ARP301,rdf_type,rdf_List)).
assert(triple(arp78820ARP300,owl_distinctMembers,arp78820ARP301)).
<br>Total 18 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/AllDifferent/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery69401(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/AllDifferent/premises001#Barney,owl_differentFrom,http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred)
<br>Query FOWL : myquery69401(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 5282 mseconds
Unloading file : http://www.w3.org/2002/03owlt/AllDifferent/premises001.rdf
<br>Removing from XSB : 
<br>Total 18 triples
<a name="34/205"></a>
<br>********************************
<br>Testing  34/205
<br> http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest001#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/FunctionalProperty/premises001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#prop',rdf_type,owl_FunctionalProperty)).
assert(triple('http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#subject','http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#prop','http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1')).
assert(triple('http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#subject','http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#prop','http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2')).
<br>Total 3 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery60249(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1,owl_sameAs,http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2)
<br>Query FOWL : myquery60249(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1697 mseconds
Unloading file : http://www.w3.org/2002/03owlt/FunctionalProperty/premises001.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="35/205"></a>
<br>********************************
<br>Testing  35/205
<br> http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest002#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/FunctionalProperty/premises002.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#prop',rdf_type,owl_FunctionalProperty)).
assert(triple('http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#object1','http://www.example.org/prop2','value')).
assert(triple('http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#subject','http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#prop','http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#object1')).
assert(triple('http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#subject','http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#prop','http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#object2')).
<br>Total 4 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery72193(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#object2,http://www.example.org/prop2,value)
<br>Query FOWL : myquery72193(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 2264 mseconds
Unloading file : http://www.w3.org/2002/03owlt/FunctionalProperty/premises002.rdf
<br>Removing from XSB : 
<br>Total 4 triples
<a name="36/205"></a>
<br>********************************
<br>Testing  36/205
<br> http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest003#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/FunctionalProperty/premises003.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#prop',rdf_type,owl_FunctionalProperty)).
assert(triple('http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#prop',owl_inverseOf,'http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#inv')).
<br>Total 2 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery18329(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#inv,rdf_type,owl_InverseFunctionalProperty)
<br>Query FOWL : myquery18329(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 889 mseconds
Unloading file : http://www.w3.org/2002/03owlt/FunctionalProperty/premises003.rdf
<br>Removing from XSB : 
<br>Total 2 triples
<a name="37/205"></a>
<br>********************************
<br>Testing  37/205
<br> http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest004#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/FunctionalProperty/premises004.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/FunctionalProperty/premises004#prop',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/FunctionalProperty/premises004#prop',rdfs_range,'http://www.w3.org/2002/03owlt/FunctionalProperty/premises004#Singleton')).
assert(triple('http://www.w3.org/2002/03owlt/FunctionalProperty/premises004#Singleton',rdf_type,rdfs_Class)).
assert(triple(arp23824ARP347,rdf_first,arp23824ARP348)).
assert(triple(arp23824ARP347,rdf_rest,rdf_nil)).
assert(triple(arp23824ARP347,rdf_type,rdf_List)).
assert(triple('http://www.w3.org/2002/03owlt/FunctionalProperty/premises004#Singleton',owl_oneOf,arp23824ARP347)).
<br>Total 7 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions004.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery74970(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/FunctionalProperty/premises004#prop,rdf_type,owl_FunctionalProperty)
<br>Query FOWL : myquery74970(fowl)  ?
<br>Test Incomplete!
<br>test time: 1325 mseconds
Unloading file : http://www.w3.org/2002/03owlt/FunctionalProperty/premises004.rdf
<br>Removing from XSB : 
<br>Total 7 triples
<a name="38/205"></a>
<br>********************************
<br>Testing  38/205
<br> http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest005#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/FunctionalProperty/premises005.rdf
<br>Adding into XSB:assert(triple('http://www.example.org/foo#prop',rdf_type,owl_FunctionalProperty)).
assert(triple('http://www.example.org/foo#object',rdf_type,owl_Thing)).
<br>Total 2 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery79460(fowl)
<br>Body: 
<br>   fowl_triple(http://www.example.org/foo#object,rdf_type,owl_Thing)
<br>   fowl_triple(_ARP358,rdf_type,owl_Restriction)
<br>   fowl_triple(http://www.example.org/foo#prop,rdf_type,owl_FunctionalProperty)
<br>   fowl_triple(_ARP358,owl_onProperty,http://www.example.org/foo#prop)
<br>   fowl_triple(_ARP358,owl_maxCardinality,1^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>)
<br>   fowl_triple(http://www.example.org/foo#object,rdf_type,_ARP358)
<br>Query FOWL : myquery79460(fowl)  ?
<br>Test Incomplete!
<br>test time: 938 mseconds
Unloading file : http://www.w3.org/2002/03owlt/FunctionalProperty/premises005.rdf
<br>Removing from XSB : 
<br>Total 2 triples
<a name="39/205"></a>
<br>********************************
<br>Testing  39/205
<br> http://www.w3.org/2002/03owlt/I4.6/Manifest003#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I4.6/premises003.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I4.6/premises003#C1',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/I4.6/premises003#C2',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/I4.6/premises003#C1',owl_sameAs,'http://www.w3.org/2002/03owlt/I4.6/premises003#C2')).
<br>Total 3 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I4.6/conclusions003.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery17182(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I4.6/premises003#C1,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I4.6/premises003#C2,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I4.6/premises003#C1,owl_equivalentClass,http://www.w3.org/2002/03owlt/I4.6/premises003#C2)
<br>Query FOWL : myquery17182(fowl)  ?
<br>Test Incomplete!
<br>test time: 1402 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I4.6/premises003.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="40/205"></a>
<br>********************************
<br>Testing  40/205
<br> http://www.w3.org/2002/03owlt/I5.2/Manifest001#test
<br>Test Type: otest:ConsistencyTest
<br>Loading :http://www.w3.org/2002/03owlt/I5.2/consistent001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I5.2/consistent001#Nothing',rdf_type,owl_Class)).
assert(triple(arp17148ARP369,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/consistent001#p',rdf_type,owl_ObjectProperty)).
assert(triple(arp17148ARP369,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/consistent001#p')).
assert(triple(arp17148ARP369,owl_minCardinality,'1^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/consistent001#Nothing',rdfs_subClassOf,arp17148ARP369)).
assert(triple(arp17148ARP371,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/consistent001#p',rdf_type,owl_ObjectProperty)).
assert(triple(arp17148ARP371,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/consistent001#p')).
assert(triple(arp17148ARP371,owl_maxCardinality,'0^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/consistent001#Nothing',rdfs_subClassOf,arp17148ARP371)).
<br>Total 11 triples
<br>
 Query :  inconsist  X

Query failed, no result return
<br>Test Success!
<br>test time: 837 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I5.2/consistent001.rdf
<br>Removing from XSB : 
<br>Total 11 triples
<a name="41/205"></a>
<br>********************************
<br>Testing  41/205
<br> http://www.w3.org/2002/03owlt/I5.2/Manifest002#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I5.2/premises002.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises002#Nothing',rdf_type,owl_Class)).
assert(triple(arp50430ARP379,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises002#p',rdf_type,owl_ObjectProperty)).
assert(triple(arp50430ARP379,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/premises002#p')).
assert(triple(arp50430ARP379,owl_minCardinality,'1^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises002#Nothing',rdfs_subClassOf,arp50430ARP379)).
assert(triple(arp50430ARP381,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises002#p',rdf_type,owl_ObjectProperty)).
assert(triple(arp50430ARP381,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/premises002#p')).
assert(triple(arp50430ARP381,owl_maxCardinality,'0^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises002#Nothing',rdfs_subClassOf,arp50430ARP381)).
<br>Total 11 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I5.2/conclusions002.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery17901(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.2/premises002#Nothing,rdf_type,owl_Class)
<br>   fowl_triple(owl_Nothing,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.2/premises002#Nothing,owl_equivalentClass,owl_Nothing)
<br>Query FOWL : myquery17901(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1030 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I5.2/premises002.rdf
<br>Removing from XSB : 
<br>Total 11 triples
<a name="42/205"></a>
<br>********************************
<br>Testing  42/205
<br> http://www.w3.org/2002/03owlt/I5.2/Manifest004#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I5.2/premises004.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises004#Nothing',rdf_type,owl_Class)).
assert(triple(arp62856ARP391,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises004#p',rdf_type,owl_ObjectProperty)).
assert(triple(arp62856ARP391,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/premises004#p')).
assert(triple(arp62856ARP391,owl_minCardinality,'1^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises004#Nothing',rdfs_subClassOf,arp62856ARP391)).
assert(triple(arp62856ARP393,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises004#p',rdf_type,owl_ObjectProperty)).
assert(triple(arp62856ARP393,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/premises004#p')).
assert(triple(arp62856ARP393,owl_maxCardinality,'0^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises004#Nothing',rdfs_subClassOf,arp62856ARP393)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises004#A',rdf_type,owl_Class)).
assert(triple(arp62856ARP396,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises004#q',rdf_type,owl_ObjectProperty)).
assert(triple(arp62856ARP396,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/premises004#q')).
assert(triple(owl_Thing,rdf_type,owl_Class)).
assert(triple(arp62856ARP396,owl_someValuesFrom,owl_Thing)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises004#A',owl_equivalentClass,arp62856ARP396)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises004#notA',rdf_type,owl_Class)).
assert(triple(arp62856ARP400,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises004#q',rdf_type,owl_ObjectProperty)).
assert(triple(arp62856ARP400,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/premises004#q')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises004#Nothing',rdf_type,owl_Class)).
assert(triple(arp62856ARP400,owl_allValuesFrom,'http://www.w3.org/2002/03owlt/I5.2/premises004#Nothing')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises004#notA',owl_equivalentClass,arp62856ARP400)).
<br>Total 25 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I5.2/conclusions004.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery20413(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.2/premises004#notA,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.2/premises004#A,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.2/premises004#notA,owl_complementOf,http://www.w3.org/2002/03owlt/I5.2/premises004#A)
<br>Query FOWL : myquery20413(fowl)  ?
<br>Test Incomplete!
<br>test time: 1982 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I5.2/premises004.rdf
<br>Removing from XSB : 
<br>Total 25 triples
<a name="43/205"></a>
<br>********************************
<br>Testing  43/205
<br> http://www.w3.org/2002/03owlt/I5.2/Manifest006#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I5.2/premises006.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing',rdf_type,owl_Class)).
assert(triple(arp93822ARP419,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#p',rdf_type,owl_ObjectProperty)).
assert(triple(arp93822ARP419,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/premises006#p')).
assert(triple(arp93822ARP419,owl_minCardinality,'1^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing',rdfs_subClassOf,arp93822ARP419)).
assert(triple(arp93822ARP421,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#p',rdf_type,owl_ObjectProperty)).
assert(triple(arp93822ARP421,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/premises006#p')).
assert(triple(arp93822ARP421,owl_maxCardinality,'0^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing',rdfs_subClassOf,arp93822ARP421)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#A',rdf_type,owl_Class)).
assert(triple(arp93822ARP424,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#q',rdf_type,owl_ObjectProperty)).
assert(triple(arp93822ARP424,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/premises006#q')).
assert(triple(owl_Thing,rdf_type,owl_Class)).
assert(triple(arp93822ARP424,owl_someValuesFrom,owl_Thing)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#A',owl_equivalentClass,arp93822ARP424)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#notA',rdf_type,owl_Class)).
assert(triple(arp93822ARP428,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#q',rdf_type,owl_ObjectProperty)).
assert(triple(arp93822ARP428,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/premises006#q')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing',rdf_type,owl_Class)).
assert(triple(arp93822ARP428,owl_allValuesFrom,'http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#notA',owl_equivalentClass,arp93822ARP428)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#B',rdf_type,owl_Class)).
assert(triple(arp93822ARP432,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#r',rdf_type,owl_ObjectProperty)).
assert(triple(arp93822ARP432,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/premises006#r')).
assert(triple(owl_Thing,rdf_type,owl_Class)).
assert(triple(arp93822ARP432,owl_someValuesFrom,owl_Thing)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#B',owl_equivalentClass,arp93822ARP432)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#notB',rdf_type,owl_Class)).
assert(triple(arp93822ARP436,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#r',rdf_type,owl_ObjectProperty)).
assert(triple(arp93822ARP436,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/premises006#r')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing',rdf_type,owl_Class)).
assert(triple(arp93822ARP436,owl_allValuesFrom,'http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#notB',owl_equivalentClass,arp93822ARP436)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#notAorB',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#notA',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#notB',rdf_type,owl_Class)).
assert(triple(arp93822ARP442,rdf_first,'http://www.w3.org/2002/03owlt/I5.2/premises006#notB')).
assert(triple(arp93822ARP442,rdf_rest,rdf_nil)).
assert(triple(arp93822ARP442,rdf_type,rdf_List)).
assert(triple(arp93822ARP440,rdf_first,'http://www.w3.org/2002/03owlt/I5.2/premises006#notA')).
assert(triple(arp93822ARP440,rdf_rest,arp93822ARP442)).
assert(triple(arp93822ARP440,rdf_type,rdf_List)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#notAorB',owl_intersectionOf,arp93822ARP440)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#AorB',rdf_type,owl_Class)).
assert(triple(arp93822ARP445,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#s',rdf_type,owl_ObjectProperty)).
assert(triple(arp93822ARP445,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/premises006#s')).
assert(triple(owl_Thing,rdf_type,owl_Class)).
assert(triple(arp93822ARP445,owl_someValuesFrom,owl_Thing)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#AorB',owl_equivalentClass,arp93822ARP445)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#notAorB',rdf_type,owl_Class)).
assert(triple(arp93822ARP449,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#s',rdf_type,owl_ObjectProperty)).
assert(triple(arp93822ARP449,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.2/premises006#s')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing',rdf_type,owl_Class)).
assert(triple(arp93822ARP449,owl_allValuesFrom,'http://www.w3.org/2002/03owlt/I5.2/premises006#Nothing')).
assert(triple('http://www.w3.org/2002/03owlt/I5.2/premises006#notAorB',owl_equivalentClass,arp93822ARP449)).
<br>Total 63 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I5.2/conclusions006.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery42340(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.2/premises006#AorB,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.2/premises006#A,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.2/premises006#B,rdf_type,owl_Class)
<br>   fowl_triple(_ARP455,rdf_first,http://www.w3.org/2002/03owlt/I5.2/premises006#B)
<br>   fowl_triple(_ARP455,rdf_rest,rdf_nil)
<br>   fowl_triple(_ARP455,rdf_type,rdf_List)
<br>   fowl_triple(_ARP453,rdf_first,http://www.w3.org/2002/03owlt/I5.2/premises006#A)
<br>   fowl_triple(_ARP453,rdf_rest,_ARP455)
<br>   fowl_triple(_ARP453,rdf_type,rdf_List)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.2/premises006#AorB,owl_unionOf,_ARP453)
<br>Query FOWL : myquery42340(fowl)  ?
<br>Test Incomplete!
<br>test time: 3768 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I5.2/premises006.rdf
<br>Removing from XSB : 
<br>Total 63 triples
<a name="44/205"></a>
<br>********************************
<br>Testing  44/205
<br> http://www.w3.org/2002/03owlt/I5.24/Manifest001#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I5.24/premises001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I5.24/premises001#prop',rdf_type,rdf_Property)).
assert(triple('http://www.w3.org/2002/03owlt/I5.24/premises001#A',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/I5.24/premises001#B',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/I5.24/premises001#A',rdfs_subClassOf,'http://www.w3.org/2002/03owlt/I5.24/premises001#B')).
assert(triple('http://www.w3.org/2002/03owlt/I5.24/premises001#prop',rdfs_range,'http://www.w3.org/2002/03owlt/I5.24/premises001#A')).
<br>Total 5 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I5.24/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery41706(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.24/premises001#prop,rdf_type,rdf_Property)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.24/premises001#B,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.24/premises001#prop,rdfs_range,http://www.w3.org/2002/03owlt/I5.24/premises001#B)
<br>Query FOWL : myquery41706(fowl)  ?
<br>Test Incomplete!
<br>test time: 1281 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I5.24/premises001.rdf
<br>Removing from XSB : 
<br>Total 5 triples
<a name="45/205"></a>
<br>********************************
<br>Testing  45/205
<br> http://www.w3.org/2002/03owlt/I5.24/Manifest002#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I5.24/premises002.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I5.24/premises002#prop',rdf_type,rdf_Property)).
assert(triple('http://www.w3.org/2002/03owlt/I5.24/premises002#prop',rdfs_range,'http://www.w3.org/2002/03owlt/I5.24/premises002#A')).
assert(triple('http://www.w3.org/2002/03owlt/I5.24/premises002#prop',rdfs_range,'http://www.w3.org/2002/03owlt/I5.24/premises002#B')).
<br>Total 3 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I5.24/conclusions002.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery57870(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.24/premises002#prop,rdf_type,rdf_Property)
<br>   fowl_triple(_ARP503,rdf_type,owl_Class)
<br>   fowl_triple(_ARP506,rdf_first,http://www.w3.org/2002/03owlt/I5.24/premises002#B)
<br>   fowl_triple(_ARP506,rdf_rest,rdf_nil)
<br>   fowl_triple(_ARP506,rdf_type,rdf_List)
<br>   fowl_triple(_ARP504,rdf_first,http://www.w3.org/2002/03owlt/I5.24/premises002#A)
<br>   fowl_triple(_ARP504,rdf_rest,_ARP506)
<br>   fowl_triple(_ARP504,rdf_type,rdf_List)
<br>   fowl_triple(_ARP503,owl_intersectionOf,_ARP504)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.24/premises002#prop,rdfs_range,_ARP503)
<br>Query FOWL : myquery57870(fowl)  ?
<br>Test Incomplete!
<br>test time: 872 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I5.24/premises002.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="46/205"></a>
<br>********************************
<br>Testing  46/205
<br> http://www.w3.org/2002/03owlt/I5.24/Manifest003#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I5.24/premises003.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I5.24/premises003#prop',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/I5.24/premises003#A',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/I5.24/premises003#prop',rdfs_range,'http://www.w3.org/2002/03owlt/I5.24/premises003#A')).
<br>Total 3 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I5.24/conclusions003.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery78341(fowl)
<br>Body: 
<br>   fowl_triple(owl_Thing,rdf_type,owl_Class)
<br>   fowl_triple(_ARP514,rdf_type,owl_Restriction)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.24/premises003#prop,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(_ARP514,owl_onProperty,http://www.w3.org/2002/03owlt/I5.24/premises003#prop)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.24/premises003#A,rdf_type,owl_Class)
<br>   fowl_triple(_ARP514,owl_allValuesFrom,http://www.w3.org/2002/03owlt/I5.24/premises003#A)
<br>   fowl_triple(owl_Thing,rdfs_subClassOf,_ARP514)
<br>Query FOWL : myquery78341(fowl)  ?
<br>Test Incomplete!
<br>test time: 1273 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I5.24/premises003.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="47/205"></a>
<br>********************************
<br>Testing  47/205
<br> http://www.w3.org/2002/03owlt/I5.24/Manifest004#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I5.24/premises004.rdf
<br>Adding into XSB:assert(triple(owl_Thing,rdf_type,owl_Class)).
assert(triple(arp94621ARP520,rdf_type,owl_Restriction)).
assert(triple('http://www.w3.org/2002/03owlt/I5.24/conclusions004#prop',rdf_type,owl_ObjectProperty)).
assert(triple(arp94621ARP520,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.24/conclusions004#prop')).
assert(triple('http://www.w3.org/2002/03owlt/I5.24/conclusions004#A',rdf_type,owl_Class)).
assert(triple(arp94621ARP520,owl_allValuesFrom,'http://www.w3.org/2002/03owlt/I5.24/conclusions004#A')).
assert(triple(owl_Thing,rdfs_subClassOf,arp94621ARP520)).
<br>Total 7 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I5.24/conclusions004.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery8078(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.24/conclusions004#prop,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.24/conclusions004#A,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.24/conclusions004#prop,rdfs_range,http://www.w3.org/2002/03owlt/I5.24/conclusions004#A)
<br>Query FOWL : myquery8078(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1341 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I5.24/premises004.rdf
<br>Removing from XSB : 
<br>Total 7 triples
<a name="48/205"></a>
<br>********************************
<br>Testing  48/205
<br> http://www.w3.org/2002/03owlt/I5.3/Manifest015#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I5.3/premises015.rdf
<br>Adding into XSB:assert(triple('http://example.org/p',rdf_type,rdf_Property)).
assert(triple('http://example.org/p',rdfs_range,xsd_integer)).
assert(triple('http://example.org/p',rdfs_range,xsd_string)).
assert(triple('http://example.org/q',rdf_type,rdf_Property)).
<br>Total 4 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I5.3/conclusions015.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery50036(fowl)
<br>Body: 
<br>   fowl_triple(http://example.org/p,rdf_type,rdf_Property)
<br>   fowl_triple(http://example.org/p,rdfs_subPropertyOf,http://example.org/q)
<br>Query FOWL : myquery50036(fowl)  ?
<br>Test Incomplete!
<br>test time: 909 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I5.3/premises015.rdf
<br>Removing from XSB : 
<br>Total 4 triples
<a name="49/205"></a>
<br>********************************
<br>Testing  49/205
<br> http://www.w3.org/2002/03owlt/I5.8/Manifest006#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I5.8/premises006.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I5.8/premises006#p',rdf_type,owl_DatatypeProperty)).
assert(triple('http://www.w3.org/2002/03owlt/I5.8/premises006#p',rdfs_range,xsd_byte)).
<br>Total 2 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I5.8/conclusions006.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery14458(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.8/premises006#p,rdf_type,owl_DatatypeProperty)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.8/premises006#p,rdfs_range,xsd_short)
<br>Query FOWL : myquery14458(fowl)  ?
<br>Test Incomplete!
<br>test time: 2037 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I5.8/premises006.rdf
<br>Removing from XSB : 
<br>Total 2 triples
<a name="50/205"></a>
<br>********************************
<br>Testing  50/205
<br> http://www.w3.org/2002/03owlt/I5.8/Manifest008#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I5.8/premises008.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I5.8/premises008#p',rdf_type,owl_DatatypeProperty)).
assert(triple('http://www.w3.org/2002/03owlt/I5.8/premises008#p',rdfs_range,xsd_short)).
assert(triple('http://www.w3.org/2002/03owlt/I5.8/premises008#p',rdfs_range,xsd_unsignedInt)).
<br>Total 3 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I5.8/conclusions008.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery15314(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.8/premises008#p,rdf_type,owl_DatatypeProperty)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.8/premises008#p,rdfs_range,xsd_unsignedShort)
<br>Query FOWL : myquery15314(fowl)  ?
<br>Test Incomplete!
<br>test time: 887 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I5.8/premises008.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="51/205"></a>
<br>********************************
<br>Testing  51/205
<br> http://www.w3.org/2002/03owlt/I5.8/Manifest009#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I5.8/premises009.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I5.8/premises009#p',rdf_type,owl_DatatypeProperty)).
assert(triple('http://www.w3.org/2002/03owlt/I5.8/premises009#p',rdfs_range,xsd_nonNegativeInteger)).
assert(triple('http://www.w3.org/2002/03owlt/I5.8/premises009#p',rdfs_range,xsd_nonPositiveInteger)).
<br>Total 3 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I5.8/conclusions009.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery33794(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.8/premises009#p,rdf_type,owl_DatatypeProperty)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.8/premises009#p,rdfs_range,xsd_short)
<br>Query FOWL : myquery33794(fowl)  ?
<br>Test Incomplete!
<br>test time: 852 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I5.8/premises009.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="52/205"></a>
<br>********************************
<br>Testing  52/205
<br> http://www.w3.org/2002/03owlt/I5.8/Manifest010#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/I5.8/premises010.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/I5.8/premises010#p',rdf_type,owl_DatatypeProperty)).
assert(triple('http://www.w3.org/2002/03owlt/I5.8/premises010#p',rdfs_range,xsd_nonNegativeInteger)).
assert(triple(arp10095ARP564,rdf_type,owl_Restriction)).
assert(triple(arp10095ARP564,owl_onProperty,'http://www.w3.org/2002/03owlt/I5.8/premises010#p')).
assert(triple(arp10095ARP564,owl_someValuesFrom,xsd_nonPositiveInteger)).
assert(triple('http://www.w3.org/2002/03owlt/I5.8/premises010#john',rdf_type,arp10095ARP564)).
<br>Total 6 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/I5.8/conclusions010.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery38734(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.8/premises010#p,rdf_type,owl_DatatypeProperty)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.8/premises010#john,rdf_type,owl_Thing)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/I5.8/premises010#john,http://www.w3.org/2002/03owlt/I5.8/premises010#p,0^^<http://www.w3.org/2001/XMLSchema#int>)
<br>Query FOWL : myquery38734(fowl)  ?
<br>Test Incomplete!
<br>test time: 1205 mseconds
Unloading file : http://www.w3.org/2002/03owlt/I5.8/premises010.rdf
<br>Removing from XSB : 
<br>Total 6 triples
<a name="53/205"></a>
<br>********************************
<br>Testing  53/205
<br> http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest001#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#prop',rdf_type,owl_InverseFunctionalProperty)).
assert(triple('http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject1','http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#prop','http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#object')).
assert(triple('http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject2','http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#prop','http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#object')).
<br>Total 3 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery56568(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject1,owl_sameAs,http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject2)
<br>Query FOWL : myquery56568(fowl)  ?
<br>Test Incomplete!
<br>test time: 2163 mseconds
Unloading file : http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="54/205"></a>
<br>********************************
<br>Testing  54/205
<br> http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest002#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#prop',rdf_type,owl_InverseFunctionalProperty)).
assert(triple('http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject1','http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#prop','http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#object')).
assert(triple('http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject1','http://www.example.org/prop2','value')).
assert(triple('http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject2','http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#prop','http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#object')).
<br>Total 4 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery49139(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject2,http://www.example.org/prop2,value)
<br>Query FOWL : myquery49139(fowl)  ?
<br>Test Incomplete!
<br>test time: 1218 mseconds
Unloading file : http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002.rdf
<br>Removing from XSB : 
<br>Total 4 triples
<a name="55/205"></a>
<br>********************************
<br>Testing  55/205
<br> http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest003#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003#prop',rdf_type,owl_InverseFunctionalProperty)).
assert(triple('http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003#prop',owl_inverseOf,'http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003#inv')).
<br>Total 2 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions003.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery38643(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003#inv,rdf_type,owl_FunctionalProperty)
<br>Query FOWL : myquery38643(fowl)  ?
<br>Test Incomplete!
<br>test time: 1396 mseconds
Unloading file : http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003.rdf
<br>Removing from XSB : 
<br>Total 2 triples
<a name="56/205"></a>
<br>********************************
<br>Testing  56/205
<br> http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest004#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004#prop',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004#prop',rdfs_domain,'http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004#Singleton')).
assert(triple('http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004#Singleton',rdf_type,rdfs_Class)).
assert(triple(arp63046ARP606,rdf_first,arp63046ARP607)).
assert(triple(arp63046ARP606,rdf_rest,rdf_nil)).
assert(triple(arp63046ARP606,rdf_type,rdf_List)).
assert(triple('http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004#Singleton',owl_oneOf,arp63046ARP606)).
<br>Total 7 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery95412(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004#prop,rdf_type,owl_InverseFunctionalProperty)
<br>Query FOWL : myquery95412(fowl)  ?
<br>Test Incomplete!
<br>test time: 1687 mseconds
Unloading file : http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004.rdf
<br>Removing from XSB : 
<br>Total 7 triples
<a name="57/205"></a>
<br>********************************
<br>Testing  57/205
<br> http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest001#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/SymmetricProperty/premises001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#Ghent','http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#path','http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#Antwerp')).
assert(triple('http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#path',rdf_type,owl_SymmetricProperty)).
<br>Total 2 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery51730(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#Antwerp,http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#path,http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#Ghent)
<br>Query FOWL : myquery51730(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 889 mseconds
Unloading file : http://www.w3.org/2002/03owlt/SymmetricProperty/premises001.rdf
<br>Removing from XSB : 
<br>Total 2 triples
<a name="58/205"></a>
<br>********************************
<br>Testing  58/205
<br> http://www.w3.org/2002/03owlt/TransitiveProperty/Manifest001#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/TransitiveProperty/premises001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#Antwerp','http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#path','http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#Amsterdam')).
assert(triple('http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#Ghent','http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#path','http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#Antwerp')).
assert(triple('http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#path',rdf_type,owl_TransitiveProperty)).
<br>Total 3 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery91373(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#Ghent,http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#path,http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#Amsterdam)
<br>Query FOWL : myquery91373(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1233 mseconds
Unloading file : http://www.w3.org/2002/03owlt/TransitiveProperty/premises001.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="59/205"></a>
<br>********************************
<br>Testing  59/205
<br> http://www.w3.org/2002/03owlt/allValuesFrom/Manifest001#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/allValuesFrom/premises001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/allValuesFrom/premises001#r',rdf_type,owl_Class)).
assert(triple(arp52368ARP635,rdf_type,owl_Restriction)).
assert(triple(arp52368ARP635,owl_onProperty,'http://www.w3.org/2002/03owlt/allValuesFrom/premises001#p')).
assert(triple(arp52368ARP635,owl_allValuesFrom,'http://www.w3.org/2002/03owlt/allValuesFrom/premises001#c')).
assert(triple('http://www.w3.org/2002/03owlt/allValuesFrom/premises001#r',rdfs_subClassOf,arp52368ARP635)).
assert(triple('http://www.w3.org/2002/03owlt/allValuesFrom/premises001#p',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/allValuesFrom/premises001#c',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/allValuesFrom/premises001#i',rdf_type,'http://www.w3.org/2002/03owlt/allValuesFrom/premises001#r')).
assert(triple('http://www.w3.org/2002/03owlt/allValuesFrom/premises001#i',rdf_type,owl_Thing)).
assert(triple('http://www.w3.org/2002/03owlt/allValuesFrom/premises001#o',rdf_type,owl_Thing)).
assert(triple('http://www.w3.org/2002/03owlt/allValuesFrom/premises001#i','http://www.w3.org/2002/03owlt/allValuesFrom/premises001#p','http://www.w3.org/2002/03owlt/allValuesFrom/premises001#o')).
<br>Total 11 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery42024(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/allValuesFrom/premises001#o,rdf_type,http://www.w3.org/2002/03owlt/allValuesFrom/premises001#c)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/allValuesFrom/premises001#o,rdf_type,owl_Thing)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/allValuesFrom/premises001#c,rdf_type,owl_Class)
<br>Query FOWL : myquery42024(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1273 mseconds
Unloading file : http://www.w3.org/2002/03owlt/allValuesFrom/premises001.rdf
<br>Removing from XSB : 
<br>Total 11 triples
<a name="60/205"></a>
<br>********************************
<br>Testing  60/205
<br> http://www.w3.org/2002/03owlt/cardinality/Manifest001#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/cardinality/premises001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/cardinality/premises001#c',rdf_type,owl_Class)).
assert(triple(arp95193ARP656,rdf_type,owl_Restriction)).
assert(triple(arp95193ARP656,owl_onProperty,'http://www.w3.org/2002/03owlt/cardinality/premises001#p')).
assert(triple(arp95193ARP656,owl_cardinality,'1^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple('http://www.w3.org/2002/03owlt/cardinality/premises001#c',rdfs_subClassOf,arp95193ARP656)).
assert(triple('http://www.w3.org/2002/03owlt/cardinality/premises001#p',rdf_type,owl_ObjectProperty)).
<br>Total 6 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/cardinality/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery50250(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/cardinality/premises001#c,rdf_type,owl_Class)
<br>   fowl_triple(_ARP660,rdf_type,owl_Restriction)
<br>   fowl_triple(_ARP660,owl_onProperty,http://www.w3.org/2002/03owlt/cardinality/premises001#p)
<br>   fowl_triple(_ARP660,owl_maxCardinality,1^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/cardinality/premises001#c,rdfs_subClassOf,_ARP660)
<br>   fowl_triple(_ARP662,rdf_type,owl_Restriction)
<br>   fowl_triple(_ARP662,owl_onProperty,http://www.w3.org/2002/03owlt/cardinality/premises001#p)
<br>   fowl_triple(_ARP662,owl_minCardinality,1^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/cardinality/premises001#c,rdfs_subClassOf,_ARP662)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/cardinality/premises001#p,rdf_type,owl_ObjectProperty)
<br>Query FOWL : myquery50250(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1308 mseconds
Unloading file : http://www.w3.org/2002/03owlt/cardinality/premises001.rdf
<br>Removing from XSB : 
<br>Total 6 triples
<a name="61/205"></a>
<br>********************************
<br>Testing  61/205
<br> http://www.w3.org/2002/03owlt/cardinality/Manifest002#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/cardinality/premises002.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/cardinality/conclusions002#c',rdf_type,owl_Class)).
assert(triple(arp24921ARP670,rdf_type,owl_Restriction)).
assert(triple(arp24921ARP670,owl_onProperty,'http://www.w3.org/2002/03owlt/cardinality/conclusions002#p')).
assert(triple(arp24921ARP670,owl_maxCardinality,'1^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple('http://www.w3.org/2002/03owlt/cardinality/conclusions002#c',rdfs_subClassOf,arp24921ARP670)).
assert(triple(arp24921ARP672,rdf_type,owl_Restriction)).
assert(triple(arp24921ARP672,owl_onProperty,'http://www.w3.org/2002/03owlt/cardinality/conclusions002#p')).
assert(triple(arp24921ARP672,owl_minCardinality,'1^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple('http://www.w3.org/2002/03owlt/cardinality/conclusions002#c',rdfs_subClassOf,arp24921ARP672)).
assert(triple('http://www.w3.org/2002/03owlt/cardinality/conclusions002#p',rdf_type,owl_ObjectProperty)).
<br>Total 10 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/cardinality/conclusions002.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery35590(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/cardinality/conclusions002#c,rdf_type,owl_Class)
<br>   fowl_triple(_ARP676,rdf_type,owl_Restriction)
<br>   fowl_triple(_ARP676,owl_onProperty,http://www.w3.org/2002/03owlt/cardinality/conclusions002#p)
<br>   fowl_triple(_ARP676,owl_cardinality,1^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/cardinality/conclusions002#c,rdfs_subClassOf,_ARP676)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/cardinality/conclusions002#p,rdf_type,owl_ObjectProperty)
<br>Query FOWL : myquery35590(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1923 mseconds
Unloading file : http://www.w3.org/2002/03owlt/cardinality/premises002.rdf
<br>Removing from XSB : 
<br>Total 10 triples
<a name="62/205"></a>
<br>********************************
<br>Testing  62/205
<br> http://www.w3.org/2002/03owlt/cardinality/Manifest003#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/cardinality/premises003.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/cardinality/premises003#c',rdf_type,owl_Class)).
assert(triple(arp70222ARP686,rdf_type,owl_Restriction)).
assert(triple(arp70222ARP686,owl_onProperty,'http://www.w3.org/2002/03owlt/cardinality/premises003#p')).
assert(triple(arp70222ARP686,owl_cardinality,'2^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple('http://www.w3.org/2002/03owlt/cardinality/premises003#c',rdfs_subClassOf,arp70222ARP686)).
assert(triple('http://www.w3.org/2002/03owlt/cardinality/premises003#p',rdf_type,owl_ObjectProperty)).
<br>Total 6 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/cardinality/conclusions003.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery90068(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/cardinality/premises003#c,rdf_type,owl_Class)
<br>   fowl_triple(_ARP690,rdf_type,owl_Restriction)
<br>   fowl_triple(_ARP690,owl_onProperty,http://www.w3.org/2002/03owlt/cardinality/premises003#p)
<br>   fowl_triple(_ARP690,owl_maxCardinality,2^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/cardinality/premises003#c,rdfs_subClassOf,_ARP690)
<br>   fowl_triple(_ARP692,rdf_type,owl_Restriction)
<br>   fowl_triple(_ARP692,owl_onProperty,http://www.w3.org/2002/03owlt/cardinality/premises003#p)
<br>   fowl_triple(_ARP692,owl_minCardinality,2^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/cardinality/premises003#c,rdfs_subClassOf,_ARP692)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/cardinality/premises003#p,rdf_type,owl_ObjectProperty)
<br>Query FOWL : myquery90068(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1002 mseconds
Unloading file : http://www.w3.org/2002/03owlt/cardinality/premises003.rdf
<br>Removing from XSB : 
<br>Total 6 triples
<a name="63/205"></a>
<br>********************************
<br>Testing  63/205
<br> http://www.w3.org/2002/03owlt/complementOf/Manifest001#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/complementOf/premises001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/complementOf/premises001#A',owl_complementOf,'http://www.w3.org/2002/03owlt/complementOf/premises001#B')).
<br>Total 1 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/complementOf/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery31345(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/complementOf/premises001#B,owl_complementOf,http://www.w3.org/2002/03owlt/complementOf/premises001#A)
<br>Query FOWL : myquery31345(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 831 mseconds
Unloading file : http://www.w3.org/2002/03owlt/complementOf/premises001.rdf
<br>Removing from XSB : 
<br>Total 1 triples
<a name="64/205"></a>
<br>********************************
<br>Testing  64/205
<br> http://www.w3.org/2002/03owlt/differentFrom/Manifest001#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/differentFrom/premises001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/differentFrom/premises001#a',owl_differentFrom,'http://www.w3.org/2002/03owlt/differentFrom/premises001#b')).
<br>Total 1 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/differentFrom/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery30939(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/differentFrom/premises001#b,owl_differentFrom,http://www.w3.org/2002/03owlt/differentFrom/premises001#a)
<br>Query FOWL : myquery30939(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1203 mseconds
Unloading file : http://www.w3.org/2002/03owlt/differentFrom/premises001.rdf
<br>Removing from XSB : 
<br>Total 1 triples
<a name="65/205"></a>
<br>********************************
<br>Testing  65/205
<br> http://www.w3.org/2002/03owlt/differentFrom/Manifest002#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/differentFrom/premises002.rdf
<br>Adding into XSB:assert(triple(arp54465ARP711,rdf_type,owl_AllDifferent)).
assert(triple('http://www.w3.org/2002/03owlt/differentFrom/premises002#Fred',rdf_type,'http://www.w3.org/2002/03owlt/differentFrom/premises002#Person')).
assert(triple('http://www.w3.org/2002/03owlt/differentFrom/premises002#Wilma',rdf_type,'http://www.w3.org/2002/03owlt/differentFrom/premises002#Person')).
assert(triple('http://www.w3.org/2002/03owlt/differentFrom/premises002#Barney',rdf_type,'http://www.w3.org/2002/03owlt/differentFrom/premises002#Person')).
assert(triple('http://www.w3.org/2002/03owlt/differentFrom/premises002#Betty',rdf_type,'http://www.w3.org/2002/03owlt/differentFrom/premises002#Person')).
assert(triple(arp54465ARP718,rdf_first,'http://www.w3.org/2002/03owlt/differentFrom/premises002#Betty')).
assert(triple(arp54465ARP718,rdf_rest,rdf_nil)).
assert(triple(arp54465ARP718,rdf_type,rdf_List)).
assert(triple(arp54465ARP716,rdf_first,'http://www.w3.org/2002/03owlt/differentFrom/premises002#Barney')).
assert(triple(arp54465ARP716,rdf_rest,arp54465ARP718)).
assert(triple(arp54465ARP716,rdf_type,rdf_List)).
assert(triple(arp54465ARP714,rdf_first,'http://www.w3.org/2002/03owlt/differentFrom/premises002#Wilma')).
assert(triple(arp54465ARP714,rdf_rest,arp54465ARP716)).
assert(triple(arp54465ARP714,rdf_type,rdf_List)).
assert(triple(arp54465ARP712,rdf_first,'http://www.w3.org/2002/03owlt/differentFrom/premises002#Fred')).
assert(triple(arp54465ARP712,rdf_rest,arp54465ARP714)).
assert(triple(arp54465ARP712,rdf_type,rdf_List)).
assert(triple(arp54465ARP711,owl_distinctMembers,arp54465ARP712)).
<br>Total 18 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/differentFrom/conclusions002.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery34319(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/differentFrom/premises002#Barney,owl_differentFrom,http://www.w3.org/2002/03owlt/differentFrom/premises002#Wilma)
<br>Query FOWL : myquery34319(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 5065 mseconds
Unloading file : http://www.w3.org/2002/03owlt/differentFrom/premises002.rdf
<br>Removing from XSB : 
<br>Total 18 triples
<a name="66/205"></a>
<br>********************************
<br>Testing  66/205
<br> http://www.w3.org/2002/03owlt/disjointWith/Manifest001#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/disjointWith/premises001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/disjointWith/premises001#A',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/disjointWith/premises001#B',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/disjointWith/premises001#A',owl_disjointWith,'http://www.w3.org/2002/03owlt/disjointWith/premises001#B')).
assert(triple('http://www.w3.org/2002/03owlt/disjointWith/premises001#a',rdf_type,'http://www.w3.org/2002/03owlt/disjointWith/premises001#A')).
assert(triple('http://www.w3.org/2002/03owlt/disjointWith/premises001#a',rdf_type,owl_Thing)).
assert(triple('http://www.w3.org/2002/03owlt/disjointWith/premises001#b',rdf_type,'http://www.w3.org/2002/03owlt/disjointWith/premises001#B')).
assert(triple('http://www.w3.org/2002/03owlt/disjointWith/premises001#b',rdf_type,owl_Thing)).
<br>Total 7 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/disjointWith/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery55114(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/disjointWith/premises001#a,rdf_type,owl_Thing)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/disjointWith/premises001#b,rdf_type,owl_Thing)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/disjointWith/premises001#a,owl_differentFrom,http://www.w3.org/2002/03owlt/disjointWith/premises001#b)
<br>Query FOWL : myquery55114(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1394 mseconds
Unloading file : http://www.w3.org/2002/03owlt/disjointWith/premises001.rdf
<br>Removing from XSB : 
<br>Total 7 triples
<a name="67/205"></a>
<br>********************************
<br>Testing  67/205
<br> http://www.w3.org/2002/03owlt/disjointWith/Manifest002#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/disjointWith/premises002.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/disjointWith/premises002#A',owl_disjointWith,'http://www.w3.org/2002/03owlt/disjointWith/premises002#B')).
assert(triple('http://www.w3.org/2002/03owlt/disjointWith/premises002#a',rdf_type,'http://www.w3.org/2002/03owlt/disjointWith/premises002#A')).
assert(triple('http://www.w3.org/2002/03owlt/disjointWith/premises002#b',rdf_type,'http://www.w3.org/2002/03owlt/disjointWith/premises002#B')).
<br>Total 3 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/disjointWith/conclusions002.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery10957(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/disjointWith/premises002#a,owl_differentFrom,http://www.w3.org/2002/03owlt/disjointWith/premises002#b)
<br>Query FOWL : myquery10957(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1327 mseconds
Unloading file : http://www.w3.org/2002/03owlt/disjointWith/premises002.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="68/205"></a>
<br>********************************
<br>Testing  68/205
<br> http://www.w3.org/2002/03owlt/distinctMembers/Manifest001#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/distinctMembers/premises001.rdf
<br>Adding into XSB:assert(triple(arp29228ARP755,rdf_type,owl_AllDifferent)).
assert(triple('http://www.w3.org/2002/03owlt/distinctMembers/premises001#Fred',rdf_type,'http://www.w3.org/2002/03owlt/distinctMembers/premises001#Person')).
assert(triple('http://www.w3.org/2002/03owlt/distinctMembers/premises001#Wilma',rdf_type,'http://www.w3.org/2002/03owlt/distinctMembers/premises001#Person')).
assert(triple('http://www.w3.org/2002/03owlt/distinctMembers/premises001#Barney',rdf_type,'http://www.w3.org/2002/03owlt/distinctMembers/premises001#Person')).
assert(triple('http://www.w3.org/2002/03owlt/distinctMembers/premises001#Betty',rdf_type,'http://www.w3.org/2002/03owlt/distinctMembers/premises001#Person')).
assert(triple(arp29228ARP762,rdf_first,'http://www.w3.org/2002/03owlt/distinctMembers/premises001#Betty')).
assert(triple(arp29228ARP762,rdf_rest,rdf_nil)).
assert(triple(arp29228ARP762,rdf_type,rdf_List)).
assert(triple(arp29228ARP760,rdf_first,'http://www.w3.org/2002/03owlt/distinctMembers/premises001#Barney')).
assert(triple(arp29228ARP760,rdf_rest,arp29228ARP762)).
assert(triple(arp29228ARP760,rdf_type,rdf_List)).
assert(triple(arp29228ARP758,rdf_first,'http://www.w3.org/2002/03owlt/distinctMembers/premises001#Wilma')).
assert(triple(arp29228ARP758,rdf_rest,arp29228ARP760)).
assert(triple(arp29228ARP758,rdf_type,rdf_List)).
assert(triple(arp29228ARP756,rdf_first,'http://www.w3.org/2002/03owlt/distinctMembers/premises001#Fred')).
assert(triple(arp29228ARP756,rdf_rest,arp29228ARP758)).
assert(triple(arp29228ARP756,rdf_type,rdf_List)).
assert(triple(arp29228ARP755,owl_distinctMembers,arp29228ARP756)).
<br>Total 18 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/distinctMembers/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery37663(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/distinctMembers/premises001#Fred,owl_differentFrom,http://www.w3.org/2002/03owlt/distinctMembers/premises001#Barney)
<br>Query FOWL : myquery37663(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 4986 mseconds
Unloading file : http://www.w3.org/2002/03owlt/distinctMembers/premises001.rdf
<br>Removing from XSB : 
<br>Total 18 triples
<a name="69/205"></a>
<br>********************************
<br>Testing  69/205
<br> http://www.w3.org/2002/03owlt/equivalentClass/Manifest001#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/equivalentClass/premises001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises001#Car',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises001#Automobile',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises001#Car',owl_equivalentClass,'http://www.w3.org/2002/03owlt/equivalentClass/premises001#Automobile')).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises001#car',rdf_type,'http://www.w3.org/2002/03owlt/equivalentClass/premises001#Car')).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises001#car',rdf_type,owl_Thing)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises001#auto',rdf_type,'http://www.w3.org/2002/03owlt/equivalentClass/premises001#Automobile')).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises001#auto',rdf_type,owl_Thing)).
<br>Total 7 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/equivalentClass/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery57093(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises001#auto,rdf_type,http://www.w3.org/2002/03owlt/equivalentClass/premises001#Car)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises001#auto,rdf_type,owl_Thing)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises001#car,rdf_type,http://www.w3.org/2002/03owlt/equivalentClass/premises001#Automobile)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises001#car,rdf_type,owl_Thing)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises001#Car,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises001#Automobile,rdf_type,owl_Class)
<br>Query FOWL : myquery57093(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1739 mseconds
Unloading file : http://www.w3.org/2002/03owlt/equivalentClass/premises001.rdf
<br>Removing from XSB : 
<br>Total 7 triples
<a name="70/205"></a>
<br>********************************
<br>Testing  70/205
<br> http://www.w3.org/2002/03owlt/equivalentClass/Manifest002#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/equivalentClass/premises002.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises002#Car',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises002#Automobile',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises002#Car',owl_equivalentClass,'http://www.w3.org/2002/03owlt/equivalentClass/premises002#Automobile')).
<br>Total 3 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/equivalentClass/conclusions002.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery34945(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises002#Car,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises002#Automobile,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises002#Automobile,rdfs_subClassOf,http://www.w3.org/2002/03owlt/equivalentClass/premises002#Car)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises002#Car,rdfs_subClassOf,http://www.w3.org/2002/03owlt/equivalentClass/premises002#Automobile)
<br>Query FOWL : myquery34945(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1794 mseconds
Unloading file : http://www.w3.org/2002/03owlt/equivalentClass/premises002.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="71/205"></a>
<br>********************************
<br>Testing  71/205
<br> http://www.w3.org/2002/03owlt/equivalentClass/Manifest003#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/equivalentClass/premises003.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/conclusions003#Car',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/conclusions003#Automobile',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/conclusions003#Automobile',rdfs_subClassOf,'http://www.w3.org/2002/03owlt/equivalentClass/conclusions003#Car')).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/conclusions003#Car',rdfs_subClassOf,'http://www.w3.org/2002/03owlt/equivalentClass/conclusions003#Automobile')).
<br>Total 4 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/equivalentClass/conclusions003.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery63492(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/conclusions003#Car,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/conclusions003#Automobile,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/conclusions003#Car,owl_equivalentClass,http://www.w3.org/2002/03owlt/equivalentClass/conclusions003#Automobile)
<br>Query FOWL : myquery63492(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 865 mseconds
Unloading file : http://www.w3.org/2002/03owlt/equivalentClass/premises003.rdf
<br>Removing from XSB : 
<br>Total 4 triples
<a name="72/205"></a>
<br>********************************
<br>Testing  72/205
<br> http://www.w3.org/2002/03owlt/equivalentClass/Manifest004#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/equivalentClass/premises004.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises004#c1',rdf_type,owl_Class)).
assert(triple(arp40430ARP810,rdf_type,owl_Restriction)).
assert(triple(arp40430ARP810,owl_onProperty,'http://www.w3.org/2002/03owlt/equivalentClass/premises004#p')).
assert(triple(arp40430ARP810,owl_cardinality,'1^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple(arp40430ARP809,rdf_first,arp40430ARP810)).
assert(triple(arp40430ARP809,rdf_rest,rdf_nil)).
assert(triple(arp40430ARP809,rdf_type,rdf_List)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises004#c1',owl_intersectionOf,arp40430ARP809)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises004#c2',rdf_type,owl_Class)).
assert(triple(arp40430ARP814,rdf_type,owl_Restriction)).
assert(triple(arp40430ARP814,owl_onProperty,'http://www.w3.org/2002/03owlt/equivalentClass/premises004#p')).
assert(triple(arp40430ARP814,owl_cardinality,'1^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger>')).
assert(triple(arp40430ARP813,rdf_first,arp40430ARP814)).
assert(triple(arp40430ARP813,rdf_rest,rdf_nil)).
assert(triple(arp40430ARP813,rdf_type,rdf_List)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises004#c2',owl_intersectionOf,arp40430ARP813)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises004#p',rdf_type,owl_ObjectProperty)).
<br>Total 17 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/equivalentClass/conclusions004.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery62879(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises004#c1,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises004#c2,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises004#c1,owl_equivalentClass,http://www.w3.org/2002/03owlt/equivalentClass/premises004#c2)
<br>Query FOWL : myquery62879(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1849 mseconds
Unloading file : http://www.w3.org/2002/03owlt/equivalentClass/premises004.rdf
<br>Removing from XSB : 
<br>Total 17 triples
<a name="73/205"></a>
<br>********************************
<br>Testing  73/205
<br> http://www.w3.org/2002/03owlt/equivalentClass/Manifest006#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/equivalentClass/premises006.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises006#A',rdf_type,owl_Class)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises006#B',rdf_type,owl_Class)).
<br>Total 2 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/equivalentClass/conclusions006.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery6354(fowl)
<br>Body: 
<br>   fowl_triple(_ARP830,rdf_type,owl_Class)
<br>   fowl_triple(_ARP832,rdf_type,owl_Class)
<br>   fowl_triple(_ARP832,owl_complementOf,http://www.w3.org/2002/03owlt/equivalentClass/premises006#A)
<br>   fowl_triple(_ARP835,rdf_type,owl_Class)
<br>   fowl_triple(_ARP835,owl_complementOf,http://www.w3.org/2002/03owlt/equivalentClass/premises006#B)
<br>   fowl_triple(_ARP834,rdf_first,_ARP835)
<br>   fowl_triple(_ARP834,rdf_rest,rdf_nil)
<br>   fowl_triple(_ARP834,rdf_type,rdf_List)
<br>   fowl_triple(_ARP831,rdf_first,_ARP832)
<br>   fowl_triple(_ARP831,rdf_rest,_ARP834)
<br>   fowl_triple(_ARP831,rdf_type,rdf_List)
<br>   fowl_triple(_ARP830,owl_intersectionOf,_ARP831)
<br>   fowl_triple(_ARP837,rdf_type,owl_Class)
<br>   fowl_triple(_ARP838,rdf_type,owl_Class)
<br>   fowl_triple(_ARP841,rdf_first,http://www.w3.org/2002/03owlt/equivalentClass/premises006#B)
<br>   fowl_triple(_ARP841,rdf_rest,rdf_nil)
<br>   fowl_triple(_ARP841,rdf_type,rdf_List)
<br>   fowl_triple(_ARP839,rdf_first,http://www.w3.org/2002/03owlt/equivalentClass/premises006#A)
<br>   fowl_triple(_ARP839,rdf_rest,_ARP841)
<br>   fowl_triple(_ARP839,rdf_type,rdf_List)
<br>   fowl_triple(_ARP838,owl_unionOf,_ARP839)
<br>   fowl_triple(_ARP837,owl_complementOf,_ARP838)
<br>   fowl_triple(_ARP830,owl_equivalentClass,_ARP837)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises006#A,rdf_type,owl_Class)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentClass/premises006#B,rdf_type,owl_Class)
<br>Query FOWL : myquery6354(fowl)  ?
<br>Test Incomplete!
<br>test time: 1252 mseconds
Unloading file : http://www.w3.org/2002/03owlt/equivalentClass/premises006.rdf
<br>Removing from XSB : 
<br>Total 2 triples
<a name="74/205"></a>
<br>********************************
<br>Testing  74/205
<br> http://www.w3.org/2002/03owlt/equivalentClass/Manifest007#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/equivalentClass/premises007.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises007#A',rdf_type,rdfs_Class)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentClass/premises007#B',rdf_type,rdfs_Class)).
<br>Total 2 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/equivalentClass/conclusions007.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery22646(fowl)
<br>Body: 
<br>   fowl_triple(_ARP851,owl_complementOf,http://www.w3.org/2002/03owlt/equivalentClass/premises007#A)
<br>   fowl_triple(_ARP854,owl_complementOf,http://www.w3.org/2002/03owlt/equivalentClass/premises007#B)
<br>   fowl_triple(_ARP853,rdf_first,_ARP854)
<br>   fowl_triple(_ARP853,rdf_rest,rdf_nil)
<br>   fowl_triple(_ARP853,rdf_type,rdf_List)
<br>   fowl_triple(_ARP850,rdf_first,_ARP851)
<br>   fowl_triple(_ARP850,rdf_rest,_ARP853)
<br>   fowl_triple(_ARP850,rdf_type,rdf_List)
<br>   fowl_triple(_ARP849,owl_intersectionOf,_ARP850)
<br>   fowl_triple(_ARP860,rdf_first,http://www.w3.org/2002/03owlt/equivalentClass/premises007#B)
<br>   fowl_triple(_ARP860,rdf_rest,rdf_nil)
<br>   fowl_triple(_ARP860,rdf_type,rdf_List)
<br>   fowl_triple(_ARP858,rdf_first,http://www.w3.org/2002/03owlt/equivalentClass/premises007#A)
<br>   fowl_triple(_ARP858,rdf_rest,_ARP860)
<br>   fowl_triple(_ARP858,rdf_type,rdf_List)
<br>   fowl_triple(_ARP857,owl_unionOf,_ARP858)
<br>   fowl_triple(_ARP856,owl_complementOf,_ARP857)
<br>   fowl_triple(_ARP849,owl_equivalentClass,_ARP856)
<br>Query FOWL : myquery22646(fowl)  ?
<br>Test Incomplete!
<br>test time: 1196 mseconds
Unloading file : http://www.w3.org/2002/03owlt/equivalentClass/premises007.rdf
<br>Removing from XSB : 
<br>Total 2 triples
<a name="75/205"></a>
<br>********************************
<br>Testing  75/205
<br> http://www.w3.org/2002/03owlt/equivalentProperty/Manifest001#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/equivalentProperty/premises001.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead',owl_equivalentProperty,'http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader')).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises001#X',rdf_type,owl_Thing)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises001#Y',rdf_type,owl_Thing)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises001#X','http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader','http://www.w3.org/2002/03owlt/equivalentProperty/premises001#Y')).
<br>Total 6 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/equivalentProperty/conclusions001.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery86463(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentProperty/premises001#X,rdf_type,owl_Thing)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentProperty/premises001#Y,rdf_type,owl_Thing)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentProperty/premises001#X,http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead,http://www.w3.org/2002/03owlt/equivalentProperty/premises001#Y)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead,rdf_type,owl_ObjectProperty)
<br>Query FOWL : myquery86463(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 921 mseconds
Unloading file : http://www.w3.org/2002/03owlt/equivalentProperty/premises001.rdf
<br>Removing from XSB : 
<br>Total 6 triples
<a name="76/205"></a>
<br>********************************
<br>Testing  76/205
<br> http://www.w3.org/2002/03owlt/equivalentProperty/Manifest002#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/equivalentProperty/premises002.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises002#hasHead',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises002#hasLeader',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises002#hasHead',owl_equivalentProperty,'http://www.w3.org/2002/03owlt/equivalentProperty/premises002#hasLeader')).
<br>Total 3 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/equivalentProperty/conclusions002.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery4758(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentProperty/premises002#hasHead,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentProperty/premises002#hasHead,rdfs_subPropertyOf,http://www.w3.org/2002/03owlt/equivalentProperty/premises002#hasLeader)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentProperty/premises002#hasLeader,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentProperty/premises002#hasLeader,rdfs_subPropertyOf,http://www.w3.org/2002/03owlt/equivalentProperty/premises002#hasHead)
<br>Query FOWL : myquery4758(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 999 mseconds
Unloading file : http://www.w3.org/2002/03owlt/equivalentProperty/premises002.rdf
<br>Removing from XSB : 
<br>Total 3 triples
<a name="77/205"></a>
<br>********************************
<br>Testing  77/205
<br> http://www.w3.org/2002/03owlt/equivalentProperty/Manifest003#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/equivalentProperty/premises003.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003#hasHead',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003#hasHead',rdfs_subPropertyOf,'http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003#hasLeader')).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003#hasLeader',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003#hasLeader',rdfs_subPropertyOf,'http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003#hasHead')).
<br>Total 4 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery97733(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003#hasHead,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003#hasLeader,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003#hasHead,owl_equivalentProperty,http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003#hasLeader)
<br>Query FOWL : myquery97733(fowl)  ?
<br> 
 Query Success!
<br>Test Success!
<br>test time: 1326 mseconds
Unloading file : http://www.w3.org/2002/03owlt/equivalentProperty/premises003.rdf
<br>Removing from XSB : 
<br>Total 4 triples
<a name="78/205"></a>
<br>********************************
<br>Testing  78/205
<br> http://www.w3.org/2002/03owlt/equivalentProperty/Manifest004#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/equivalentProperty/premises004.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises004#p',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises004#p',rdfs_domain,'http://www.w3.org/2002/03owlt/equivalentProperty/premises004#d')).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises004#q',rdf_type,owl_ObjectProperty)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises004#q',rdfs_domain,'http://www.w3.org/2002/03owlt/equivalentProperty/premises004#d')).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises004#q',rdf_type,owl_FunctionalProperty)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises004#p',rdf_type,owl_FunctionalProperty)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises004#v',rdf_type,owl_Thing)).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises004#d',rdf_type,owl_Class)).
assert(triple(arp9446ARP901,rdf_type,owl_Restriction)).
assert(triple(arp9446ARP901,owl_onProperty,'http://www.w3.org/2002/03owlt/equivalentProperty/premises004#p')).
assert(triple(arp9446ARP901,owl_hasValue,'http://www.w3.org/2002/03owlt/equivalentProperty/premises004#v')).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises004#d',owl_equivalentClass,arp9446ARP901)).
assert(triple(arp9446ARP904,rdf_type,owl_Restriction)).
assert(triple(arp9446ARP904,owl_onProperty,'http://www.w3.org/2002/03owlt/equivalentProperty/premises004#q')).
assert(triple(arp9446ARP904,owl_hasValue,'http://www.w3.org/2002/03owlt/equivalentProperty/premises004#v')).
assert(triple('http://www.w3.org/2002/03owlt/equivalentProperty/premises004#d',owl_equivalentClass,arp9446ARP904)).
<br>Total 16 triples
<br>Query RDF file: http://www.w3.org/2002/03owlt/equivalentProperty/conclusions004.rdf !

<br>No Variable:
<br>Assert rule
<br>Head: myquery52538(fowl)
<br>Body: 
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentProperty/premises004#p,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentProperty/premises004#q,rdf_type,owl_ObjectProperty)
<br>   fowl_triple(http://www.w3.org/2002/03owlt/equivalentProperty/premises004#p,owl_equivalentProperty,http://www.w3.org/2002/03owlt/equivalentProperty/premises004#q)
<br>Query FOWL : myquery52538(fowl)  ?
<br>Test Incomplete!
<br>test time: 2059 mseconds
Unloading file : http://www.w3.org/2002/03owlt/equivalentProperty/premises004.rdf
<br>Removing from XSB : 
<br>Total 16 triples
<a name="79/205"></a>
<br>********************************
<br>Testing  79/205
<br> http://www.w3.org/2002/03owlt/equivalentProperty/Manifest005#test
<br>Test Type: otest:PositiveEntailmentTest
<br>Loading :http://www.w3.org/2002/03owlt/equivalentProperty/premises005.rdf
<br>Adding into XSB:assert(triple('http://www.w3.org/2002/03owlt/