loading...| Preferred Name | System | |
| Synonyms |
|
|
| ID |
https://spec.industrialontologies.org/ontology/core/Core/System |
|
| adapted from |
Merriam-Webster Dictionary for term under the same name. |
|
| explanatory note |
1. As introduced here, the term is limited to natural, social and technical systems that are tangible and whose "elements" are also tangible. 2. Frequently, the elements comprising a system are instances of BFO: object. However, the system elements may also include object aggregates (e.g., a system of systems; a system that includes a production line consisting of humans, machines, and other equipment) 3. Although the system is asserted under BFO: object aggregate, which is constrained to have only material entities (tangible things) as elements, the approach to modeling systems comprised of both software and hardware (also known as a cyber-physical system) can still be modeled indirectly: by introducing a 'generically depends on' relationship between the software or other intangible elements (information content entity types) and its physical bearer (hardware or hardware system), which are in turn members of the system. |
|
| first-order logic axiom |
System(x) → ObjectAggregate(x) |
|
| is defined by | ||
| is primitive |
true |
|
| prefixIRI |
iof-core:System |
|
| prefLabel |
System |
|
| primitive rationale |
The term is introduced here as a general class to allow the introduction of specialized kinds of systems that appear in particular modalities. Furthermore, an effort remains to formalize what it means for two things to interact, or what it means to regularly interact. |
|
| semi-formal natural language axiom |
if x is a 'system' then x is an 'object aggregate' |
|
| subClassOf |
https://github.com/Mat-O-Lab/MSEO/raw/main/domain/util/readable_bfo_iris.ttl/ObjectAggregate |