@prefix : <http://w3id.org/devops-infra/product#> .
@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://w3id.org/devops-infra/product> .

<http://w3id.org/devops-infra/product> rdf:type owl:Ontology ;
                                        owl:versionIRI <http://w3id.org/devops-infra/product/1.0.0> ;
                                        owl:imports <http://w3id.org/devops-infra/core/1.0.0> ,
                                                    <http://www.w3.org/2004/02/skos/core> ;
                                        <http://purl.org/dc/elements/1.1/creator> "David Chaves-Fraga (Ontology Engineering Group - Universidad Politécnica de Madrid)" ,
                                                                                  "Hu Peng (Huawei Research Ireland)" ,
                                                                                  "Jhon Toledo (Ontology Engineering Group - Universidad Politécnica de Madrid)" ,
                                                                                  "José Mora (Huawei Research Ireland)" ,
                                                                                  "Julián Arenas-Guerrero (Ontology Engineering Group - Universidad Politécnica de Madrid)" ,
                                                                                  "Mingxue Wang (Huawei Research Ireland)" ,
                                                                                  "Nicholas Burrett (Huawei Research Ireland)" ,
                                                                                  "Oscar Corcho (Ontology Engineering Group - Universidad Politécnica de Madrid)" ,
                                                                                  "Puchao Zhang (Huawei Research Ireland)" ,
                                                                                  "Raúl Alcázar (Ontology Engineering Group - Universidad Politécnica de Madrid)" ;
                                        <http://purl.org/dc/elements/1.1/identifier> "http://w3id.org/devops-infra/product" ;
                                        <http://purl.org/dc/elements/1.1/title> "Ontology for the representation of the business offering of a company, including the services and microservices that are being used to provide such business offering"@en ;
                                        <http://purl.org/dc/terms/hasFormat> "http://w3id.org/devops-infra/product.owl" ;
                                        <http://purl.org/dc/terms/issued> "2021-04-16" ;
                                        <http://purl.org/dc/terms/license> "https://creativecommons.org/licenses/by/4.0" ;
                                        <http://purl.org/vocab/vann/preferredNamespacePrefix> "devopsprod" ;
                                        <http://purl.org/vocab/vann/preferredNamespaceUri> "http://w3id.org/devops-infra/product#" ;
                                        rdfs:comment "This ontology has been created in the context of a collaboration between the Ontology Engineering Group and Huawei Research Ireland" ;
                                        owl:versionInfo "First official release"@en .

#################################################################
#    Annotation properties
#################################################################

###  http://purl.org/dc/elements/1.1/creator
<http://purl.org/dc/elements/1.1/creator> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/identifier
<http://purl.org/dc/elements/1.1/identifier> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/title
<http://purl.org/dc/elements/1.1/title> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/hasFormat
<http://purl.org/dc/terms/hasFormat> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/issued
<http://purl.org/dc/terms/issued> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/license
<http://purl.org/dc/terms/license> rdf:type owl:AnnotationProperty .


###  http://purl.org/vocab/vann/preferredNamespacePrefix
<http://purl.org/vocab/vann/preferredNamespacePrefix> rdf:type owl:AnnotationProperty .


###  http://purl.org/vocab/vann/preferredNamespaceUri
<http://purl.org/vocab/vann/preferredNamespaceUri> rdf:type owl:AnnotationProperty .


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

###  http://w3id.org/devops-infra/core#dependsOn
<http://w3id.org/devops-infra/core#dependsOn> rdf:type owl:ObjectProperty .


###  http://w3id.org/devops-infra/data-center#hostedInDataCenter
<http://w3id.org/devops-infra/data-center#hostedInDataCenter> rdf:type owl:ObjectProperty .


###  http://w3id.org/devops-infra/organisation#scope
<http://w3id.org/devops-infra/organisation#scope> rdf:type owl:ObjectProperty .


###  http://w3id.org/devops-infra/organisation#site
<http://w3id.org/devops-infra/organisation#site> rdf:type owl:ObjectProperty .


###  http://w3id.org/devops-infra/organisation#tenant
<http://w3id.org/devops-infra/organisation#tenant> rdf:type owl:ObjectProperty .


