engineered system
IRI: https://spec.industrialontologies.org/ontology/construct/EngineeredSystem
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
SubClass Of: system
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › system › engineered system
Direct subclasses:
Definition
system that is deliberately created to have a certain function
Semi-Formal Definition:
every instance of ‘engineered system’ is defined as exactly an instance of ‘system’ that is the ‘bearer of’ some ‘designed function’
Examples
- machine, laptop, traffic light system
Adapted From
- www.incose.com, term by the same name
Formal Axioms
First-Order Logic Definition
EngineeredSystem(x) ↔ System(x) ∧ ∃f(DesignedFunction(f) ∧ bearerOf(x,f))
Description Logic
constr:EngineeredSystem ≡ constr:System ⊓ ∃ bfo:bearer_of .constr:DesignedFunction
constr:EngineeredSystem ⊑ constr:System
EquivalentTo: constr:System and bfo:bearer_of some constr:DesignedFunction
SubClassOf: constr:System
constr:EngineeredSystem DisjointWith: (constr:MaterialArtifact, constr:Organization)