commercial service specification

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

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

SubClass Of: plan specification

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › plan specification › commercial service specification

Definition

plan specification that prescribes a commercial service

Examples

• protocol on how maintenance will be conducted on airplanes that is a part of the agreement between Frankfurt Airport and various airlines

Adapted From

• https://schema.org/, http://www.heppnetz.de/projects/goodrelations/ and http://dini-ag-kim.github.io/service-ontology/service.html

Primitive Class

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

Primitive Rationale

See the general discussion and rationale provided for informational entities under ‘information content entity’.

Formal Axioms

First-Order Logic Axioms

PlanSpecification(x) ∧ ∃c(CommercialService(c) ∧ prescribes(x,c)) → CommercialServiceSpecification(x)

Semi-Formal Natural Language Axioms

if x is a ‘plan specification’ that ‘prescribes’ some ‘commercial service’ then x is a ‘commercial service specification’

Description Logic

constr:CommercialServiceSpecification ⊑ constr:PlanSpecification

constr:PlanSpecification ⊓ ∃ constr:prescribes .constr:CommercialService ⊑ constr:CommercialServiceSpecification

SubClassOf: constr:PlanSpecification

constr:PlanSpecification and constr:prescribes some constr:CommercialService SubClassOf: constr:CommercialServiceSpecification