business function

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

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

SubClass Of: bfo:function

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › capability › bfo:function › business function

Direct subclasses:

• freight forwarding business function
• transportation business function

Definition

function of an organization to partake in for profit activities as prescribed by the objectives specified by that organization

Examples

• Pfizer has the business function to produce medicines; Airbus has the business function of manufacturing planes

Counter-Examples

• any function of a non-profit organization

Adapted From

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

Primitive Class

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

Primitive Rationale

As a function will come into its existance prior to its realization in given business processes necessary and sufficient conditions can not be created at this point due to a lack of patterns to express process types regardless of the time of their existence

Formal Axioms

First-Order Logic Axioms

LA1: BusinessFunction(x) → Function(x) ∧ ∃o∃i(Organization(o) ∧ ObjectiveSpecification(i) ∧ functionOf(x,o) ∧ genericallyDependsOnAtSomeTime(i,o) ∧ prescribedBy(x,i)) ∧ ∀y(hasRealization(x,y) → BusinessProcess(y))

LA2: Function(x) ∧ ∃o∃i∃p(Organization(o) ∧ ObjectiveSpecification(i) ∧ BusinessProcess(p) ∧ functionOf(x,o) ∧ genericallyDependsOnAtSomeTime(i,o) ∧ prescribedBy(x,i) ∧ hasRealization(x,p)) → BusinessFunction(x)

Semi-Formal Natural Language Axioms

LA1: if x is a ‘business function’ then x is a ‘function’ that is ‘function of’ some ‘organization’ and that is ‘prescribed by’ some ‘objective specification’ and whenever x ‘has realization’ y that y must be a ‘business process’

LA2: if x is a ‘function’ that is ‘function of’ some ‘organization’ and that is ‘prescribed by’ some ‘objective specification’ and that ‘has realization’ some ‘business process’ then x is a ‘business function’

Description Logic

constr:BusinessFunction ⊑ bfo:function

constr:BusinessFunction ⊑ ∀ bfo:has_realization .constr:BusinessProcess

constr:BusinessFunction ⊑ ∃ constr:functionOf .constr:Organization

constr:BusinessFunction ⊑ ∃ constr:prescribedBy .(constr:ObjectiveSpecification ⊓ ∃ bfo:generically_depends_on_at_some_time .constr:Organization)

bfo:function ⊓ ∃ bfo:has_realization .constr:BusinessProcess ⊓ ∃ constr:functionOf .constr:Organization ⊓ ∃ constr:prescribedBy .(constr:ObjectiveSpecification ⊓ ∃ bfo:generically_depends_on_at_some_time .constr:Organization) ⊑ constr:BusinessFunction

SubClassOf: bfo:function

SubClassOf: bfo:has_realization only constr:BusinessProcess

SubClassOf: constr:functionOf some constr:Organization

SubClassOf: constr:prescribedBy some (constr:ObjectiveSpecification and bfo:generically_depends_on_at_some_time some constr:Organization)

bfo:function and bfo:has_realization some constr:BusinessProcess and constr:functionOf some constr:Organization and constr:prescribedBy some (constr:ObjectiveSpecification and bfo:generically_depends_on_at_some_time some constr:Organization) SubClassOf: constr:BusinessFunction