###  http://w3id.org/devops-infra/product#calls
:calls rdf:type owl:ObjectProperty ;
       rdfs:subPropertyOf <http://w3id.org/devops-infra/core#dependsOn> ;
       rdfs:domain [ rdf:type owl:Class ;
                     owl:unionOf ( :Service
                                   :ServiceInstance
                                 )
                   ] ;
       rdfs:range [ rdf:type owl:Class ;
                    owl:unionOf ( :MicroService
                                  :MicroServiceInstance
                                  :Service
                                  :ServiceInstance
                                )
                  ] ;
       rdfs:comment "A service or a service instance may call other services or microservices, or their corresponding instances"@en ;
       rdfs:label "calls"@en .


###  http://w3id.org/devops-infra/product#clusterType
:clusterType rdf:type owl:ObjectProperty ;
             rdfs:domain :ServiceCluster ;
             rdfs:range [ owl:intersectionOf ( <http://www.w3.org/2004/02/skos/core#Concept>
                                               [ rdf:type owl:Restriction ;
                                                 owl:onProperty <http://www.w3.org/2004/02/skos/core#inScheme> ;
                                                 owl:hasValue <http://w3id.org/devops-infra/kos/cluster-type>
                                               ]
                                             ) ;
                          rdf:type owl:Class
                        ] ;
             rdfs:comment "The type of a Service Cluster. The allowed values will be represented in a SKOS codelist. They can be, for example, production, redundancy, grey, etc."@en ;
             rdfs:label "cluster type"@en .


###  http://w3id.org/devops-infra/product#deployedInstanceOf
:deployedInstanceOf rdf:type owl:ObjectProperty ;
                    rdfs:domain [ rdf:type owl:Class ;
                                  owl:unionOf ( :BusinessProductInstance
                                                :MicroServiceInstance
                                                :ServiceInstance
                                              )
                                ] ;
                    rdfs:range [ rdf:type owl:Class ;
                                 owl:unionOf ( :BusinessProduct
                                               :MicroService
                                               :Service
                                             )
                               ] ;
                    rdfs:comment "A microservice instance, a service instance or a business product instance are instances of microservices, services or business products deployed in some infrastructure"@en ;
                    rdfs:label "deployed instance of"@en .


###  http://w3id.org/devops-infra/product#hasProductOffering
:hasProductOffering rdf:type owl:ObjectProperty ;
                    rdfs:domain :BusinessProduct ;
                    rdfs:range :ProductOffering ;
                    rdfs:label "A Business Product may have a number of commercial product offerings, which are usually made available in a product catalogue"@en ,
                               "has product offering"@en .


###  http://w3id.org/devops-infra/product#hasProductVersion
:hasProductVersion rdf:type owl:ObjectProperty ;
                   rdfs:domain :ProductOffering ;
                   rdfs:range :ProductVersion ;
                   rdfs:comment "A Product Offering may have different Product Versions offered in the corresponding catalogue"@en ;
                   rdfs:label "has product version"@en .


###  http://w3id.org/devops-infra/product#offeredBy
:offeredBy rdf:type owl:ObjectProperty ;
           rdfs:subPropertyOf <http://w3id.org/devops-infra/organisation#scope> ;
           rdfs:range <http://w3id.org/devops-infra/organisation#Scope> ;
           rdfs:comment "Business products, product offerings and services are offered by a scope (and its corresponding business department)"@en ;
           rdfs:label "offered by"@en .


###  http://w3id.org/devops-infra/product#runsInServiceCluster
:runsInServiceCluster rdf:type owl:ObjectProperty ;
                      rdfs:domain :MicroService ;
                      rdfs:range :ServiceCluster ;
                      rdfs:comment "A Microservice may run in a service cluster"@en ;
                      rdfs:label "runs in service cluster"@en .


