@prefix : <http://example.net/namespace/default#> .
@prefix cpt: <http://example.net/namespace/cpt#> .
@prefix ex: <http://example.net/namespace/ex#> .
@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 skos: <http://www.w3.org/2004/02/skos/core#> .

cpt:Braunkohle a skos:Concept ;
    skos:broader cpt:Kohle .

cpt:Kohle-Dampf-Kraftwerk a skos:Concept ;
    skos:broader cpt:Dampfkraftwerk,
        cpt:Kohle-Kraftwerk,
        cpt:Stromerzeugung,
        cpt:topConcept .

cpt:Kraftwerk_BY_None_SOME_Arbeitsmittel a skos:Collection ;
    skos:member cpt:Dampfkraftwerk .

cpt:Kraftwerk_BY_None_SOME_Energieträger a skos:Collection ;
    skos:member cpt:Gas-Kraftwerk,
        cpt:Kohle-Kraftwerk,
        cpt:Windkraftwerk .

cpt:Kraftwerk_BY_None_SOME_Zweck a skos:Collection ;
    skos:member cpt:Stromerzeugung,
        cpt:Wärmeerzeugung .

cpt:Steinkohle a skos:Concept ;
    skos:broader cpt:Kohle .

:INTERSECTION_378_731_468 a owl:Class ;
    rdfs:label "intersect(Kohle-Kraftwerk, Dampfkraftwerk, Stromerzeugung)" ;
    rdfs:subClassOf :Kohle-Dampf-Kraftwerk ;
    owl:equivalentClass [ a owl:Class ;
            owl:intersectionOf ( :Kohle-Kraftwerk :Dampfkraftwerk :Stromerzeugung ) ] .

:None a owl:ObjectProperty .

:SOME_158_901_288_intersection a owl:Class ;
    rdfs:label "(BY topProperty SOME Dampf) INTERSECT Kraftwerk" ;
    rdfs:subClassOf :Dampfkraftwerk,
        :gendifs_intersections ;
    owl:equivalentClass [ a owl:Class ;
            owl:intersectionOf ( :SOME_158_901_288_restriction :Kraftwerk ) ] .

:SOME_1_228_848_intersection a owl:Class ;
    rdfs:label "(BY topProperty SOME Kohle) INTERSECT Kraftwerk" ;
    rdfs:subClassOf :Kohle-Kraftwerk,
        :gendifs_intersections ;
    owl:equivalentClass [ a owl:Class ;
            owl:intersectionOf ( :SOME_1_228_848_restriction :Kraftwerk ) ] .

:SOME_1_392_310_168_intersection a owl:Class ;
    rdfs:label "(BY topProperty SOME Wind) INTERSECT Kraftwerk" ;
    rdfs:subClassOf :Windkraftwerk,
        :gendifs_intersections ;
    owl:equivalentClass [ a owl:Class ;
            owl:intersectionOf ( :SOME_1_392_310_168_restriction :Kraftwerk ) ] .

:SOME_1_981_205_840_intersection a owl:Class ;
    rdfs:label "(BY topProperty SOME Gas) INTERSECT Kraftwerk" ;
    rdfs:subClassOf :Gas-Kraftwerk,
        :gendifs_intersections ;
    owl:equivalentClass [ a owl:Class ;
            owl:intersectionOf ( :SOME_1_981_205_840_restriction :Kraftwerk ) ] .

ex:Arbeitsmittel_1_696_041_476 a :Arbeitsmittel .

ex:Braunkohle_1_841_930_196 a :Braunkohle ;
    ex:classifyLike ex:Kohle_1_841_930_196 .

ex:Dampfkraftwerk_181_255_198 a :Dampfkraftwerk .

ex:Dampfkraftwerk_1_615_266_271 a :Dampfkraftwerk .

ex:Energieträger_1_806_234_666 a :Energieträger .

ex:Gas-Kraftwerk_1_792_618_758 a :Gas-Kraftwerk .

ex:Kohle-Dampf-Kraftwerk_1_046_766_781 a :Kohle-Dampf-Kraftwerk .

ex:Kohle-Dampf-Kraftwerk_378_731_468 a :Dampfkraftwerk,
        :Kohle-Kraftwerk,
        :Stromerzeugung ;
    ex:classifyLike ex:Kohle-Dampf-Kraftwerk_378_731_468_target .

ex:Kohle-Kraftwerk_1_447_287_149 a :Kohle-Kraftwerk .

ex:Kohle-Kraftwerk_407_830_834 a :Kohle-Kraftwerk .

ex:Kohle_152_685_348 a :Kohle .

ex:Kraftwerk_158_901_288_GAP1 a :GAP1,
        :Kraftwerk .

ex:Kraftwerk_158_901_288_GAP2 a :GAP2,
        :Kraftwerk ;
    :topProperty ex:Dampf_158_901_288 ;
    ex:classifyLike ex:Dampfkraftwerk_158_901_288_target .

ex:Kraftwerk_1_228_848_GAP1 a :GAP1,
        :Kraftwerk .

ex:Kraftwerk_1_228_848_GAP2 a :GAP2,
        :Kraftwerk ;
    :topProperty ex:Kohle_1_228_848 ;
    ex:classifyLike ex:Kohle-Kraftwerk_1_228_848_target .

ex:Kraftwerk_1_392_310_168_GAP1 a :GAP1,
        :Kraftwerk .

ex:Kraftwerk_1_392_310_168_GAP2 a :GAP2,
        :Kraftwerk ;
    :topProperty ex:Wind_1_392_310_168 ;
    ex:classifyLike ex:Windkraftwerk_1_392_310_168_target .

