Ontology
label: Objects and properties to describe systems and subsystems of devices and structures needed to fly a spacecraft, including structure and platform. Words separated by _ has to be read as separated concepts, camelCase in they are the same concepts (see umbel.org for this norm)
comment: A space vessel is described as made of two components: a set of devices called BUS and a set of one or more DETECTORS (see /sensors/Detector)
defines: Spacecraft
defines: isSubsystemOf
defines: isComponentOf
defines: hasSubSystem
defines: Subsystem Spacecraft
defines: Payload Spacecraft
defines: embedSensor
defines: isDeployedIn

Spacecraft
type: Class
same as: http://umbel.org/umbel/rc/Spacecraft
sub class of: SystemOfDevices
sub class of: Restriction
  on property: isDeployedIn
  has value: Outer space.ntriples
label: Spacecraft
pref label: Each instance of spacecraft is a transportation device either deployed entirely in outer space, or one whose trajectories leave the atmosphere of the planet it's launched from, in order to orbit the planet or to travel beyond the planet's gravitational field.
comment: In this set of ontologies a spacecraft is described as a system of devices, a vessel made by different subsystems.
rel concept: spacecraft

isSubsystemOf
type: ObjectProperty
inverse of: hasSubSystem
pref label: subject is a device or a system of devices that is subsystem of a wider system or device
label: isSubsystemOf

isComponentOf
type: ObjectProperty
pref label: the subject is a member of a wider artifact, that is a set of artifacts
label: isComponentOf

hasSubSystem
type: ObjectProperty
inverse of: isSubsystemOf
label: hasSubSystem

Subsystem Spacecraft
type: Class
sub class of: Device.ntriples
sub class of: Restriction
  on property: isSubsystemOf
  has value: Spacecraft
sub class of: Restriction
  on property: hasVolume
  min cardinality: 1
sub class of: Restriction
  on property: hasPower
  min cardinality: 1
sub class of: Restriction
  on property: hasMass
  min cardinality: 1
pref label: A device that is deployed into a spacecraft and works outside Earth lower atmosphere
comment: A Device is an artifact with a relatively rigid, set shape, designed for a specific use or to perform a specific function
label: Subsystem_Spacecraft
is component: Spacecraft

Payload Spacecraft
type: Class
sub class of: SystemOfDevices
sub class of: Restriction
  on property: embedSensor
  min cardinality: 1
label: Payload_Spacecraft
comment: The set of devices that the spacecraft carries for scientific purposes, with their supporting (readout) devices.
pref label: Payload_Spacecraft
is component: Spacecraft

embedSensor
type: AsymmetricProperty
type: IrreflexiveProperty
type: ObjectProperty
domain: Subsystem Spacecraft
range: Detector
comment: It is a payload
label: embedSensor
pref label: a subsystem that holds a sensor
alt label: holds a sensor

isDeployedIn
type: AsymmetricProperty
type: ObjectProperty
label: isDeployedIn
pref label: the environment in which a device or a system of devices is designed to work