commercial service

IRI: https://spec.industrialontologies.org/ontology/construct/CommercialService

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: business process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › business process › commercial service

Direct subclasses:

Definition

business process that consists of a service provisioning process and a consumption process

Explanatory Notes

  1. A consumption process means using or benefiting.

2.Typically, the service provisioning process and consumption process coincide temporally which is different from a material product that is consumed (used) only after supplied.

Examples

  • Lufthansa Aviation Services maintains airplanes for United Airlines when the plane stops at Frankfurt International Airport.

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

There are insufficient constructs to create necessary and sufficient conditions. Namely, service consumption needs to be formalized.

Formal Axioms

First-Order Logic Axioms 

Commercialervice(x) → BusinessProcess(x) ∧ ∃p∃y∃a∃s(CommercialServiceSpecification(p) ∧ ServiceProvider(y) ∧ CommercialServiceAgreement(s) ∧ SupplyingBusinessProcess(a) ∧ hasParticipantAtSomeTime(x,y) ∧ hasOccurentPart(x,a) ∧ prescribedBy(x,p) ∧ isSubjectOf(x,s))

Semi-Formal Natural Language Axioms

if x is a ‘commercial service’ then x is a ‘business process’ that is ‘prescribed by’ some ‘commercial service specification’ and that ‘has participant at some time’ some ‘service provider’ ‘and x ‘has occurent part’ some ‘supplying business process’ and x ‘is subject of’ some ‘commercial service agreement’

Description Logic

constr:CommercialService ⊑ constr:BusinessProcess

constr:CommercialService ⊑ ∃ bfo:has_participant .constr:ServiceProvider

constr:CommercialService ⊑ ∃ bfo:has_occurrent_part .constr:SupplyingBusinessProcess

constr:CommercialService ⊑ ∃ constr:isSubjectOf .constr:CommercialServiceAgreement

constr:CommercialService ⊑ ∃ constr:prescribedBy .constr:CommercialServiceSpecification

SubClassOf: constr:BusinessProcess

SubClassOf: bfo:has_participant some constr:ServiceProvider

SubClassOf: bfo:has_occurrent_part some constr:SupplyingBusinessProcess

SubClassOf: constr:isSubjectOf some constr:CommercialServiceAgreement

SubClassOf: constr:prescribedBy some constr:CommercialServiceSpecification