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

Ontology: <http://example.org/fido_and_simba>
Annotations: 
    rdfs:comment 
"We define a simple taxonomy, with each taxon as both an owl class and an individual, and set up equivalency relationships.
When we declare that an individual is in a class, either by type (Simba the Tiger) or by property (Fido the Dog), the reasoner
infers all of the correct taxon membership artifacts, and the inverse - for each taxon, the individuals that it includes."

ObjectProperty: owl:topObjectProperty

ObjectProperty: sample:inTaxon
    InverseOf: 
        sample:includes
    
ObjectProperty: sample:includes
    InverseOf: 
        sample:inTaxon
        
Class: sample:Taxon

Class: sample:Organism
    EquivalentTo: 
        sample:inTaxon value sample:tOrganism
    
Class: sample:Animal
    EquivalentTo: 
        sample:inTaxon value sample:tAnimal
    SubClassOf: 
        sample:Organism
    
Class: sample:Tiger
    EquivalentTo: 
        sample:inTaxon value sample:tTiger
    SubClassOf: 
        sample:Animal
    
Class: sample:Dog
    EquivalentTo: 
        sample:inTaxon value sample:tDog
    SubClassOf: 
        sample:Animal
        
Individual: sample:tOrganism
    Types: 
        sample:Taxon
    
Individual: sample:tAnimal
    Types: 
        sample:Taxon
    
Individual: sample:tTiger
    Types: 
        sample:Taxon
    
Individual: sample:tDog
    Types: 
        sample:Taxon
    
Individual: sample:Simba
    Types: 
        sample:Tiger
    
Individual: sample:Fido
    Facts:  
     sample:inTaxon  sample:tDog