example2_repair.owl

Prefix: : <>
Prefix: owl: <http://www.w3.org/2002/07/owl#>
Prefix: rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
Prefix: rdfs: <http://www.w3.org/2000/01/rdf-schema#>
Prefix: xml: <http://www.w3.org/XML/1998/namespace>
Prefix: xsd: <http://www.w3.org/2001/XMLSchema#>



Ontology: 

ObjectProperty: r

    
Class: A

    SubClassOf: 
        X1
    
    
Class: X1

    SubClassOf: 
        A,
        r some X2
    
    
Class: X2

    SubClassOf: 
        r some X3
    
    
Class: X3

    SubClassOf: 
        A,
        r some X3