Interoperability from SWIProlog to SemTalk (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (SWIProlog) Step2 (SemTalk)
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 = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
-[_:kwqyspqt <rdf:type> <owl:Restriction>., <ns:Italian> <rdfs:subClassOf> _:kwqyspqt., _:kwqyspqt <owl:someValuesFrom> <ns:Italy>., _:kwqyspqt <owl:onProperty> <ns:wasBorn>.]
   Inserted:
ns=http://www.example.org/ISA08#
-[_:oxotrwqi <owl:onProperty> <ns:wasBorn>., _:oxotrwqi <owl:someValuesFrom> <ns:Italy>., _:oxotrwqi <rdf:type> <owl:Restriction>., <ns:Italian> <rdfs:subClassOf> _:oxotrwqi.]
 Removed:
ns=http://www.example.org/ISA08#
-[_:pfwcbwis <owl:allValuesFrom> <ns:Italy>., _:pfwcbwis <owl:onProperty> <ns:wasBorn>., <ns:Italian> <rdfs:subClassOf> _:pfwcbwis., _:pfwcbwis <rdf:type> <owl:Restriction>.]
  Removed:
ns=http://www.example.org/ISA08#
-[_:weevfwve <owl:allValuesFrom> <ns:Italy>., _:weevfwve <owl:onProperty> <ns:wasBorn>., <ns:Italian> <rdfs:subClassOf> _:weevfwve., _:weevfwve <rdf:type> <owl:Restriction>.]
E09
(ISA09)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E10
(ISA10)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E11
(ISA11)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E12
(ISA12)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E13
(ISA13)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA13#
-[_:ybwsfshv <owl:onProperty> <ns:hasName>., <ns:Person> <rdfs:subClassOf> _:ybwsfshv., _:ybwsfshv <owl:hasValue> "^^xsd:string"., _:ybwsfshv <rdf:type> <owl:Restriction>.]
   Inserted:
ns=http://www.example.org/ISA13#
-[_:fmpbepoh <owl:hasValue> "^^xsd:string"., _:fmpbepoh <owl:onProperty> <ns:hasName>., _:fmpbepoh <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:fmpbepoh.]
E14
(ISA14)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA14#
-[_:aldfxjmf <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:aldfxjmf., _:aldfxjmf <owl:hasValue> "^^xsd:string"., _:aldfxjmf <rdf:type> <owl:Restriction>.]
   Inserted:
ns=http://www.example.org/ISA14#
-[_:uqjtxfnb <owl:hasValue> "^^xsd:string"., <ns:Researcher> <rdfs:subClassOf> _:uqjtxfnb., _:uqjtxfnb <rdf:type> <owl:Restriction>., _:uqjtxfnb <owl:onProperty> <ns:wrotePhDThesis>.]
E15
(ISA15)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA15#
-[_:btujcvbb <rdf:type> <owl:Restriction>., _:btujcvbb <owl:hasValue> "^^xsd:string"., <ns:Person> <rdfs:subClassOf> _:btujcvbb., _:btujcvbb <owl:onProperty> <ns:hasSSN>.]
-[_:wrqbuvse <owl:onProperty> <ns:hasSSN>., <ns:Person> <rdfs:subClassOf> _:wrqbuvse., _:wrqbuvse <owl:minCardinality> "1^^xsd:nonNegativeInteger"., _:wrqbuvse <rdf:type> <owl:Restriction>.]
-[<ns:Person> <rdfs:subClassOf> _:lfemdbpf., _:lfemdbpf <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:lfemdbpf <rdf:type> <owl:Restriction>., _:lfemdbpf <owl:onProperty> <ns:hasSSN>.]
   Inserted:
ns=http://www.example.org/ISA15#
-[_:slsuituk <rdf:type> <owl:Restriction>., _:slsuituk <owl:hasValue> "^^xsd:string"., <ns:Person> <rdfs:subClassOf> _:slsuituk., _:slsuituk <owl:onProperty> <ns:hasSSN>.]
-[_:elxcvmte <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:elxcvmte., _:elxcvmte <owl:onProperty> <ns:hasSSN>., _:elxcvmte <owl:minCardinality> "1^^xsd:nonNegativeInteger".]
-[_:ojbegvob <rdf:type> <owl:Restriction>., _:ojbegvob <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:ojbegvob <owl:onProperty> <ns:hasSSN>., <ns:Person> <rdfs:subClassOf> _:ojbegvob.]
 Removed:
ns=http://www.example.org/ISA15#
-[_:suktvhcj <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:suktvhcj <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:suktvhcj., _:suktvhcj <owl:onProperty> <ns:hasSSN>.]
  Removed:
ns=http://www.example.org/ISA15#
-[_:kwpsyrni <owl:onProperty> <ns:hasSSN>., _:kwpsyrni <owl:cardinality> "1^^xsd:nonNegativeInteger"., <ns:Person> <rdfs:subClassOf> _:kwpsyrni., _:kwpsyrni <rdf:type> <owl:Restriction>.]
E16
(ISA16)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA16#
-[_:fdnwndjx <owl:hasValue> "^^xsd:string"., <ns:Researcher> <rdfs:subClassOf> _:fdnwndjx., _:fdnwndjx <rdf:type> <owl:Restriction>., _:fdnwndjx <owl:onProperty> <ns:wrotePhDThesis>.]
   Inserted:
ns=http://www.example.org/ISA16#
-[_:lmubviem <owl:onProperty> <ns:wrotePhDThesis>., _:lmubviem <owl:hasValue> "^^xsd:string"., <ns:Researcher> <rdfs:subClassOf> _:lmubviem., _:lmubviem <rdf:type> <owl:Restriction>.]
E17
(ISA17)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E18
(ISB01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
-[_:ylgmpyxd <rdf:type> <owl:Restriction>., _:ylgmpyxd <owl:onProperty> <ns:hasCar>., <ns:Driver> <rdfs:subClassOf> _:ylgmpyxd., _:ylgmpyxd <owl:someValuesFrom> <ns:Car>.]
   Inserted:
ns=http://www.example.org/ISB02#
-[_:krfrfcfd <owl:someValuesFrom> <ns:Car>., <ns:Driver> <rdfs:subClassOf> _:krfrfcfd., _:krfrfcfd <owl:onProperty> <ns:hasCar>., _:krfrfcfd <rdf:type> <owl:Restriction>.]
 Removed:
ns=http://www.example.org/ISB02#
-[_:wofnrvnn <owl:onProperty> <ns:hasCar>., <ns:Driver> <owl:equivalentClass> _:wofnrvnn., _:wofnrvnn <rdf:type> <owl:Restriction>., _:wofnrvnn <owl:someValuesFrom> <ns:Car>.]
  Removed:
ns=http://www.example.org/ISB02#
-[_:wpirvrxq <owl:someValuesFrom> <ns:Car>., <ns:Driver> <owl:equivalentClass> _:wpirvrxq., _:wpirvrxq <owl:onProperty> <ns:hasCar>., _:wpirvrxq <rdf:type> <owl:Restriction>.]
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB03#
-[<ns:Italian> <rdfs:subClassOf> _:bufyrmdf., _:bufyrmdf <rdf:type> <owl:Restriction>., _:bufyrmdf <owl:onProperty> <ns:wasBorn>., _:bufyrmdf <owl:someValuesFrom> <ns:Italy>.]
   Inserted:
ns=http://www.example.org/ISB03#
-[_:esjctbuw <owl:onProperty> <ns:wasBorn>., <ns:Italian> <rdfs:subClassOf> _:esjctbuw., _:esjctbuw <owl:someValuesFrom> <ns:Italy>., _:esjctbuw <rdf:type> <owl:Restriction>.]
 Removed:
ns=http://www.example.org/ISB03#
-[_:hvmhkpyt <owl:allValuesFrom> <ns:Italy>., <ns:Italian> <owl:equivalentClass> _:hvmhkpyt., _:hvmhkpyt <rdf:type> <owl:Restriction>., _:hvmhkpyt <owl:onProperty> <ns:wasBorn>.]
  Removed:
ns=http://www.example.org/ISB03#
-[_:vbksuxwc <rdf:type> <owl:Restriction>., _:vbksuxwc <owl:allValuesFrom> <ns:Italy>., <ns:Italian> <owl:equivalentClass> _:vbksuxwc., _:vbksuxwc <owl:onProperty> <ns:wasBorn>.]
E21
(ISB04)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E22
(ISB05)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E23
(ISB06)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E24
(ISB07)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E25
(ISB08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB08#
-[_:fomglqex <owl:onProperty> <ns:hasName>., _:fomglqex <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:fomglqex., _:fomglqex <owl:hasValue> "^^xsd:string".]
-[<ns:Person> <rdfs:subClassOf> "".]
   Inserted:
ns=http://www.example.org/ISB08#
-[<ns:Person> <rdfs:subClassOf> _:pkqmvsot., _:pkqmvsot <owl:onProperty> <ns:hasName>., _:pkqmvsot <rdf:type> <owl:Restriction>., _:pkqmvsot <owl:hasValue> "^^xsd:string".]
-[<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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB09#
-[_:wwsqvjun <owl:onProperty> <ns:wrotePhDThesis>., _:wwsqvjun <rdf:type> <owl:Restriction>., _:wwsqvjun <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., <ns:Researcher> <rdfs:subClassOf> _:wwsqvjun.]
-[_:bdmattea <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:bdmattea., _:bdmattea <rdf:type> <owl:Restriction>., _:bdmattea <owl:hasValue> "^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISB09#
-[_:twbsamce <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:twbsamce <rdf:type> <owl:Restriction>., _:twbsamce <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:twbsamce.]
-[_:ubnibhqm <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:ubnibhqm., _:ubnibhqm <owl:hasValue> "^^xsd:string"., _:ubnibhqm <rdf:type> <owl:Restriction>.]
 Removed:
ns=http://www.example.org/ISB09#
-[<ns:Researcher> <owl:equivalentClass> _:fcxpddaa., _:fcxpddaa <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:fcxpddaa <rdf:type> <owl:Restriction>., _:fcxpddaa <owl:onProperty> <ns:wrotePhDThesis>.]
  Removed:
ns=http://www.example.org/ISB09#
-[_:hlvvyjtt <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <owl:equivalentClass> _:hlvvyjtt., _:hlvvyjtt <rdf:type> <owl:Restriction>., _:hlvvyjtt <owl:maxCardinality> "1^^xsd:nonNegativeInteger".]
E27
(ISB10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB10#
-[_:eeseqbcr <rdf:type> <owl:Restriction>., _:eeseqbcr <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:eeseqbcr <owl:onProperty> <ns:hasSSN>., <ns:Man> <rdfs:subClassOf> _:eeseqbcr.]
-[<ns:Man> <rdfs:subClassOf> _:eqknrfuo., _:eqknrfuo <owl:hasValue> "^^xsd:string"., _:eqknrfuo <rdf:type> <owl:Restriction>., _:eqknrfuo <owl:onProperty> <ns:hasSSN>.]
-[_:hyfjiftu <owl:minCardinality> "1^^xsd:nonNegativeInteger"., <ns:Man> <rdfs:subClassOf> _:hyfjiftu., _:hyfjiftu <rdf:type> <owl:Restriction>., _:hyfjiftu <owl:onProperty> <ns:hasSSN>.]
   Inserted:
ns=http://www.example.org/ISB10#
-[<ns:Man> <rdfs:subClassOf> _:bwuahkbl., _:bwuahkbl <rdf:type> <owl:Restriction>., _:bwuahkbl <owl:onProperty> <ns:hasSSN>., _:bwuahkbl <owl:maxCardinality> "1^^xsd:nonNegativeInteger".]
-[_:jqldessd <owl:hasValue> "^^xsd:string"., _:jqldessd <rdf:type> <owl:Restriction>., _:jqldessd <owl:onProperty> <ns:hasSSN>., <ns:Man> <rdfs:subClassOf> _:jqldessd.]
-[<ns:Man> <rdfs:subClassOf> _:bhvwutyu., _:bhvwutyu <owl:minCardinality> "1^^xsd:nonNegativeInteger"., _:bhvwutyu <owl:onProperty> <ns:hasSSN>., _:bhvwutyu <rdf:type> <owl:Restriction>.]
 Removed:
ns=http://www.example.org/ISB10#
-[_:crnspowb <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:crnspowb <rdf:type> <owl:Restriction>., _:crnspowb <owl:onProperty> <ns:hasSSN>., <ns:Man> <owl:equivalentClass> _:crnspowb.]
  Removed:
ns=http://www.example.org/ISB10#
-[<ns:Man> <owl:equivalentClass> _:euxmkcfi., _:euxmkcfi <owl:onProperty> <ns:hasSSN>., _:euxmkcfi <rdf:type> <owl:Restriction>., _:euxmkcfi <owl:cardinality> "1^^xsd:nonNegativeInteger".]
E28
(ISB11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB11#
-[_:xfimwqat <owl:hasValue> "^^xsd:string"., <ns:Researcher> <rdfs:subClassOf> _:xfimwqat., _:xfimwqat <rdf:type> <owl:Restriction>., _:xfimwqat <owl:onProperty> <ns:wrotePhDThesis>.]
-[_:nsqyweyx <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:nsqyweyx <rdf:type> <owl:Restriction>., _:nsqyweyx <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:nsqyweyx.]
-[<ns:Researcher> <rdfs:subClassOf> "".]
   Inserted:
ns=http://www.example.org/ISB11#
-[<ns:Researcher> <rdfs:subClassOf> _:ioypitvt., _:ioypitvt <owl:onProperty> <ns:wrotePhDThesis>., _:ioypitvt <rdf:type> <owl:Restriction>., _:ioypitvt <owl:hasValue> "^^xsd:string".]
-[_:dhqwgoyj <rdf:type> <owl:Restriction>., _:dhqwgoyj <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:dhqwgoyj <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:dhqwgoyj.]
-[<ns:Researcher> <rdfs:subClassOf> "".]
 Removed:
ns=http://www.example.org/ISB11#
-[<ns:Researcher> <owl:equivalentClass> _:fokxigda., _:fokxigda <rdf:type> <owl:Restriction>., _:fokxigda <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:fokxigda <owl:onProperty> <ns:wrotePhDThesis>.]
-[<ns:Researcher> <owl:equivalentClass> "".]
  Removed:
ns=http://www.example.org/ISB11#
-[_:dmioxftq <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:dmioxftq <rdf:type> <owl:Restriction>., _:dmioxftq <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <owl:equivalentClass> _:dmioxftq.]
-[<ns:Researcher> <owl:equivalentClass> "".]
E29
(ISB12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISB12#
-[<ns:ItalianMan> <owl:equivalentClass> _:sulcccvh., _:sulcccvh <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., _:sulcccvh <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> _:icbtcjba., _:icbtcjba <rdf:type> <owl:Class>., _:icbtcjba <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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E35
(ISD04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
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>.]
   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: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>.]
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 = SAME
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>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
  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>.]
E44
(ISE09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISG03#
-[<ns:hasHusband> <rdfs:domain> <ns:Woman>.]
-[<ns:hasHusband> <rdfs:range> <ns:Man>.]
  Removed:
ns=http://www.example.org/ISG03#
-[<ns:hasHusband> <rdfs:domain> <ns:Woman>.]
-[<ns:hasHusband> <rdfs:range> <ns:Man>.]
E52
(ISG04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG05#
-[<ns:hasTutor> <rdf:type> <owl:FunctionalProperty>.]
   Inserted:
ns=http://www.example.org/ISG05#
-[<ns:hasTutor> <rdf:type> <owl:FunctionalProperty>.]
 Removed:
ns=http://www.example.org/ISG05#
-[<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>.]
-[<ns:hasTutor> <rdfs:domain> <ns:Professor>.]
-[<ns:hasTutor> <rdfs:range> <ns:Student>.]
  Removed:
ns=http://www.example.org/ISG05#
-[<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>.]
-[<ns:hasTutor> <rdfs:domain> <ns:Professor>.]
-[<ns:hasTutor> <rdfs:range> <ns:Student>.]
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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISI04#
-[<ns:MarySmith> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
  Removed:
ns=http://www.example.org/ISI04#
-[<ns:MarySmith> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
E61
(ISI05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISI05#
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
  Removed:
ns=http://www.example.org/ISI05#
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
E62
(ISJ01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISJ01#
-[<diff:genid1> <ns:hasChild> <ns:John>.]
-[<diff:genid1> <rdf:type> <ns:Person>.]
  
 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>.]
 Removed:
ns=http://www.example.org/ISJ01#
-[<diff:genid1> <ns:hasChild> <ns:John>.]
-[<diff:genid1> <rdf:type> <ns:Person>.]
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISJ02#
-[<diff:genid1> <rdf:type> <ns:Parent>.]
-[<diff:genid1> <ns:hasChild> <ns:John>.]
  
 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>.]
 Removed:
ns=http://www.example.org/ISJ02#
-[<diff:genid1> <rdf:type> <ns:Parent>.]
-[<diff:genid1> <ns:hasChild> <ns:John>.]
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISJ03#
-[<diff:genid1> <rdf:type> <ns:Person>.]
-[<diff:genid1> <ns:hasName> "Peter^^xsd:string".]
  
 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:genid1> <ns:hasName> "Peter^^xsd:string".]
 Removed:
ns=http://www.example.org/ISJ03#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<diff:genid1> <rdf:type> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<diff:genid1> <ns:hasName> "Peter^^xsd:string".]
E65
(ISK01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL07#
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
  Removed:
ns=http://www.example.org/ISL07#
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL08#
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
  Removed:
ns=http://www.example.org/ISL08#
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL11#
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<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>.]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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 = C.E.		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = C.E.
   Inserted:
ns=http://www.example.org/ISL13#
-[<diff:genid1> <rdf:type> <ns:Child>.]
-[<diff:genid1> <ns:hasName> "Paul^^xsd:string".]
-[<ns:John> <ns:hasChild> <diff:genid1>.]
  
   Removed:
ns=http://www.example.org/ISL13#
-[<ns:genid-node1> <rdf:type> <ns:Child>.]
-[<ns:genid-node1> <ns:hasName> "Paul^^xsd:string".]
-[<ns:John> <ns:hasChild> <ns:genid-node1>.]
  
E81
(ISL14)		Interchange = N.E.
Execution = C.E.		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = C.E.
   Inserted:
ns=http://www.example.org/ISL14#
-[<diff:genid1> <rdf:type> <ns:Child>.]
-[<ns:John> <ns:hasChild> <diff:genid1>.]
-[<diff:genid1> <ns:hasName> "Paul^^xsd:string".]
  
   Removed:
ns=http://www.example.org/ISL14#
-[<ns:John> <ns:hasChild> <ns:genid1>.]
-[<ns:genid1> <rdf:type> <ns:Child>.]
-[<ns:genid1> <ns:hasName> "Paul^^xsd:string".]
  
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#