t1.owl
Details
```owl
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Annotation properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.geneontology.org/formats/oboInOwl#id -->
<owl:AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#id">
<rdfs:label>id</rdfs:label>
</owl:AnnotationProperty>
<!-- http://www.w3.org/2000/01/rdf-schema#label -->
<owl:AnnotationProperty rdf:about="http://www.w3.org/2000/01/rdf-schema#label"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Classes
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://purl.obolibrary.org/obo/X_1 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/X_1">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/X_2"/>
<oboInOwl:id>X:1</oboInOwl:id>
<rdfs:label>foo</rdfs:label>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/X_2 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/X_2">
<oboInOwl:id>X:2</oboInOwl:id>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/X_3 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/X_3">
<oboInOwl:id>X:3</oboInOwl:id>
</owl:Class>
</rdf:RDF>
</details>
t1.owl
<details>
```owl
<?xml version="1.0"?>
<rdf:RDF xmlns="http://purl.obolibrary.org/obo/TEMP#"
xml:base="http://purl.obolibrary.org/obo/TEMP"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:xml="http://www.w3.org/XML/1998/namespace"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:oboInOwl="http://www.geneontology.org/formats/oboInOwl#">
<owl:Ontology rdf:about="http://purl.obolibrary.org/obo/TEMP"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Annotation properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.geneontology.org/formats/oboInOwl#id -->
<owl:AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#id">
<rdfs:label>id</rdfs:label>
</owl:AnnotationProperty>
<!-- http://www.w3.org/2000/01/rdf-schema#label -->
<owl:AnnotationProperty rdf:about="http://www.w3.org/2000/01/rdf-schema#label"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Classes
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://purl.obolibrary.org/obo/X_1 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/X_1">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/X_3"/>
<oboInOwl:id>X:1</oboInOwl:id>
<rdfs:label>bar</rdfs:label>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/X_2 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/X_2">
<oboInOwl:id>X:2</oboInOwl:id>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/X_3 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/X_3">
<oboInOwl:id>X:3</oboInOwl:id>
</owl:Class>
</rdf:RDF>
<!-- Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi -->
java -jar target/ContoDiff-1.0-SNAPSHOT.jar -d -o changes.txt -oa t1.owl -ob t2.owl && cat changes.txt
yields
which is the correct interpretation of the logical axioms but maybe the annotation assertions are ignored? It seems from the paper they should be included?
t1.owl
Details
```owl</rdf:RDF>
yields
which is the correct interpretation of the logical axioms but maybe the annotation assertions are ignored? It seems from the paper they should be included?