###  http://w3id.org/devops-infra/product#serviceType
:serviceType rdf:type owl:ObjectProperty ;
             rdfs:range [ owl:intersectionOf ( <http://www.w3.org/2004/02/skos/core#Concept>
                                               [ rdf:type owl:Restriction ;
                                                 owl:onProperty <http://www.w3.org/2004/02/skos/core#inScheme> ;
                                                 owl:hasValue <http://w3id.org/devops-infra/kos/service-type>
                                               ]
                                             ) ;
                          rdf:type owl:Class
                        ] ;
             rdfs:comment "The type of a service. It can be any of the following, according to the corresponding SKOS Concept Scheme: common, middleware, HWS"@en ;
             rdfs:label "service type"@en .


###  http://w3id.org/devops-infra/product#uses
:uses rdf:type owl:ObjectProperty ;
      rdfs:subPropertyOf <http://w3id.org/devops-infra/core#dependsOn> ;
      rdfs:range :Service ;
      rdfs:comment "A Product Offering or a Business Product use services"@en ;
      rdfs:label "uses"@en .


###  http://w3id.org/devops-infra/product#usesServiceModule
:usesServiceModule rdf:type owl:ObjectProperty ;
                   rdfs:domain [ rdf:type owl:Class ;
                                 owl:unionOf ( :MicroService
                                               :Service
                                             )
                               ] ;
                   rdfs:range <http://w3id.org/devops-infra/software#ServiceModule> ;
                   rdfs:comment "The service modules that are being used by a product, a product offering, a service or a microservice"@en ;
                   rdfs:label "uses service module"@en .


###  http://w3id.org/devops-infra/product#usesServiceModuleVersion
:usesServiceModuleVersion rdf:type owl:ObjectProperty ;
                          rdfs:domain :ProductVersion ;
                          rdfs:range <http://w3id.org/devops-infra/software#ServiceModuleVersion> ;
                          rdfs:comment "A product version may use several versions of the service modules that are being used by the product"@en ;
                          rdfs:label "uses service module version"@en .


###  http://w3id.org/devops-infra/server#autoScalingHostConfig
<http://w3id.org/devops-infra/server#autoScalingHostConfig> rdf:type owl:ObjectProperty ;
                                                            rdfs:domain :MicroService ;
                                                            rdfs:range <http://w3id.org/devops-infra/server#AutoScalingHostConfig> ;
                                                            rdfs:comment "Auto scaling host configuration for a microservice"@en ;
                                                            rdfs:label "autoscaling host config"@en .


###  http://w3id.org/devops-infra/server#balancedBy
<http://w3id.org/devops-infra/server#balancedBy> rdf:type owl:ObjectProperty .


###  http://w3id.org/devops-infra/server#deployedInServer
<http://w3id.org/devops-infra/server#deployedInServer> rdf:type owl:ObjectProperty .


#################################################################
#    Data properties
#################################################################

###  http://w3id.org/devops-infra/product#ip
:ip rdf:type owl:DatatypeProperty ;
    rdfs:domain [ rdf:type owl:Class ;
                  owl:unionOf ( :MicroServiceInstance
                                :ServiceInstance
                              )
                ] ;
    rdfs:range xsd:string ;
    rdfs:comment "IP address where a service or microservice instance is running"@en ;
    rdfs:label "IP"@en .


###  http://w3id.org/devops-infra/product#isDeleted
:isDeleted rdf:type owl:DatatypeProperty ;
           rdfs:range xsd:boolean ;
           rdfs:comment "Property used to determine whether a (business) product offering, a service or a microservice are currently running or available, or they have been deleted from the corresponding catalogues and/or infrastructure"@en ;
           rdfs:label "is deleted"@en .


###  http://w3id.org/devops-infra/product#port
:port rdf:type owl:DatatypeProperty ;
      rdfs:domain [ rdf:type owl:Class ;
                    owl:unionOf ( :MicroServiceInstance
                                  :ServiceInstance
                                )
                  ] ;
      rdfs:range xsd:string ;
      rdfs:comment "Port where a service instance or microservice instance is running"@en ;
      rdfs:label "port"@en .


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

###  http://w3id.org/devops-infra/core#Resource
<http://w3id.org/devops-infra/core#Resource> rdf:type owl:Class .


