service provider
IRI: https://spec.industrialontologies.org/ontology/construct/ServiceProvider
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
SubClass Of: supplier
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › agent › supplier › service provider
Definition
person or organization which has a service provider role
Semi-Formal Definition:
every instance of ‘service provider’ is defined as exactly an instance of ‘person’ or ‘organization’ that ‘has role’ some ‘service provider role’
Explanatory Notes
See the expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience.
Examples
- FedEx; Home-cleaning service; aircraft maintenance service; internet service provider
Formal Axioms
First-Order Logic Definition
ServiceProvider(x) ↔ (Person(x) ∨ Organization(x)) ∧ ∃r(ServiceProviderRole(r) ∧ hasRole(x,r))
Description Logic
constr:ServiceProvider ≡ (constr:Organization ⊔ constr:Person) ⊓ ∃ constr:hasRole .constr:ServiceProviderRole
EquivalentTo: (constr:Organization or constr:Person) and constr:hasRole some constr:ServiceProviderRole
SubClassOf: constr:Supplier