-
Notifications
You must be signed in to change notification settings - Fork 4
Open
Description
t1.owl
```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
move X_1 is_a X_2 X_3
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?
Metadata
Metadata
Assignees
Labels
No labels