@prefix : <http://onto.fel.cvut.cz/ontologies/stamp-constraints#> .
@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#> .
@base <http://onto.fel.cvut.cz/ontologies/stamp-constraints> .

<http://onto.fel.cvut.cz/ontologies/stamp-constraints> rdf:type owl:Ontology ;
                                                        owl:versionIRI <http://onto.fel.cvut.cz/ontologies/stamp-constraints/0.0.1> .

#################################################################
#    Object Properties
#################################################################

###  http://onto.fel.cvut.cz/ontologies/stamp/controls
<http://onto.fel.cvut.cz/ontologies/stamp/controls> rdf:type owl:ObjectProperty .


#################################################################
#    Classes
#################################################################

###  http://onto.fel.cvut.cz/ontologies/stamp/constraint
<http://onto.fel.cvut.cz/ontologies/stamp/constraint> rdf:type owl:Class ;
                                                      rdfs:subClassOf [ rdf:type owl:Restriction ;
                                                                        owl:onProperty <http://onto.fel.cvut.cz/ontologies/stamp/controls> ;
                                                                        owl:someValuesFrom <http://onto.fel.cvut.cz/ontologies/stamp/hazard>
                                                                      ] .


###  http://onto.fel.cvut.cz/ontologies/stamp/hazard
<http://onto.fel.cvut.cz/ontologies/stamp/hazard> rdf:type owl:Class .


###  Generated by the OWL API (version 5.1.7) https://github.com/owlcs/owlapi/