# Base: http://www.owl-ontologies.com/unnamed.owl#
@prefix default:  <http://www.owl-ontologies.com/unnamed.owl#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .

default:Fault_in_motor
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:intersectionOf (default:Fault [ a       owl:Restriction ;
                            owl:onProperty default:has_locus ;
                            owl:someValuesFrom
                                    [ a       owl:Class ;
                                      owl:unionOf (default:Motor [ a       owl:Restriction ;
                                                  owl:onProperty default:is_part_of ;
                                                  owl:someValuesFrom default:Motor
                                                ])
                                    ]
                          ])
              ] .

<http://www.owl-ontologies.com/unnamed.owl>
      a       owl:Ontology .

default:Part_of_car_directly
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Restriction ;
                owl:onProperty default:is_part_of_directly ;
                owl:someValuesFrom default:Car
              ] .

default:Motor
      a       owl:Class ;
      rdfs:subClassOf default:Item ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:onProperty default:is_part_of_directly ;
                owl:someValuesFrom default:Car
              ] .

default:Fault_in_car
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:intersectionOf (default:Fault [ a       owl:Restriction ;
                            owl:onProperty default:has_locus ;
                            owl:someValuesFrom
                                    [ a       owl:Class ;
                                      owl:unionOf (default:Car [ a       owl:Restriction ;
                                                  owl:onProperty default:is_part_of ;
                                                  owl:someValuesFrom default:Car
                                                ])
                                    ]
                          ])
              ] .

default:Fault_in_headlight
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:intersectionOf (default:Fault [ a       owl:Restriction ;
                            owl:onProperty default:has_locus ;
                            owl:someValuesFrom
                                    [ a       owl:Class ;
                                      owl:unionOf (default:Headlight [ a       owl:Restriction ;
                                                  owl:onProperty default:is_part_of ;
                                                  owl:someValuesFrom default:Headlight
                                                ])
                                    ]
                          ])
              ] .

default:Part_of_car
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Restriction ;
                owl:onProperty default:is_part_of ;
                owl:someValuesFrom default:Car
              ] .

default:Headlight_bulb
      a       owl:Class ;
      rdfs:subClassOf default:Item ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:onProperty default:is_part_of_directly ;
                owl:someValuesFrom default:Headlight
              ] .

default:Part_of_car_reflexive
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:unionOf (default:Car [ a       owl:Restriction ;
                            owl:onProperty default:is_part_of ;
                            owl:someValuesFrom default:Car
                          ])
              ] .

default:Cyllinder_head
      a       owl:Class ;
      rdfs:subClassOf default:Item ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:onProperty default:is_part_of_directly ;
                owl:someValuesFrom default:Cyllinder
              ] .

default:Tire
      a       owl:Class ;
      rdfs:subClassOf default:Item ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:onProperty default:is_part_of_directly ;
                owl:someValuesFrom default:Wheel
              ] .

default:has_locus
      a       owl:ObjectProperty ;
      owl:inverseOf default:is_locus_of .

default:is_part_of_directly
      a       owl:ObjectProperty ;
      rdfs:subPropertyOf default:is_part_of ;
      owl:inverseOf default:has_part_directly .

default:Car
      a       owl:Class ;
      rdfs:subClassOf default:Item .

default:Part_of_cyllinder_head_reflexive
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:unionOf (default:Cyllinder_head [ a       owl:Restriction ;
                            owl:onProperty default:is_part_of ;
                            owl:someValuesFrom default:Cyllinder_head
                          ])
              ] .

default:is_part_of
      a       owl:TransitiveProperty , owl:ObjectProperty ;
      rdfs:domain default:Item ;
      rdfs:range default:Item ;
      owl:inverseOf default:has_part .

default:Wheel
      a       owl:Class ;
      rdfs:subClassOf default:Item ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:onProperty default:is_part_of_directly ;
                owl:someValuesFrom default:Car
              ] .

default:Cyllinder
      a       owl:Class ;
      rdfs:subClassOf default:Item ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:onProperty default:is_part_of_directly ;
                owl:someValuesFrom default:Motor
              ] .

default:Fault_in_headlight_bulb
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:intersectionOf (default:Fault [ a       owl:Restriction ;
                            owl:onProperty default:has_locus ;
                            owl:someValuesFrom
                                    [ a       owl:Class ;
                                      owl:unionOf (default:Headlight_bulb [ a       owl:Restriction ;
                                                  owl:onProperty default:is_part_of ;
                                                  owl:someValuesFrom default:Headlight_bulb
                                                ])
                                    ]
                          ])
              ] .

default:Fault_in_cyllinder
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:intersectionOf (default:Fault [ a       owl:Restriction ;
                            owl:onProperty default:has_locus ;
                            owl:someValuesFrom
                                    [ a       owl:Class ;
                                      owl:unionOf (default:Cyllinder [ a       owl:Restriction ;
                                                  owl:onProperty default:is_part_of ;
                                                  owl:someValuesFrom default:Cyllinder
                                                ])
                                    ]
                          ])
              ] .

default:Fault_in_wheel
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:intersectionOf (default:Fault [ a       owl:Restriction ;
                            owl:onProperty default:has_locus ;
                            owl:someValuesFrom
                                    [ a       owl:Class ;
                                      owl:unionOf (default:Wheel [ a       owl:Restriction ;
                                                  owl:onProperty default:is_part_of ;
                                                  owl:someValuesFrom default:Wheel
                                                ])
                                    ]
                          ])
              ] .

default:Fault_in_tire
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:intersectionOf (default:Fault [ a       owl:Restriction ;
                            owl:onProperty default:has_locus ;
                            owl:someValuesFrom
                                    [ a       owl:Class ;
                                      owl:unionOf (default:Tire [ a       owl:Restriction ;
                                                  owl:onProperty default:is_part_of ;
                                                  owl:someValuesFrom default:Tire
                                                ])
                                    ]
                          ])
              ] .

default:Part_of_motor_reflexive
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:unionOf (default:Motor [ a       owl:Restriction ;
                            owl:onProperty default:is_part_of ;
                            owl:someValuesFrom default:Motor
                          ])
              ] .

default:has_part_directly
      a       owl:ObjectProperty ;
      rdfs:subPropertyOf default:has_part ;
      owl:inverseOf default:is_part_of_directly .

default:Headlight
      a       owl:Class ;
      rdfs:subClassOf default:Item ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:onProperty default:is_part_of_directly ;
                owl:someValuesFrom default:Car
              ] .

default:Part_of_cyllinder_reflexive
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:unionOf (default:Cyllinder [ a       owl:Restriction ;
                            owl:onProperty default:is_part_of ;
                            owl:someValuesFrom default:Cyllinder
                          ])
              ] .

default:has_part
      a       owl:TransitiveProperty , owl:ObjectProperty ;
      rdfs:domain default:Item ;
      rdfs:range default:Item ;
      owl:inverseOf default:is_part_of .

default:Fault
      a       owl:Class .

default:Fault_in_cyllinder_head
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:intersectionOf (default:Fault [ a       owl:Restriction ;
                            owl:onProperty default:has_locus ;
                            owl:someValuesFrom
                                    [ a       owl:Class ;
                                      owl:unionOf (default:Cyllinder_head [ a       owl:Restriction ;
                                                  owl:onProperty default:is_part_of ;
                                                  owl:someValuesFrom default:Cyllinder_head
                                                ])
                                    ]
                          ])
              ] .

default:Item
      a       owl:Class .

default:is_locus_of
      a       owl:ObjectProperty ;
      owl:inverseOf default:has_locus .