ex:Kraftwerk_1_981_205_840_GAP1 a :GAP1,
        :Kraftwerk .

ex:Kraftwerk_1_981_205_840_GAP2 a :GAP2,
        :Kraftwerk ;
    :topProperty ex:Gas_1_981_205_840 ;
    ex:classifyLike ex:Gas-Kraftwerk_1_981_205_840_target .

ex:Kraftwerk_850_090_954 a :Kraftwerk .

ex:Steinkohle_1_608_951_113 a :Steinkohle ;
    ex:classifyLike ex:Kohle_1_608_951_113 .

ex:Stromerzeugung_256_812_990 a :Stromerzeugung .

ex:Stromerzeugung_737_450_211 a :Stromerzeugung .

ex:Windkraftwerk_254_120_992 a :Windkraftwerk .

ex:Wärmeerzeugung_1_076_902_905 a :Wärmeerzeugung .

ex:Zweck_1_520_366_842 a :Zweck .

ex:classifyLike a owl:ObjectProperty .

cpt:Gas-Kraftwerk a skos:Concept ;
    skos:broader cpt:Kraftwerk .

cpt:Windkraftwerk a skos:Concept ;
    skos:broader cpt:Kraftwerk .

cpt:Wärmeerzeugung a skos:Concept ;
    skos:broader cpt:Kraftwerk .

:Braunkohle a owl:Class ;
    rdfs:subClassOf :Kohle .

:SOME_158_901_288_restriction a owl:Class ;
    rdfs:label "BY topProperty SOME Dampf" ;
    rdfs:subClassOf :gendifs_restrictions ;
    owl:equivalentClass [ a owl:Restriction ;
            owl:onProperty :topProperty ;
            owl:someValuesFrom :Dampf ] .

:SOME_1_228_848_restriction a owl:Class ;
    rdfs:label "BY topProperty SOME Kohle" ;
    rdfs:subClassOf :gendifs_restrictions ;
    owl:equivalentClass [ a owl:Restriction ;
            owl:onProperty :topProperty ;
            owl:someValuesFrom :Kohle ] .

:SOME_1_392_310_168_restriction a owl:Class ;
    rdfs:label "BY topProperty SOME Wind" ;
    rdfs:subClassOf :gendifs_restrictions ;
    owl:equivalentClass [ a owl:Restriction ;
            owl:onProperty :topProperty ;
            owl:someValuesFrom :Wind ] .

:SOME_1_981_205_840_restriction a owl:Class ;
    rdfs:label "BY topProperty SOME Gas" ;
    rdfs:subClassOf :gendifs_restrictions ;
    owl:equivalentClass [ a owl:Restriction ;
            owl:onProperty :topProperty ;
            owl:someValuesFrom :Gas ] .

:Steinkohle a owl:Class ;
    rdfs:subClassOf :Kohle .

:Wärmeerzeugung a owl:Class ;
    rdfs:subClassOf :Kraftwerk .

:Zweck a owl:Class .

ex:Dampf_158_901_288 a :Dampf .

ex:Dampfkraftwerk_158_901_288_target a :Dampfkraftwerk .

ex:Gas-Kraftwerk_1_981_205_840_target a :Gas-Kraftwerk .

ex:Gas_1_981_205_840 a :Gas .

ex:Kohle-Dampf-Kraftwerk_378_731_468_target a :Kohle-Dampf-Kraftwerk .

ex:Kohle-Kraftwerk_1_228_848_target a :Kohle-Kraftwerk .

ex:Kohle_1_228_848 a :Kohle .

ex:Kohle_1_608_951_113 a :Kohle .

ex:Kohle_1_841_930_196 a :Kohle .

ex:Wind_1_392_310_168 a :Wind .

ex:Windkraftwerk_1_392_310_168_target a :Windkraftwerk .

cpt:Dampfkraftwerk a skos:Concept ;
    skos:broader cpt:Kraftwerk .

cpt:Kohle a skos:Concept ;
    skos:broader cpt:topConcept .

cpt:Kohle-Kraftwerk a skos:Concept ;
    skos:broader cpt:Kraftwerk .

cpt:Stromerzeugung a skos:Concept ;
    skos:broader cpt:Kraftwerk .

:Arbeitsmittel a owl:Class .

:Dampf a owl:Class ;
    rdfs:subClassOf :Arbeitsmittel .

:Gas a owl:Class ;
    rdfs:subClassOf :Energieträger .

:Wind a owl:Class ;
    rdfs:subClassOf :Energieträger .

:Gas-Kraftwerk a owl:Class ;
    rdfs:subClassOf :Kraftwerk .

:Kohle-Dampf-Kraftwerk a owl:Class ;
    rdfs:subClassOf :Dampfkraftwerk,
        :Kohle-Kraftwerk,
        :Stromerzeugung,
        :topConcept .

:Windkraftwerk a owl:Class ;
    rdfs:subClassOf :Kraftwerk .

:Energieträger a owl:Class .

:Stromerzeugung a owl:Class ;
    rdfs:subClassOf :Kraftwerk .

cpt:Kraftwerk a skos:Concept ;
    skos:broader cpt:topConcept .

:Dampfkraftwerk a owl:Class ;
    rdfs:subClassOf :Kraftwerk .

:Kohle a owl:Class ;
    rdfs:subClassOf :Energieträger,
        :topConcept .

:Kohle-Kraftwerk a owl:Class ;
    rdfs:subClassOf :Kraftwerk .

:Kraftwerk a owl:Class ;
    rdfs:subClassOf :topConcept .

[] a owl:Ontology .

[] owl:imports <http://www.w3.org/2004/02/skos/core> .