###  http://w3id.org/devops-infra/data-center#DataCenter
<http://w3id.org/devops-infra/data-center#DataCenter> rdf:type owl:Class .


###  http://w3id.org/devops-infra/organisation#Scope
<http://w3id.org/devops-infra/organisation#Scope> rdf:type owl:Class .


###  http://w3id.org/devops-infra/organisation#Site
<http://w3id.org/devops-infra/organisation#Site> rdf:type owl:Class .


###  http://w3id.org/devops-infra/organisation#Tenant
<http://w3id.org/devops-infra/organisation#Tenant> rdf:type owl:Class .


###  http://w3id.org/devops-infra/product#BusinessProduct
:BusinessProduct rdf:type owl:Class ;
                 rdfs:subClassOf <http://w3id.org/devops-infra/core#Resource> ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :hasProductOffering ;
                                   owl:allValuesFrom :ProductOffering
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :offeredBy ;
                                   owl:allValuesFrom <http://w3id.org/devops-infra/organisation#Scope>
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :uses ;
                                   owl:allValuesFrom :Service
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :isDeleted ;
                                   owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                   owl:onDataRange xsd:boolean
                                 ] ;
                 rdfs:comment "A Business Product that is offered in the catalogue of an organisation (e.g., a content delivery network, an application, etc.)"@en ;
                 rdfs:label "Business Product"@en .


###  http://w3id.org/devops-infra/product#BusinessProductInstance
:BusinessProductInstance rdf:type owl:Class ;
                         rdfs:subClassOf <http://w3id.org/devops-infra/core#Resource> ,
                                         [ rdf:type owl:Restriction ;
                                           owl:onProperty <http://w3id.org/devops-infra/organisation#site> ;
                                           owl:allValuesFrom <http://w3id.org/devops-infra/organisation#Site>
                                         ] ,
                                         [ rdf:type owl:Restriction ;
                                           owl:onProperty <http://w3id.org/devops-infra/organisation#tenant> ;
                                           owl:allValuesFrom <http://w3id.org/devops-infra/organisation#Tenant>
                                         ] ,
                                         [ rdf:type owl:Restriction ;
                                           owl:onProperty :deployedInstanceOf ;
                                           owl:allValuesFrom :BusinessProduct
                                         ] ,
                                         [ rdf:type owl:Restriction ;
                                           owl:onProperty :uses ;
                                           owl:allValuesFrom :ServiceInstance
                                         ] ,
                                         [ rdf:type owl:Restriction ;
                                           owl:onProperty :deployedInstanceOf ;
                                           owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                           owl:onClass :BusinessProduct
                                         ] ,
                                         [ rdf:type owl:Restriction ;
                                           owl:onProperty :isDeleted ;
                                           owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                           owl:onDataRange xsd:boolean
                                         ] ;
                         rdfs:comment "Instance of a business product running/deployed on a specific infrastructure (e.g., TerraForm)"@en ;
                         rdfs:label "Business Product Instance"@en .


###  http://w3id.org/devops-infra/product#MicroService
:MicroService rdf:type owl:Class ;
              rdfs:subClassOf <http://w3id.org/devops-infra/core#Resource> ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty :runsInServiceCluster ;
                                owl:allValuesFrom :ServiceCluster
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty :usesServiceModule ;
                                owl:allValuesFrom <http://w3id.org/devops-infra/software#ServiceModule>
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty <http://w3id.org/devops-infra/server#autoScalingHostConfig> ;
                                owl:allValuesFrom <http://w3id.org/devops-infra/server#AutoScalingHostConfig>
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty :isDeleted ;
                                owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                owl:onDataRange xsd:boolean
                              ] ;
              rdfs:comment "A Microservice is a type of Service that runs a unique process and communicates through a well-defined, lightweight mechanism, such as a container, to serve a business goal."@en ;
              rdfs:label "Microservice"@en .


