axiom for qt

Author: thnlrd

src/ontology/hto-edit.owl

@@ -606,10 +606,32 @@ Auch erhöhte Gaskühlung durch ventilation."""@de ,
 
 ###  https://w3id.org/pmd/hto/HTO_0000022
 <https://w3id.org/pmd/hto/HTO_0000022> rdf:type owl:Class ;
-                                       rdfs:subClassOf <https://w3id.org/pmd/co/PMD_0000779> ;
+                                       rdfs:subClassOf _:genid50 ;
+                                       <http://purl.obolibrary.org/obo/IAO_0000116> "the axiom should also include the order of the process (hardening precedes tempering)"@en ;
                                        rdfs:label "Vergüten"@de ,
                                                   "quenching and tempering"@en ;
-                                       <http://www.w3.org/2004/02/skos/core#altLabel> "QT"@en .
+                                       <http://www.w3.org/2004/02/skos/core#altLabel> "QT"@en ;
+                                       <http://www.w3.org/2004/02/skos/core#definition> "QT is a heat treatment process in which a hardening process is followed by a tempering process."@en ,
+                                                                                        "Vergüten ist ein Wärmebehandlungsverfahren bei dem auf ein Härtungsprozess ein Anlassprozess folgt."@de .
+
+_:genid50 owl:intersectionOf ( <https://w3id.org/pmd/co/PMD_0000779>
+                                [ rdf:type owl:Restriction ;
+                                  owl:onProperty <http://purl.obolibrary.org/obo/BFO_0000051> ;
+                                  owl:someValuesFrom <https://w3id.org/pmd/hto/Hardening>
+                                ]
+                                [ rdf:type owl:Restriction ;
+                                  owl:onProperty <http://purl.obolibrary.org/obo/BFO_0000051> ;
+                                  owl:someValuesFrom <https://w3id.org/pmd/hto/Tempering>
+                                ]
+                              ) ;
+           rdf:type owl:Class .
+
+[ rdf:type owl:Axiom ;
+   owl:annotatedSource <https://w3id.org/pmd/hto/HTO_0000022> ;
+   owl:annotatedProperty rdfs:subClassOf ;
+   owl:annotatedTarget _:genid50 ;
+   <http://purl.obolibrary.org/obo/IAO_0000116> "this axiom should also include the order of the process (hardening precedes tempering)"
+ ] .
 
 
 ###  https://w3id.org/pmd/hto/HTO_0000023