Interoperability from SemTalk to Jena (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (SemTalk) Step2 (Jena)
E01
(ISA01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E02
(ISA02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E03
(ISA03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E04
(ISA04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E05
(ISA05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISA05#
-[<ns:Man> <rdfs:subClassOf> <ns:Male>.]
 Removed:
ns=http://www.example.org/ISA05#
-[<ns:Man> <rdfs:subClassOf> <ns:Male>.]
  
E06
(ISA06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISA06#
-[<ns:Woman> <rdfs:subClassOf> <ns:Woman>.]
 Removed:
ns=http://www.example.org/ISA06#
-[<ns:Woman> <rdfs:subClassOf> <ns:Woman>.]
  
E07
(ISA07)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
-[_:khnglgdx <owl:onProperty> <ns:wasBorn>., <ns:Italian> <rdfs:subClassOf> _:khnglgdx., _:khnglgdx <rdf:type> <owl:Restriction>., _:khnglgdx <owl:someValuesFrom> <ns:Italy>.]
 Inserted:
ns=http://www.example.org/ISA08#
-[_:rrxhenje <rdf:type> <owl:Restriction>., _:rrxhenje <owl:someValuesFrom> <ns:Italy>., <ns:Italian> <rdfs:subClassOf> _:rrxhenje., _:rrxhenje <owl:onProperty> <ns:wasBorn>.]
  
 Removed:
ns=http://www.example.org/ISA08#
-[_:jswkxwvg <rdf:type> <owl:Restriction>., _:jswkxwvg <owl:allValuesFrom> <ns:Italy>., _:jswkxwvg <owl:onProperty> <ns:wasBorn>., <ns:Italian> <rdfs:subClassOf> _:jswkxwvg.]
 Removed:
ns=http://www.example.org/ISA08#
-[_:vhiqjmwn <owl:allValuesFrom> <ns:Italy>., _:vhiqjmwn <owl:onProperty> <ns:wasBorn>., _:vhiqjmwn <rdf:type> <owl:Restriction>., <ns:Italian> <rdfs:subClassOf> _:vhiqjmwn.]
  
E09
(ISA09)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E10
(ISA10)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E11
(ISA11)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E12
(ISA12)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E13
(ISA13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA13#
-[_:qpmlbhty <owl:onProperty> <ns:hasName>., <ns:Person> <rdfs:subClassOf> _:qpmlbhty., _:qpmlbhty <owl:hasValue> "^^xsd:string"., _:qpmlbhty <rdf:type> <owl:Restriction>.]
 Inserted:
ns=http://www.example.org/ISA13#
-[_:jdfokkxn <rdf:type> <owl:Restriction>., _:jdfokkxn <owl:hasValue> "^^xsd:string"., <ns:Person> <rdfs:subClassOf> _:jdfokkxn., _:jdfokkxn <owl:onProperty> <ns:hasName>.]
  
E14
(ISA14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA14#
-[_:pfveplgs <owl:hasValue> "^^xsd:string"., <ns:Researcher> <rdfs:subClassOf> _:pfveplgs., _:pfveplgs <rdf:type> <owl:Restriction>., _:pfveplgs <owl:onProperty> <ns:wrotePhDThesis>.]
 Inserted:
ns=http://www.example.org/ISA14#
-[_:auwppvex <rdf:type> <owl:Restriction>., <ns:Researcher> <rdfs:subClassOf> _:auwppvex., _:auwppvex <owl:hasValue> "^^xsd:string"., _:auwppvex <owl:onProperty> <ns:wrotePhDThesis>.]
  
E15
(ISA15)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA15#
-[_:wddhjoyr <owl:onProperty> <ns:hasSSN>., <ns:Person> <rdfs:subClassOf> _:wddhjoyr., _:wddhjoyr <rdf:type> <owl:Restriction>., _:wddhjoyr <owl:hasValue> "^^xsd:string".]
-[_:yvxpqchw <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:yvxpqchw., _:yvxpqchw <owl:minCardinality> "1^^xsd:nonNegativeInteger"., _:yvxpqchw <owl:onProperty> <ns:hasSSN>.]
-[<ns:Person> <rdfs:subClassOf> _:kqtvgfyv., _:kqtvgfyv <owl:onProperty> <ns:hasSSN>., _:kqtvgfyv <rdf:type> <owl:Restriction>., _:kqtvgfyv <owl:maxCardinality> "1^^xsd:nonNegativeInteger".]
 Inserted:
ns=http://www.example.org/ISA15#
-[<ns:Person> <rdfs:subClassOf> _:wvbjurcl., _:wvbjurcl <owl:onProperty> <ns:hasSSN>., _:wvbjurcl <rdf:type> <owl:Restriction>., _:wvbjurcl <owl:hasValue> "^^xsd:string".]
-[_:sjyskalr <rdf:type> <owl:Restriction>., _:sjyskalr <owl:minCardinality> "1^^xsd:nonNegativeInteger"., <ns:Person> <rdfs:subClassOf> _:sjyskalr., _:sjyskalr <owl:onProperty> <ns:hasSSN>.]
-[<ns:Person> <rdfs:subClassOf> _:hwthdtcr., _:hwthdtcr <owl:onProperty> <ns:hasSSN>., _:hwthdtcr <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:hwthdtcr <rdf:type> <owl:Restriction>.]
  
 Removed:
ns=http://www.example.org/ISA15#
-[_:mmjuntqc <owl:onProperty> <ns:hasSSN>., <ns:Person> <rdfs:subClassOf> _:mmjuntqc., _:mmjuntqc <rdf:type> <owl:Restriction>., _:mmjuntqc <owl:cardinality> "1^^xsd:nonNegativeInteger".]
 Removed:
ns=http://www.example.org/ISA15#
-[<ns:Person> <rdfs:subClassOf> _:plucjyue., _:plucjyue <owl:onProperty> <ns:hasSSN>., _:plucjyue <rdf:type> <owl:Restriction>., _:plucjyue <owl:cardinality> "1^^xsd:nonNegativeInteger".]
  
E16
(ISA16)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA16#
-[_:ujiepvej <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:ujiepvej., _:ujiepvej <rdf:type> <owl:Restriction>., _:ujiepvej <owl:hasValue> "^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISA16#
-[_:pqgwdtvm <rdf:type> <owl:Restriction>., _:pqgwdtvm <owl:hasValue> "^^xsd:string"., <ns:Researcher> <rdfs:subClassOf> _:pqgwdtvm., _:pqgwdtvm <owl:onProperty> <ns:wrotePhDThesis>.]
  
E17
(ISA17)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E18
(ISB01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISB01#
-[<ns:Italian> <owl:equivalentClass> <ns:Italiano>.]
-[<ns:Italian> <owl:equivalentClass> <ns:Italienne>.]
 Removed:
ns=http://www.example.org/ISB01#
-[<ns:Italian> <owl:equivalentClass> <ns:Italiano>.]
-[<ns:Italian> <owl:equivalentClass> <ns:Italienne>.]
  
E19
(ISB02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
-[_:wkhyexgk <owl:someValuesFrom> <ns:Car>., <ns:Driver> <rdfs:subClassOf> _:wkhyexgk., _:wkhyexgk <owl:onProperty> <ns:hasCar>., _:wkhyexgk <rdf:type> <owl:Restriction>.]
 Inserted:
ns=http://www.example.org/ISB02#
-[<ns:Driver> <rdfs:subClassOf> _:jerostxh., _:jerostxh <owl:onProperty> <ns:hasCar>., _:jerostxh <rdf:type> <owl:Restriction>., _:jerostxh <owl:someValuesFrom> <ns:Car>.]
  
 Removed:
ns=http://www.example.org/ISB02#
-[<ns:Driver> <owl:equivalentClass> _:qmelcyrw., _:qmelcyrw <owl:someValuesFrom> <ns:Car>., _:qmelcyrw <owl:onProperty> <ns:hasCar>., _:qmelcyrw <rdf:type> <owl:Restriction>.]
 Removed:
ns=http://www.example.org/ISB02#
-[_:ajvluqyr <owl:someValuesFrom> <ns:Car>., _:ajvluqyr <rdf:type> <owl:Restriction>., _:ajvluqyr <owl:onProperty> <ns:hasCar>., <ns:Driver> <owl:equivalentClass> _:ajvluqyr.]
  
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB03#
-[_:mnaybxcp <rdf:type> <owl:Restriction>., <ns:Italian> <rdfs:subClassOf> _:mnaybxcp., _:mnaybxcp <owl:someValuesFrom> <ns:Italy>., _:mnaybxcp <owl:onProperty> <ns:wasBorn>.]
 Inserted:
ns=http://www.example.org/ISB03#
-[_:enmykcua <rdf:type> <owl:Restriction>., <ns:Italian> <rdfs:subClassOf> _:enmykcua., _:enmykcua <owl:someValuesFrom> <ns:Italy>., _:enmykcua <owl:onProperty> <ns:wasBorn>.]
  
 Removed:
ns=http://www.example.org/ISB03#
-[_:ynguwpvp <owl:onProperty> <ns:wasBorn>., <ns:Italian> <owl:equivalentClass> _:ynguwpvp., _:ynguwpvp <owl:allValuesFrom> <ns:Italy>., _:ynguwpvp <rdf:type> <owl:Restriction>.]
 Removed:
ns=http://www.example.org/ISB03#
-[<ns:Italian> <owl:equivalentClass> _:fmxcsfik., _:fmxcsfik <owl:allValuesFrom> <ns:Italy>., _:fmxcsfik <rdf:type> <owl:Restriction>., _:fmxcsfik <owl:onProperty> <ns:wasBorn>.]
  
E21
(ISB04)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E22
(ISB05)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E23
(ISB06)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E24
(ISB07)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E25
(ISB08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB08#
-[_:jqoourel <rdf:type> <owl:Restriction>., _:jqoourel <owl:onProperty> <ns:hasName>., _:jqoourel <owl:hasValue> "^^xsd:string"., <ns:Person> <rdfs:subClassOf> _:jqoourel.]
-[<ns:Person> <rdfs:subClassOf> "".]
 Inserted:
ns=http://www.example.org/ISB08#
-[<ns:Person> <rdfs:subClassOf> _:ikdmxxiy., _:ikdmxxiy <owl:hasValue> "^^xsd:string"., _:ikdmxxiy <owl:onProperty> <ns:hasName>., _:ikdmxxiy <rdf:type> <owl:Restriction>.]
-[<ns:Person> <rdfs:subClassOf> "".]
  
 Removed:
ns=http://www.example.org/ISB08#
-[<ns:Person> <owl:equivalentClass> "".]
 Removed:
ns=http://www.example.org/ISB08#
-[<ns:Person> <owl:equivalentClass> "".]
  
E26
(ISB09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB09#
-[<ns:Researcher> <rdfs:subClassOf> _:yujcrsde., _:yujcrsde <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:yujcrsde <rdf:type> <owl:Restriction>., _:yujcrsde <owl:onProperty> <ns:wrotePhDThesis>.]
-[_:ejudxikx <rdf:type> <owl:Restriction>., _:ejudxikx <owl:hasValue> "^^xsd:string"., _:ejudxikx <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:ejudxikx.]
 Inserted:
ns=http://www.example.org/ISB09#
-[<ns:Researcher> <rdfs:subClassOf> _:xiqgltaw., _:xiqgltaw <owl:onProperty> <ns:wrotePhDThesis>., _:xiqgltaw <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:xiqgltaw <rdf:type> <owl:Restriction>.]
-[_:fehmeron <owl:hasValue> "^^xsd:string"., _:fehmeron <rdf:type> <owl:Restriction>., <ns:Researcher> <rdfs:subClassOf> _:fehmeron., _:fehmeron <owl:onProperty> <ns:wrotePhDThesis>.]
  
 Removed:
ns=http://www.example.org/ISB09#
-[<ns:Researcher> <owl:equivalentClass> _:gkwaarhv., _:gkwaarhv <owl:onProperty> <ns:wrotePhDThesis>., _:gkwaarhv <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:gkwaarhv <rdf:type> <owl:Restriction>.]
 Removed:
ns=http://www.example.org/ISB09#
-[<ns:Researcher> <owl:equivalentClass> _:nbfwhcel., _:nbfwhcel <owl:onProperty> <ns:wrotePhDThesis>., _:nbfwhcel <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:nbfwhcel <rdf:type> <owl:Restriction>.]
  
E27
(ISB10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB10#
-[<ns:Man> <rdfs:subClassOf> _:fkrfadlk., _:fkrfadlk <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:fkrfadlk <owl:onProperty> <ns:hasSSN>., _:fkrfadlk <rdf:type> <owl:Restriction>.]
-[_:ybxuqtmy <owl:hasValue> "^^xsd:string"., _:ybxuqtmy <owl:onProperty> <ns:hasSSN>., _:ybxuqtmy <rdf:type> <owl:Restriction>., <ns:Man> <rdfs:subClassOf> _:ybxuqtmy.]
-[_:dinmfjwn <owl:onProperty> <ns:hasSSN>., <ns:Man> <rdfs:subClassOf> _:dinmfjwn., _:dinmfjwn <rdf:type> <owl:Restriction>., _:dinmfjwn <owl:minCardinality> "1^^xsd:nonNegativeInteger".]
 Inserted:
ns=http://www.example.org/ISB10#
-[_:ogjgwhmt <rdf:type> <owl:Restriction>., _:ogjgwhmt <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:ogjgwhmt <owl:onProperty> <ns:hasSSN>., <ns:Man> <rdfs:subClassOf> _:ogjgwhmt.]
-[_:vadqljrb <owl:minCardinality> "1^^xsd:nonNegativeInteger"., _:vadqljrb <owl:onProperty> <ns:hasSSN>., <ns:Man> <rdfs:subClassOf> _:vadqljrb., _:vadqljrb <rdf:type> <owl:Restriction>.]
-[<ns:Man> <rdfs:subClassOf> _:xantbgvr., _:xantbgvr <owl:hasValue> "^^xsd:string"., _:xantbgvr <owl:onProperty> <ns:hasSSN>., _:xantbgvr <rdf:type> <owl:Restriction>.]
  
 Removed:
ns=http://www.example.org/ISB10#
-[_:grsibnlv <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:grsibnlv <owl:onProperty> <ns:hasSSN>., _:grsibnlv <rdf:type> <owl:Restriction>., <ns:Man> <owl:equivalentClass> _:grsibnlv.]
 Removed:
ns=http://www.example.org/ISB10#
-[<ns:Man> <owl:equivalentClass> _:jbeelnfe., _:jbeelnfe <owl:onProperty> <ns:hasSSN>., _:jbeelnfe <rdf:type> <owl:Restriction>., _:jbeelnfe <owl:cardinality> "1^^xsd:nonNegativeInteger".]
  
E28
(ISB11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB11#
-[_:nvfdiqis <owl:hasValue> "^^xsd:string"., <ns:Researcher> <rdfs:subClassOf> _:nvfdiqis., _:nvfdiqis <rdf:type> <owl:Restriction>., _:nvfdiqis <owl:onProperty> <ns:wrotePhDThesis>.]
-[_:nqsdtcog <rdf:type> <owl:Restriction>., _:nqsdtcog <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., <ns:Researcher> <rdfs:subClassOf> _:nqsdtcog., _:nqsdtcog <owl:onProperty> <ns:wrotePhDThesis>.]
-[<ns:Researcher> <rdfs:subClassOf> "".]
 Inserted:
ns=http://www.example.org/ISB11#
-[_:qpytxtvs <owl:hasValue> "^^xsd:string"., <ns:Researcher> <rdfs:subClassOf> _:qpytxtvs., _:qpytxtvs <rdf:type> <owl:Restriction>., _:qpytxtvs <owl:onProperty> <ns:wrotePhDThesis>.]
-[_:iyuhuhwj <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:iyuhuhwj., _:iyuhuhwj <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:iyuhuhwj <rdf:type> <owl:Restriction>.]
-[<ns:Researcher> <rdfs:subClassOf> "".]
  
 Removed:
ns=http://www.example.org/ISB11#
-[<ns:Researcher> <owl:equivalentClass> _:utvepqaf., _:utvepqaf <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:utvepqaf <rdf:type> <owl:Restriction>., _:utvepqaf <owl:onProperty> <ns:wrotePhDThesis>.]
-[<ns:Researcher> <owl:equivalentClass> "".]
 Removed:
ns=http://www.example.org/ISB11#
-[_:wxdgjgvm <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:wxdgjgvm <rdf:type> <owl:Restriction>., _:wxdgjgvm <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <owl:equivalentClass> _:wxdgjgvm.]
-[<ns:Researcher> <owl:equivalentClass> "".]
  
E29
(ISB12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISB12#
-[_:tfocneou <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., <ns:ItalianMan> <owl:equivalentClass> _:tfocneou., _:tfocneou <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
 Removed:
ns=http://www.example.org/ISB12#
-[<ns:ItalianMan> <owl:equivalentClass> _:qftgafqu., _:qftgafqu <rdf:type> <owl:Class>., _:qftgafqu <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
  
E30
(ISC01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E31
(ISC02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E32
(ISD01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E33
(ISD02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E34
(ISD03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISD03#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:hasAge> <rdf:type> <owl:DatatypeProperty>.]
  Removed:
ns=http://www.example.org/ISD03#
-[_:vhiolymm <rdf:type> <owl:Ontology>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#hasAge> <rdf:type> <owl:DatatypeProperty>.]
E35
(ISD04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISD04#
-[<diff:isInteger> <rdf:type> <owl:DatatypeProperty>.]
-[<diff:isRational> <rdfs:subPropertyOf> <diff:isReal>.]
-[<diff:isInteger> <rdfs:subPropertyOf> <diff:isRational>.]
-[<diff:isRational> <rdf:type> <owl:DatatypeProperty>.]
-[<diff:isReal> <rdf:type> <owl:DatatypeProperty>.]
  
 Removed:
ns=http://www.example.org/ISD04#
-[<ns:isInteger> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>.]
-[<ns:isRational> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>.]
-[<ns:isReal> <rdf:type> <owl:DatatypeProperty>.]
 Removed:
ns=http://www.example.org/ISD04#
-[<ns:isInteger> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>.]
-[<ns:isRational> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>.]
-[<ns:isReal> <rdf:type> <owl:DatatypeProperty>.]
 Removed:
ns=http://www.example.org/ISD04#
-[_:woabftcs <rdf:type> <owl:Ontology>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdfs:subPropertyOf> <file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <rdf:type> <owl:DatatypeProperty>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdf:type> <owl:DatatypeProperty>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdf:type> <owl:DatatypeProperty>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdfs:subPropertyOf> <file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational>.]
E36
(ISE01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E37
(ISE02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E38
(ISE03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E39
(ISE04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E40
(ISE05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E41
(ISE06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E42
(ISE07)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E43
(ISE08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE08#
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 Removed:
ns=http://www.example.org/ISE08#
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISE08#
-[_:itxocbne <rdf:type> <owl:Ontology>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
E44
(ISE09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISE09#
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
 Removed:
ns=http://www.example.org/ISE09#
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
  
E45
(ISE10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISE10#
-[<ns:hasChildNamed> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISE10#
-[<ns:hasChildNamed> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
  
E46
(ISF01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E47
(ISF02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISF02#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasSpanishName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISF02#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasSpanishName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
  
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISF03#
-[<ns:hasParent> <owl:inverseOf> <ns:hasChild>.]
 Removed:
ns=http://www.example.org/ISF03#
-[<ns:hasParent> <owl:inverseOf> <ns:hasChild>.]
  
E49
(ISG01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E50
(ISG02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E51
(ISG03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E52
(ISG04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISG04#
-[<ns:hasAge> <rdf:type> <owl:FunctionalProperty>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasAge> <rdfs:range> <rdfs:Literal>.]
 Removed:
ns=http://www.example.org/ISG04#
-[<ns:hasAge> <rdf:type> <owl:FunctionalProperty>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasAge> <rdfs:range> <rdfs:Literal>.]
  
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISG05#
-[<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>.]
 Removed:
ns=http://www.example.org/ISG05#
-[<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>.]
  
E54
(ISH01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E55
(ISH02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E56
(ISH03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E57
(ISI01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E58
(ISI02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E59
(ISI03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E60
(ISI04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISI04#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISI04#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
  
E61
(ISI05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISI05#
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
 Removed:
ns=http://www.example.org/ISI05#
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
  
E62
(ISJ01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISJ01#
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
 Removed:
ns=http://www.example.org/ISJ01#
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
  
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISJ02#
-[<ns:genid1> <rdf:type> <ns:Parent>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
 Removed:
ns=http://www.example.org/ISJ02#
-[<ns:genid1> <rdf:type> <ns:Parent>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
  
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISJ03#
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:genid1> <ns:hasName> "Peter^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISJ03#
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:genid1> <ns:hasName> "Peter^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
  
E65
(ISK01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISK01#
-[<ns:Mary> <owl:sameAs> <ns:MaryAnn>.]
 Removed:
ns=http://www.example.org/ISK01#
-[<ns:Mary> <owl:sameAs> <ns:MaryAnn>.]
  
E66
(ISK02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISK02#
-[<ns:Ann> <owl:differentFrom> <ns:MaryAnn>.]
 Removed:
ns=http://www.example.org/ISK02#
-[<ns:Ann> <owl:differentFrom> <ns:MaryAnn>.]
  
E67
(ISK03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E68
(ISL01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E69
(ISL02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E70
(ISL03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E71
(ISL04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E72
(ISL05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E73
(ISL06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E74
(ISL07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL07#
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
 Removed:
ns=http://www.example.org/ISL07#
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
  
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL08#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL08#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
  
E76
(ISL09)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E77
(ISL10)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E78
(ISL11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL11#
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
 Removed:
ns=http://www.example.org/ISL11#
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
  
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL12#
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
 Removed:
ns=http://www.example.org/ISL12#
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
  
E80
(ISL13)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E81
(ISL14)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E82
(ISL15)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
Namespaces
owl=http://www.w3.org/2002/07/owl#
rdf=http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs=http://www.w3.org/2000/01/rdf-schema#
xsd=http://www.w3.org/2001/XMLSchema
#diff=http://www.aifb.uni-karlsruhe.de/WBS/dvr/owltools/diff/result#