###  http://w3id.org/devops-infra/product#MicroServiceInstance
:MicroServiceInstance rdf:type owl:Class ;
                      rdfs:subClassOf <http://w3id.org/devops-infra/core#Resource> ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty :deployedInstanceOf ;
                                        owl:allValuesFrom :MicroService
                                      ] ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty :runsInServiceCluster ;
                                        owl:allValuesFrom :ServiceCluster
                                      ] ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty :deployedInstanceOf ;
                                        owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                        owl:onClass :MicroService
                                      ] ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty :ip ;
                                        owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                        owl:onDataRange xsd:string
                                      ] ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty :isDeleted ;
                                        owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                        owl:onDataRange xsd:boolean
                                      ] ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty :port ;
                                        owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                        owl:onDataRange xsd:string
                                      ] ;
                      rdfs:comment "Instance of a MicroService running/deployed on a specific infrastructure (e.g., TerraForm)"@en ;
                      rdfs:label "Microservice Instance"@en .


###  http://w3id.org/devops-infra/product#ProductOffering
:ProductOffering rdf:type owl:Class ;
                 rdfs:subClassOf <http://w3id.org/devops-infra/core#Resource> ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :hasProductVersion ;
                                   owl:allValuesFrom :ProductVersion
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :offeredBy ;
                                   owl:allValuesFrom <http://w3id.org/devops-infra/organisation#Scope>
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :uses ;
                                   owl:allValuesFrom :Service
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :isDeleted ;
                                   owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                   owl:onDataRange xsd:boolean
                                 ] ;
                 rdfs:comment "For a Business Product, this is the specific offer that is done in a catalogue. A Business Product may have several Product Offering associated to them, and an offering may be described in commercial terms. In this ontology, we do not restrict/propose any specific set of attributes to be used for such description, since each organisation may have different attributes to define their offering."@en ;
                 rdfs:label "Product Offering"@en .


###  http://w3id.org/devops-infra/product#ProductVersion
:ProductVersion rdf:type owl:Class ;
                rdfs:subClassOf <http://w3id.org/devops-infra/core#Resource> ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty :usesServiceModuleVersion ;
                                  owl:allValuesFrom owl:Thing
                                ] ;
                rdfs:comment "A specific version of a Business Product that is being offered through a Product Offering"@en ;
                rdfs:label "Product Version"@en .


###  http://w3id.org/devops-infra/product#Service
:Service rdf:type owl:Class ;
         rdfs:subClassOf <http://w3id.org/devops-infra/core#Resource> ,
                         [ rdf:type owl:Restriction ;
                           owl:onProperty :calls ;
                           owl:allValuesFrom [ rdf:type owl:Class ;
                                               owl:unionOf ( :MicroService
                                                             :Service
                                                           )
                                             ]
                         ] ,
                         [ rdf:type owl:Restriction ;
                           owl:onProperty :offeredBy ;
                           owl:allValuesFrom <http://w3id.org/devops-infra/organisation#Scope>
                         ] ,
                         [ rdf:type owl:Restriction ;
                           owl:onProperty :serviceType ;
                           owl:allValuesFrom [ owl:intersectionOf ( <http://www.w3.org/2004/02/skos/core#Concept>
                                                                    [ rdf:type owl:Restriction ;
                                                                      owl:onProperty <http://www.w3.org/2004/02/skos/core#inScheme> ;
                                                                      owl:hasValue <http://w3id.org/devops-infra/kos/service-type>
                                                                    ]
                                                                  ) ;
                                               rdf:type owl:Class
                                             ]
                         ] ,
                         [ rdf:type owl:Restriction ;
                           owl:onProperty :usesServiceModule ;
                           owl:allValuesFrom <http://w3id.org/devops-infra/software#ServiceModule>
                         ] ,
                         [ rdf:type owl:Restriction ;
                           owl:onProperty :isDeleted ;
                           owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                           owl:onDataRange xsd:boolean
                         ] ;
         rdfs:comment "A Service that provides support to one or more business products. It may make use (call) other services or microservices."@en ;
         rdfs:label "Service"@en .


