service provider role

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

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

SubClass Of: supplier role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › agent role › supplier role › service provider role

Direct subclasses:

• logistics service provider role
• manufacturing service provider role

Definition

supplier role held by a person or organization when it offers to sell or provide a commercial service

Examples

• FedEx; Home-cleaning service; aircraft maintenance service; internet service provider

Adapted From

• https://en.wikipedia.org/wiki/Service_provider

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, constructs for economic transactions and ownership are lacking

Formal Axioms

First-Order Logic Axioms

ServiceProviderRole(x) → AgentRole(x) ∧ ∃y∃p((Organization(y) ∨ Person(y)) ∧ (CommercialService(p) ∨ (OfferingForSaleBusinessProcess(p) ∧ ∃c(CommercialServiceAgreement(c) ∧ hasParticipantAtSomeTime(p,c)))) ∧ participatesInAtSomeTime(y,p) ∧ roleOf(x,y))

Semi-Formal Natural Language Axioms

if x is a ‘service provider role’ then x is an ‘agent role’ that is the ‘role of’ some ‘person’ or ‘organization’ that ‘participates in at some time’ some ‘commercial service’ or some ‘offering for sale business process’ which ‘has participant at some time’ some ‘commercial service agreement’

Description Logic

constr:ServiceProviderRole ⊑ constr:SupplierRole

constr:ServiceProviderRole ⊑ ∃ constr:roleOf .((constr:Organization ⊔ constr:Person) ⊓ ∃ bfo:participates_in .(constr:CommercialService ⊔ (constr:SellingBusinessProcess ⊓ ∃ bfo:has_participant .constr:CommercialServiceAgreement)))

SubClassOf: constr:SupplierRole

SubClassOf: constr:roleOf some ((constr:Organization or constr:Person) and bfo:participates_in some (constr:CommercialService or (constr:SellingBusinessProcess and bfo:has_participant some constr:CommercialServiceAgreement)))