# __init__
# ALL: 
@prefix ex: <http://example.net/namespace/ex#> .
@prefix cpt: <http://example.net/namespace/cpt#> .
@prefix sheet: <http://example.net/namespace/sheet#> .
@prefix : <http://example.net/namespace/default#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix gendifs: <http://jbusse.de/gendifs#> .


# __init__
# ALL: 
[ rdf:type owl:Ontology ] .



# SUBTAXON.TAXONOMY.a.01 ----
# docu: 
# TAXONOMY
#   Class-A


# SUBTAXON.TAXONOMY.a
# owl: declare class *Class-A* being a subclass of topConcept
:Class-A
   a owl:Class ;
   rdfs:subClassOf :topConcept .


# BY.0
# docu: --------------------
# Class-A
#   BY property-a-b SOME Class-P


# BY.a
# owl: declare *property-a-b* as a object property.
:property-a-b
   rdf:type owl:ObjectProperty .


# BY.b
# owl: declare *Class-P* as a owl:Class .
:Class-P
   a owl:Class .


# SUBTAXON.BY.a.03 ----
# docu: 
# Class-A
#   BY ... SOME ...
#      Class-B


# SUBTAXON.BY.a
# owl: declare class *Class-B* being a subclass of Class-A
:Class-B
   a owl:Class ;
   rdfs:subClassOf :Class-A .


# SOME.0 ----
# docu: 
# Class-A
#   BY property-a-b SOME Class-P
#       Class-B
#         SOME Class-Q


# SOME.b
# owl: declare *Class-Q* as a owl:Class
:Class-Q
   a owl:Class ;
   rdfs:subClassOf :Class-P .


# SUBTAXON.TAXONOMY.a.01 ----
# docu: 
# TAXONOMY
#   Subclass_CD


# SUBTAXON.TAXONOMY.a
# owl: declare class *Subclass_CD* being a subclass of topConcept
:Subclass_CD
   a owl:Class ;
   rdfs:subClassOf :topConcept .


# SUP.a
# owl: *INTERSECTION_1_969_000_247*: intersection of superiors, i.e. *intersect(Superclass_C, Superclass_D)*
:INTERSECTION_1_969_000_247
   a owl:Class ;
   rdfs:label "intersect(Superclass_C, Superclass_D)" ;
   owl:equivalentClass [ a owl:Class ;
      owl:intersectionOf (
          :Superclass_C :Superclass_D ) ] .



# SUP.b
# owl: *INTERSECTION_1_969_000_247* is a subclass of *Subclass_CD*
:INTERSECTION_1_969_000_247
   rdfs:subClassOf :Subclass_CD .



# SUPERTAXON.SUP.a.0 ----
# docu: 
# Subclass_CD
#   SUP
#      Superclass_C


# SUPERTAXON.SUP.a
# owl: declare class *Subclass_CD* being a subclass of Superclass_C
:Subclass_CD
   a owl:Class ;
   rdfs:subClassOf :Superclass_C .


# SUPERTAXON.SUP.a.0 ----
# docu: 
# Subclass_CD
#   SUP
#      Superclass_D


# SUPERTAXON.SUP.a
# owl: declare class *Subclass_CD* being a subclass of Superclass_D
:Subclass_CD
   a owl:Class ;
   rdfs:subClassOf :Superclass_D .


# SUBTAXON.TAXONOMY.a.01 ----
# docu: 
# TAXONOMY
#   Subject_R


# SUBTAXON.TAXONOMY.a
# owl: declare class *Subject_R* being a subclass of topConcept
:Subject_R
   a owl:Class ;
   rdfs:subClassOf :topConcept .


# OP.0 ----
# docu: 
# Subject_R
#   OP object-property-r-s


# OP.a
# owl: declare *object-property-r-s* as a object property.
:object-property-r-s
   rdf:type owl:ObjectProperty ;
   rdf:label "object-property-r-s" .


# SUBTAXON.OP.a.0 ----
# docu: 
# Subject_R
#   OP object-property-r-s
#      Object_S


# SUBTAXON.OP.a
# owl: declare class *Object_S* 
:Object_S
   a owl:Class .