###  http://w3id.org/devops-infra/product#ServiceCluster
:ServiceCluster rdf:type owl:Class ;
                rdfs:subClassOf <http://w3id.org/devops-infra/core#Resource> ,
                                [ owl:intersectionOf ( [ rdf:type owl:Restriction ;
                                                         owl:onProperty <http://w3id.org/devops-infra/data-center#hostedInDataCenter> ;
                                                         owl:allValuesFrom <http://w3id.org/devops-infra/data-center#DataCenter>
                                                       ]
                                                       [ rdf:type owl:Restriction ;
                                                         owl:onProperty <http://w3id.org/devops-infra/data-center#hostedInDataCenter> ;
                                                         owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                                         owl:onClass <http://w3id.org/devops-infra/data-center#DataCenter>
                                                       ]
                                                     ) ;
                                  rdf:type owl:Class
                                ] ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty :clusterType ;
                                  owl:allValuesFrom [ owl:intersectionOf ( <http://www.w3.org/2004/02/skos/core#Concept>
                                                                           [ rdf:type owl:Restriction ;
                                                                             owl:onProperty <http://www.w3.org/2004/02/skos/core#inScheme> ;
                                                                             owl:hasValue <http://w3id.org/devops-infra/kos/cluster-type>
                                                                           ]
                                                                         ) ;
                                                      rdf:type owl:Class
                                                    ]
                                ] ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty <http://w3id.org/devops-infra/server#balancedBy> ;
                                  owl:allValuesFrom <http://w3id.org/devops-infra/server#ServerLoadBalancer>
                                ] ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty <http://w3id.org/devops-infra/server#deployedInServer> ;
                                  owl:allValuesFrom <http://w3id.org/devops-infra/server#Server>
                                ] ;
                rdfs:comment "A Service Cluster is a logical cluster that provides high availability to services and microservices"@en ;
                rdfs:label "Service Cluster"@en .


###  http://w3id.org/devops-infra/product#ServiceInstance
:ServiceInstance rdf:type owl:Class ;
                 rdfs:subClassOf <http://w3id.org/devops-infra/core#Resource> ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :calls ;
                                   owl:allValuesFrom [ rdf:type owl:Class ;
                                                       owl:unionOf ( :MicroServiceInstance
                                                                     :ServiceInstance
                                                                   )
                                                     ]
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :deployedInstanceOf ;
                                   owl:allValuesFrom :Service
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :deployedInstanceOf ;
                                   owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                   owl:onClass :Service
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :ip ;
                                   owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                   owl:onDataRange xsd:string
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :isDeleted ;
                                   owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                   owl:onDataRange xsd:boolean
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :port ;
                                   owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                   owl:onDataRange xsd:string
                                 ] ;
                 rdfs:comment "Instance of a Service running/deployed on a specific infrastructure (e.g., TerraForm)"@en ;
                 rdfs:label "Service Instance"@en .


###  http://w3id.org/devops-infra/server#AutoScalingHostConfig
<http://w3id.org/devops-infra/server#AutoScalingHostConfig> rdf:type owl:Class .


###  http://w3id.org/devops-infra/server#Server
<http://w3id.org/devops-infra/server#Server> rdf:type owl:Class .


###  http://w3id.org/devops-infra/server#ServerLoadBalancer
<http://w3id.org/devops-infra/server#ServerLoadBalancer> rdf:type owl:Class .


###  http://w3id.org/devops-infra/software#ServiceModule
<http://w3id.org/devops-infra/software#ServiceModule> rdf:type owl:Class .


###  http://w3id.org/devops-infra/software#ServiceModuleVersion
<http://w3id.org/devops-infra/software#ServiceModuleVersion> rdf:type owl:Class .


#################################################################
#    Individuals
#################################################################

###  http://w3id.org/devops-infra/kos/cluster-type
<http://w3id.org/devops-infra/kos/cluster-type> rdf:type owl:NamedIndividual ,
                                                         <http://www.w3.org/2004/02/skos/core#ConceptScheme> .


###  http://w3id.org/devops-infra/kos/service-type
<http://w3id.org/devops-infra/kos/service-type> rdf:type owl:NamedIndividual ,
                                                         <http://www.w3.org/2004/02/skos/core#ConceptScheme> .


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