# generated by rdf-util version 1.0.0 at Wed Sep 30 2026 10:31:46 GMT+0200 (Central European Summer Time) 
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix blank: <urn:blank:>.
@prefix utils: <https://w3id.org/fm/utils/ontology#>.
@prefix obs: <https://w3id.org/fm/observable#>.
@prefix expr: <https://w3id.org/fm/expression#>.
@prefix dep: <https://w3id.org/fm/dependency#>.
@prefix match: <https://w3id.org/fm/match#>.
@prefix edit: <https://w3id.org/fm/edit#>.
@prefix thing: <https://w3id.org/fm/thing#>.
@prefix resource: <https://w3id.org/fm/resource#>.
@prefix product: <https://w3id.org/fm/product#>.
@prefix routing: <https://w3id.org/fm/routing#>.
@prefix scenario: <https://w3id.org/fm/scenario#>.
@prefix event: <https://w3id.org/fm/event#>.
@prefix infraflex: <https://w3id.org/fm/infraflex#>.

<https://w3id.org/fm/infraflex> a owl:Ontology;
    <http://purl.org/vocab/vann/preferredNamespaceUri> "https://w3id.org/fm/infraflex#";
    <http://purl.org/vocab/vann/preferredNamespacePrefix> "infraflex";
    owl:versionIRI <https://w3id.org/fm/infraflex/1.0.1>;
    owl:versionInfo "1.0.1";
    rdfs:label "The Infraflex ontology"@en;
    <http://purl.org/dc/elements/1.1/title> "The Infraflex ontology"@en;
    rdfs:comment "An ontology of Infraflex Resources, Products, Processes, Capabilities and Scenarios"@en;
    <http://purl.org/dc/terms/license> <https://creativecommons.org/licenses/by/4.0/>;
    <http://purl.org/dc/terms/created> "2026-05-29"^^xsd:date;
    <http://purl.org/dc/terms/modified> "2026-05-29"^^xsd:date;
    <http://purl.org/dc/terms/issued> "2026-05-29"^^xsd:date;
    <http://purl.org/dc/elements/1.1/abstract> "\nInfraflex in a robotized production line developed by FlandersMake. The infraflex ontology defines a vocabulary for
the Capabilities, Resources, Products, and production decisions involving infraflex.\n"@en;
    <https://w3id.org/widoco/vocab#introduction> "\nInfraflex is a robotized production line developed by FlandersMake. 

The line is compose of cells, hosting add-ons and grippers with tools.

The infraflex can support execute different processes: gripping, moving, screwings, ...

The infraflex can produce different products: flashlights.\n"@en;
    <http://purl.org/dc/elements/1.1/description> "\nThe following concepts are implemented in this ontology.

Resources:
- Cell
  - RobotArm
  - AddOn
    - Table
    - Lift
    - Conveyor
  - Tool
    - Gripper
      - FingeredGripper
      - SuctionGripper
    - ScrewDriver

Products:
- Screw
- Flashlight
  - Mount    
  - (Cover)
  - (Housing)
  - (Lens)

Process
- Order
- Step
  - PickAndPlace
    - PickScrewAndPlaceScrew
- (AssembleFlashlight)    

Capability
- Screwing
  - Request
    - PickScrewAndPlaceScrew
  - Provider
    - Cell

A **Scenario** is a set of production decisions taken in a given time frame (e.g. 1 month) in a given space (e.g. 1 factory). It may contain the level of execution of production processes, the supplies ordered, next to initial known conditions (stock, availability).

Scenario
  - Product
    - cost
    - initial stock
  - Resource
    - cost
    - nominal availability  
  - KPI definition
    - storage cost
    - resource cost
    - resource idle
    - unfulfillment
    - sale revenue  

An **Outcome** is a Scenario qualified with extra information necessary to estimate its performance (read calculate the KPI values).

This extra information can be
- a Prediction for uncertain events
  - for this prediction, outcomes for known (realized) event
- to be assessed decisions like choice for some alternative
  - for some required capability
    - for every recommendation, a dedicated Outcome will be created

Outcome
- (Realization): Prediction
  - (statedOutcomes)
- KPI\n"@en.
infraflex:Flashlight a owl:Class;
    rdfs:subClassOf product:Definition.
infraflex:flashlightLength a owl:DatatypeProperty;
    rdfs:domain infraflex:Flashlight;
    rdfs:range xsd:decimal;
    rdfs:comment "Flashlight length expressed in mm"@en.
infraflex:flashlightWidth a owl:DatatypeProperty;
    rdfs:domain infraflex:Flashlight;
    rdfs:range xsd:decimal;
    rdfs:comment "Flashlight width expressed in mm"@en.
infraflex:flashlightLED a owl:ObjectProperty;
    rdfs:domain infraflex:Flashlight;
    rdfs:range infraflex:FlashlightLED.
infraflex:FlashlightLED a owl:Class;
    owl:oneOf blank:product_def_n3_0.
infraflex:flashlightColor a owl:ObjectProperty;
    rdfs:domain infraflex:Flashlight;
    rdfs:range infraflex:FlashlightColor.
infraflex:FlashlightColor a owl:Class;
    owl:oneOf blank:product_def_n3_1.
infraflex:flashlightMount a owl:ObjectProperty;
    rdfs:domain infraflex:Flashlight;
    rdfs:range infraflex:FlashlightMount.
infraflex:FlashlightMount a owl:Class;
    owl:oneOf blank:product_def_n3_4.
infraflex:ScrewHead a owl:Class;
    owl:oneOf blank:product_def_n3_6.
infraflex:ScrewThread a owl:Class.
infraflex:ScrewThreadMetric a owl:Class;
    rdfs:subClassOf infraflex:ScrewThread;
    owl:oneOf blank:product_def_n3_12.
infraflex:ScrewThreadUS a owl:Class;
    rdfs:subClassOf infraflex:ScrewThread;
    owl:oneOf blank:product_def_n3_21.
infraflex:Screw a owl:Class;
    rdfs:subClassOf product:Definition.
infraflex:screwHead a owl:ObjectProperty;
    rdfs:domain infraflex:Screw;
    rdfs:range infraflex:ScrewHead.
infraflex:screwThread a owl:ObjectProperty;
    rdfs:domain infraflex:Screw;
    rdfs:range infraflex:ScrewThread.
infraflex:screwSelfTapping a owl:DatatypeProperty;
    rdfs:domain infraflex:Screw;
    rdfs:range xsd:boolean.
infraflex:screwLength a owl:DatatypeProperty;
    rdfs:domain infraflex:Screw;
    rdfs:range xsd:decimal.
infraflex:screwHeadLength a owl:DatatypeProperty;
    rdfs:domain infraflex:Screw;
    rdfs:range xsd:decimal.
blank:product_def_n3_0 rdf:first infraflex:flashlightColorLEDWhite;
    rdf:rest rdf:nil.
blank:product_def_n3_1 rdf:first infraflex:flashlightColorBlack;
    rdf:rest blank:product_def_n3_2.
blank:product_def_n3_2 rdf:first infraflex:flashlightColorRed;
    rdf:rest blank:product_def_n3_3.
blank:product_def_n3_3 rdf:first infraflex:flashlightColorGreen;
    rdf:rest rdf:nil.
blank:product_def_n3_4 rdf:first infraflex:flashlightMountClip;
    rdf:rest blank:product_def_n3_5.
blank:product_def_n3_5 rdf:first infraflex:flashlightMountScrew;
    rdf:rest rdf:nil.
blank:product_def_n3_6 rdf:first infraflex:screwHeadCylinder;
    rdf:rest blank:product_def_n3_7.
blank:product_def_n3_7 rdf:first infraflex:screwHeadCounterSunk;
    rdf:rest blank:product_def_n3_8.
blank:product_def_n3_8 rdf:first infraflex:screwHeadButtonHead;
    rdf:rest blank:product_def_n3_9.
blank:product_def_n3_9 rdf:first infraflex:screwHeadPanHead;
    rdf:rest blank:product_def_n3_10.
blank:product_def_n3_10 rdf:first infraflex:screwHeadFlatRoundWithFlange;
    rdf:rest blank:product_def_n3_11.
blank:product_def_n3_11 rdf:first infraflex:screwHeadLensHead;
    rdf:rest rdf:nil.
blank:product_def_n3_12 rdf:first infraflex:screwThreadM1_6;
    rdf:rest blank:product_def_n3_13.
blank:product_def_n3_13 rdf:first infraflex:screwThreadM1_8;
    rdf:rest blank:product_def_n3_14.
blank:product_def_n3_14 rdf:first infraflex:screwThreadM2;
    rdf:rest blank:product_def_n3_15.
blank:product_def_n3_15 rdf:first infraflex:screwThreadM2_5;
    rdf:rest blank:product_def_n3_16.
blank:product_def_n3_16 rdf:first infraflex:screwThreadM3;
    rdf:rest blank:product_def_n3_17.
blank:product_def_n3_17 rdf:first infraflex:screwThreadM3_5;
    rdf:rest blank:product_def_n3_18.
blank:product_def_n3_18 rdf:first infraflex:screwThreadM4;
    rdf:rest blank:product_def_n3_19.
blank:product_def_n3_19 rdf:first infraflex:screwThreadM5;
    rdf:rest blank:product_def_n3_20.
blank:product_def_n3_20 rdf:first infraflex:screwThreadM6;
    rdf:rest rdf:nil.
blank:product_def_n3_21 rdf:first infraflex:screwThreadUS1_4;
    rdf:rest blank:product_def_n3_22.
blank:product_def_n3_22 rdf:first infraflex:screwThreadUS5_16;
    rdf:rest blank:product_def_n3_23.
blank:product_def_n3_23 rdf:first infraflex:screwThreadUS3_8;
    rdf:rest blank:product_def_n3_24.
blank:product_def_n3_24 rdf:first infraflex:screwThreadUS7_16;
    rdf:rest blank:product_def_n3_25.
blank:product_def_n3_25 rdf:first infraflex:screwThreadUS1_2;
    rdf:rest rdf:nil.
infraflex:IngressProtection a owl:Class;
    owl:oneOf blank:resource_def_n3_26.
infraflex:Cell a owl:Class;
    rdfs:subClassOf resource:Definition.
infraflex:cellRobotArm a owl:ObjectProperty;
    rdfs:subPropertyOf resource:hasSubDefinition;
    rdfs:domain infraflex:Cell;
    rdfs:range infraflex:RobotArm.
infraflex:RobotArm a owl:Class;
    rdfs:subClassOf resource:Definition.
infraflex:robotArmReachability a owl:DatatypeProperty;
    rdfs:domain infraflex:RobotArm;
    rdfs:range xsd:decimal;
    rdfs:comment "Arm reachability expressed in mm"@en.
infraflex:robotArmCollisionDetectionEnabled a owl:DatatypeProperty;
    rdfs:domain infraflex:RobotArm;
    rdfs:range xsd:boolean.
infraflex:robotArmPayload a owl:DatatypeProperty;
    rdfs:domain infraflex:RobotArm;
    rdfs:range xsd:decimal;
    rdfs:comment "Arm payload expressed in kg"@en.
infraflex:robotArmMaxLinearSpeed a owl:DatatypeProperty;
    rdfs:domain infraflex:RobotArm;
    rdfs:range xsd:decimal;
    rdfs:comment "Arm maximum linear speed expressed in m/s"@en.
infraflex:robotArmMaxJointSpeed a owl:DatatypeProperty;
    rdfs:domain infraflex:RobotArm;
    rdfs:range xsd:decimal;
    rdfs:comment "\"Arm maximum joint speed expressed in rad/s"@en.
infraflex:robotArmRepeatability a owl:DatatypeProperty;
    rdfs:domain infraflex:RobotArm;
    rdfs:range xsd:decimal;
    rdfs:comment "Arm repeatability tolerance in mm"@en.
infraflex:robotArmIngressProtection a owl:DatatypeProperty;
    rdfs:domain infraflex:RobotArm;
    rdfs:range infraflex:IngressProtection.
infraflex:cellAddOnSub a owl:ObjectProperty;
    rdfs:subPropertyOf resource:subDefinition;
    rdfs:domain infraflex:Cell;
    rdfs:range infraflex:CellAddOnSub.
infraflex:CellAddOnSub a owl:Class;
    rdfs:subClassOf resource:SubDefinition.
infraflex:cellAddOnLocation a owl:ObjectProperty;
    rdfs:domain infraflex:CellAddOnSub;
    rdfs:range infraflex:CellAddOnLocation.
infraflex:CellAddOnLocation a owl:Class;
    owl:oneOf blank:resource_def_n3_27.
infraflex:cellAddOnAddOn a owl:ObjectProperty;
    rdfs:subPropertyOf resource:subDefinitionDefinition;
    rdfs:domain infraflex:CellAddOnSub;
    rdfs:range infraflex:AddOn.
infraflex:AddOn a owl:Class;
    rdfs:subClassOf resource:Definition;
    rdfs:comment "An AddOn is a peripheral component of a cell.\n        A Cell is composed of a central element and of 6 AddOn's"@en.
infraflex:cellAddOn a owl:ObjectProperty;
    rdfs:subPropertyOf resource:hasSubDefinition;
    rdfs:domain infraflex:Cell;
    rdfs:range infraflex:AddOn;
    owl:propertyChainAxiom blank:resource_def_n3_33.
infraflex:AddOnTable a owl:Class;
    rdfs:subClassOf infraflex:AddOn.
infraflex:addOnTableSizeWidth a owl:DatatypeProperty;
    rdfs:domain infraflex:AddOnTable;
    rdfs:range xsd:decimal;
    rdfs:comment "Table width in mm"@en.
infraflex:addOnTableSizeLength a owl:DatatypeProperty;
    rdfs:domain infraflex:AddOnTable;
    rdfs:range xsd:decimal;
    rdfs:comment "Table length in mm"@en.
infraflex:AddOnLift a owl:Class;
    rdfs:subClassOf infraflex:AddOnTable.
infraflex:addOnLiftStrokeHeight a owl:DatatypeProperty;
    rdfs:domain infraflex:AddOnLift;
    rdfs:range xsd:decimal;
    rdfs:comment "Stroke height in mm"@en.
infraflex:AddOnConveyor a owl:Class;
    rdfs:subClassOf infraflex:AddOn.
infraflex:addOnConveyorWidth a owl:DatatypeProperty;
    rdfs:domain infraflex:AddOnConveyor;
    rdfs:range xsd:decimal;
    rdfs:comment "Conveyor width in mm"@en.
infraflex:addOnConveyorStroke a owl:DatatypeProperty;
    rdfs:domain infraflex:AddOnConveyor;
    rdfs:range xsd:decimal;
    rdfs:comment "Conveyor stroke in mm"@en.
infraflex:cellTool a owl:ObjectProperty;
    rdfs:subPropertyOf resource:hasSubDefinition;
    rdfs:domain infraflex:Cell;
    rdfs:range infraflex:Tool.
infraflex:Tool a owl:Class;
    rdfs:subClassOf resource:Definition;
    rdfs:comment "A Tool is associated to a cell.\n        Several tools can be associated to the same cell.\n        Associated means: 'is available on."@en.
infraflex:toolIngressProtection a owl:DatatypeProperty;
    rdfs:domain infraflex:Tool;
    rdfs:range infraflex:IngressProtection.
infraflex:Gripper a owl:Class;
    rdfs:subClassOf infraflex:Tool.
infraflex:gripperPayload a owl:DatatypeProperty;
    rdfs:domain infraflex:Gripper;
    rdfs:range xsd:decimal;
    rdfs:comment "Gripper max payload in kg"@en.
infraflex:SuctionGripper a owl:Class;
    rdfs:subClassOf infraflex:Gripper.
infraflex:gripperSeal a owl:DatatypeProperty;
    rdfs:domain infraflex:SuctionGripper;
    rdfs:range xsd:decimal;
    rdfs:comment "Seal time in seconds"@en.
infraflex:gripperReleaseTime a owl:DatatypeProperty;
    rdfs:domain infraflex:SuctionGripper;
    rdfs:range xsd:decimal;
    rdfs:comment "Release time in seconds"@en.
infraflex:gripperSuctionCupSize a owl:DatatypeProperty;
    rdfs:domain infraflex:SuctionGripper;
    rdfs:range xsd:decimal;
    rdfs:comment "Gripper cup size in mm"@en.
infraflex:FingeredGripper a owl:Class;
    rdfs:subClassOf infraflex:Gripper.
infraflex:gripperJawStroke a owl:DatatypeProperty;
    rdfs:domain infraflex:FingeredGripper;
    rdfs:range xsd:decimal;
    rdfs:comment "Jaw stroke in mm"@en.
infraflex:gripperForceMin a owl:DatatypeProperty;
    rdfs:domain infraflex:FingeredGripper;
    rdfs:range xsd:decimal;
    rdfs:comment "Minimal grip force in N"@en.
infraflex:gripperForceMax a owl:DatatypeProperty;
    rdfs:domain infraflex:FingeredGripper;
    rdfs:range xsd:decimal;
    rdfs:comment "Maximal grip force in N"@en.
infraflex:ScrewDriver a owl:Class;
    rdfs:subClassOf infraflex:Tool.
infraflex:screwDriverSupportedScrewThread a owl:DatatypeProperty;
    rdfs:domain infraflex:ScrewDriver;
    rdfs:range infraflex:ScrewThread.
infraflex:screwDriverSupportedScrewHead a owl:DatatypeProperty;
    rdfs:domain infraflex:ScrewDriver;
    rdfs:range infraflex:ScrewHead.
infraflex:screwDriverScrewMaxLength a owl:DatatypeProperty;
    rdfs:domain infraflex:ScrewDriver;
    rdfs:range xsd:decimal;
    rdfs:comment "Screw driver maximum screw length"@en.
infraflex:screwDriverMaxTorque a owl:DatatypeProperty;
    rdfs:domain infraflex:ScrewDriver;
    rdfs:range xsd:decimal;
    rdfs:comment "Screw driver maximum torque"@en.
infraflex:nullScrewDriver a infraflex:ScrewDriver;
    rdfs:comment "Represents no screwdriver"@en.
blank:resource_def_n3_26 rdf:first infraflex:ingressProtectionIP54;
    rdf:rest rdf:nil.
blank:resource_def_n3_27 rdf:first infraflex:cellAddOnLocationA;
    rdf:rest blank:resource_def_n3_28.
blank:resource_def_n3_28 rdf:first infraflex:cellAddOnLocationB;
    rdf:rest blank:resource_def_n3_29.
blank:resource_def_n3_29 rdf:first infraflex:cellAddOnLocationC;
    rdf:rest blank:resource_def_n3_30.
blank:resource_def_n3_30 rdf:first infraflex:cellAddOnLocationD;
    rdf:rest blank:resource_def_n3_31.
blank:resource_def_n3_31 rdf:first infraflex:cellAddOnLocationE;
    rdf:rest blank:resource_def_n3_32.
blank:resource_def_n3_32 rdf:first infraflex:cellAddOnLocationF;
    rdf:rest rdf:nil.
blank:resource_def_n3_33 rdf:first infraflex:cellAddOnSub;
    rdf:rest blank:resource_def_n3_34.
blank:resource_def_n3_34 rdf:first infraflex:cellAddOnAddOn;
    rdf:rest rdf:nil.
infraflex:Capability a owl:Class;
    owl:oneOf blank:process_def_n3_35.
infraflex:MotionParameters a owl:Class.
infraflex:motionParametersSpeedHigh a owl:ObjectProperty;
    rdfs:domain infraflex:MotionParameters;
    rdfs:range infraflex:SpeedParameters.
infraflex:SpeedParameters a owl:Class.
infraflex:motionParametersSpeedLow a owl:ObjectProperty;
    rdfs:domain infraflex:MotionParameters;
    rdfs:range infraflex:SpeedParameters.
infraflex:speedParameterJoint a owl:DatatypeProperty;
    rdfs:domain infraflex:SpeedParameters;
    rdfs:range xsd:decimal.
infraflex:speedParameterLinear a owl:DatatypeProperty;
    rdfs:domain infraflex:SpeedParameters;
    rdfs:range xsd:decimal.
infraflex:motionParametersAccelerationHigh a owl:ObjectProperty;
    rdfs:domain infraflex:MotionParameters;
    rdfs:range infraflex:AccelerationParameters.
infraflex:AccelerationParameters a owl:Class.
infraflex:motionParametersAccelerationLow a owl:ObjectProperty;
    rdfs:domain infraflex:MotionParameters;
    rdfs:range infraflex:AccelerationParameters.
infraflex:accelerationParameterJoint a owl:DatatypeProperty;
    rdfs:domain infraflex:AccelerationParameters;
    rdfs:range xsd:decimal.
infraflex:accelerationParameterLinear a owl:DatatypeProperty;
    rdfs:domain infraflex:AccelerationParameters;
    rdfs:range xsd:decimal.
infraflex:motionParametersBlendingBig a owl:ObjectProperty;
    rdfs:domain infraflex:MotionParameters;
    rdfs:range infraflex:BlendingParameters.
infraflex:BlendingParameters a owl:Class.
infraflex:motionParametersBlendingSmall a owl:ObjectProperty;
    rdfs:domain infraflex:MotionParameters;
    rdfs:range infraflex:BlendingParameters.
infraflex:blendingParameterRadius a owl:DatatypeProperty;
    rdfs:domain infraflex:BlendingParameters;
    rdfs:range xsd:decimal.
infraflex:blendingParameterSpeed a owl:DatatypeProperty;
    rdfs:domain infraflex:BlendingParameters;
    rdfs:range xsd:decimal.
infraflex:ScrewParameters a owl:Class.
infraflex:screwingTorque a owl:DatatypeProperty;
    rdfs:domain infraflex:ScrewParameters;
    rdfs:range xsd:decimal.
infraflex:ProcessStep a owl:Class;
    rdfs:subClassOf routing:Definition.
infraflex:stepRequiredCapability a owl:ObjectProperty;
    rdfs:domain infraflex:ProcessStep;
    rdfs:range infraflex:Capability.
infraflex:cellReservation a owl:ObjectProperty;
    rdfs:domain infraflex:ProcessStep;
    rdfs:range infraflex:CellReservation;
    rdfs:subPropertyOf routing:reservationDefinition.
infraflex:CellReservation a owl:Class;
    rdfs:subClassOf routing:ReservationDefinition.
infraflex:reservationCell a owl:ObjectProperty;
    rdfs:domain infraflex:CellReservation;
    rdfs:range infraflex:Cell;
    rdfs:subPropertyOf routing:reservationResource.
infraflex:PickAndPlaceStep a owl:Class;
    rdfs:subClassOf infraflex:ProcessStep;
    rdfs:comment "A PickAndPlace is a step in the manufacturing process that picks up a part, \n    move it and place it on some parent component; \n    it requires the capabilities Gripping and Moving"@en.
infraflex:pickAndPlaceMotionRequirements a owl:ObjectProperty;
    rdfs:domain infraflex:PickAndPlaceStep;
    rdfs:range infraflex:MotionParameters.
infraflex:stepPickPart a owl:ObjectProperty;
    rdfs:domain infraflex:PickAndPlaceStep;
    rdfs:range product:SubDefinition;
    rdfs:comment "The picked up part; a product:subDefinition defines a Product part; \n    this includes the owning Product and the part Product."@en.
infraflex:PickScrewAndPlaceScrewStep a owl:Class;
    rdfs:subClassOf infraflex:PickAndPlaceStep;
    rdfs:comment "A PickScrewAndPlaceScrew is PickAndPlace step, that picks up and \n    place a screw, and that screws the screw; \n    it requires additionnally the capability Screwing"@en.
infraflex:pickScrewAndPlaceScrewScrewingRequirements a owl:ObjectProperty;
    rdfs:domain infraflex:PickScrewAndPlaceScrewStep;
    rdfs:range infraflex:ScrewParameters.
infraflex:screwingInput a owl:ObjectProperty;
    rdfs:domain infraflex:PickScrewAndPlaceScrewStep;
    rdfs:range infraflex:ScrewingInput;
    rdfs:subPropertyOf routing:inputDefinition.
infraflex:ScrewingInput a owl:Class;
    rdfs:subClassOf routing:FlowDefinition.
infraflex:screwingInputProduct a owl:ObjectProperty;
    rdfs:domain infraflex:ScrewingInput;
    rdfs:range infraflex:Screw;
    rdfs:subPropertyOf routing:flowProduct.
infraflex:OrderDefinition a owl:Class;
    rdfs:subClassOf routing:Definition;
    rdfs:comment "A OrderDefinition defines a unit order of some Product(s) to some Supplier"@en.
infraflex:orderSupplier a owl:ObjectProperty;
    rdfs:domain infraflex:OrderDefinition;
    rdfs:range infraflex:Supplier.
blank:process_def_n3_35 rdf:first infraflex:CapabilityGrasping;
    rdf:rest blank:process_def_n3_36.
blank:process_def_n3_36 rdf:first infraflex:CapabilityMoving;
    rdf:rest blank:process_def_n3_37.
blank:process_def_n3_37 rdf:first infraflex:CapabilityScrewing;
    rdf:rest rdf:nil.
infraflex:Scenario a owl:Class;
    rdfs:subClassOf scenario:Scenario.
infraflex:ScenarioProductData a owl:Class.
infraflex:dataProductDefinition a owl:ObjectProperty;
    rdfs:domain infraflex:ScenarioProductData;
    rdfs:range product:Definition.
infraflex:dataProductStockInitial a owl:DatatypeProperty;
    rdfs:domain infraflex:ScenarioProductData;
    rdfs:range xsd:Decimal.
infraflex:dataProductStorageUnitCost a owl:DatatypeProperty;
    rdfs:domain infraflex:ScenarioProductData;
    rdfs:range xsd:Decimal.
infraflex:dataProductStorageFixedCost a owl:DatatypeProperty;
    rdfs:domain infraflex:ScenarioProductData;
    rdfs:range xsd:Decimal.
infraflex:dataProductDeficiencyUnitCost a owl:DatatypeProperty;
    rdfs:domain infraflex:ScenarioProductData;
    rdfs:range xsd:Decimal.
infraflex:dataProductPurchaseUnitCost a owl:DatatypeProperty;
    rdfs:domain infraflex:ScenarioProductData;
    rdfs:range xsd:Decimal.
infraflex:dataProductSaleUnitRevenue a owl:DatatypeProperty;
    rdfs:domain infraflex:ScenarioProductData;
    rdfs:range xsd:Decimal.
infraflex:ScenarioProduct a owl:Class;
    rdfs:subClassOf scenario:ScenarioProduct.
infraflex:scenarioProductData a owl:ObjectProperty;
    rdfs:domain infraflex:ScenarioProduct;
    rdfs:range infraflex:ScnearioProductData.
infraflex:scenarioProductStockInitial obs:dimensionContext infraflex:scenarioProductData;
    obs:dimensionProperty infraflex:dataProductStockInitial;
    rdfs:subPropertyOf scenario:productStockInitial.
infraflex:storageUnitCost a owl:DatatypeProperty;
    rdfs:domain infraflex:ScenarioProduct;
    rdfs:range xsd:Decimal.
infraflex:scenarioProductStorageUnitCost obs:dimensionContext infraflex:scenarioProductData;
    obs:dimensionProperty infraflex:dataProductStorageUnitCost;
    rdfs:subPropertyOf infraflex:storageUnitCost.
infraflex:storageFixedCost a owl:DatatypeProperty;
    rdfs:domain infraflex:ScenarioProduct;
    rdfs:range xsd:Decimal.
infraflex:scenarioProductStorageFixedCost obs:dimensionContext infraflex:scenarioProductData;
    obs:dimensionProperty infraflex:dataProductStorageFixedCost;
    rdfs:subPropertyOf infraflex:storageFixedCost.
infraflex:deficiencyUnitCost a owl:DatatypeProperty;
    rdfs:domain infraflex:ScenarioProduct;
    rdfs:range xsd:Decimal.
infraflex:scenarioProductDeficiencyUnitCost obs:dimensionContext infraflex:scenarioProductData;
    obs:dimensionProperty infraflex:dataProductDeficiencyUnitCost;
    rdfs:subPropertyOf infraflex:deficiencyUnitCost.
infraflex:purchaseUnitCost a owl:DatatypeProperty;
    rdfs:domain infraflex:ScenarioProduct;
    rdfs:range xsd:Decimal.
infraflex:scenarioProductPurchaseUnitCost obs:dimensionContext infraflex:scenarioProductData;
    obs:dimensionProperty infraflex:dataProductPurchaseUnitCost;
    rdfs:subPropertyOf infraflex:purchaseUnitCost.
infraflex:saleUnitRevenue a owl:DatatypeProperty;
    rdfs:domain infraflex:ScenarioProduct;
    rdfs:range xsd:Decimal.
infraflex:scenarioProductSaleUnitRevenue obs:dimensionContext infraflex:scenarioProductData;
    obs:dimensionProperty infraflex:dataProductSaleUnitRevenue;
    rdfs:subPropertyOf infraflex:saleUnitRevenue.
infraflex:ScenarioResource a owl:Class;
    rdfs:subClassOf scenario:ScenarioResource.
infraflex:resourceUsageUnitCost a owl:DatatypeProperty;
    rdfs:domain infraflex:ScenarioResource;
    rdfs:range xsd:Decimal.
infraflex:resourceAvailabilityNominal a owl:DatatypeProperty;
    rdfs:domain infraflex:ScenarioResource;
    rdfs:range xsd:Decimal.
infraflex:Outcome a owl:Class;
    rdfs:subClassOf scenario:Outcome.
infraflex:outcomeScenario a owl:ObjectProperty, owl:FunctionalProperty;
    rdfs:domain infraflex:Outcome;
    rdfs:range infraflex:Scenario;
    rdfs:subPropertyOf scenario:outcomeScenario.
infraflex:storageTotalCost a owl:DatatypeProperty, scenario:Indicator;
    rdfs:domain infraflex:Outcome;
    rdfs:range xsd:decimal;
    rdfs:label "Storage cost".
infraflex:productDeficiencyTotalCost a owl:DatatypeProperty, scenario:Indicator;
    rdfs:domain infraflex:Outcome;
    rdfs:range xsd:decimal;
    rdfs:label "Cost unfulfilled demand".
infraflex:productSaleTotalRevenue a owl:DatatypeProperty, scenario:Indicator;
    rdfs:domain infraflex:Outcome;
    rdfs:range xsd:decimal;
    rdfs:label "Product Sale revenue".
infraflex:resourceUsageTotalCost a owl:DatatypeProperty, scenario:Indicator;
    rdfs:domain infraflex:Outcome;
    rdfs:range xsd:decimal;
    rdfs:label "Resource usage cost".
infraflex:resourceTotalUsage a owl:DatatypeProperty;
    rdfs:domain infraflex:Outcome;
    rdfs:range xsd:decimal;
    rdfs:label "Resource total usage".
infraflex:resourceTotalCapacity a owl:DatatypeProperty;
    rdfs:domain infraflex:Outcome;
    rdfs:range xsd:decimal;
    rdfs:label "Resource total capacity".
infraflex:resourceIdleFraction a owl:DatatypeProperty, scenario:Indicator;
    rdfs:domain infraflex:Outcome;
    rdfs:range xsd:decimal;
    rdfs:label "Fraction of resource idle time".
infraflex:OutcomeProduct a owl:Class;
    rdfs:subClassOf scenario:OutcomeProduct.
infraflex:storageCost a owl:DatatypeProperty;
    rdfs:domain infraflex:OutcomeProduct;
    rdfs:range xsd:Decimal.
infraflex:deficiencyCost a owl:DatatypeProperty;
    rdfs:domain infraflex:OutcomeProduct;
    rdfs:range xsd:Decimal.
infraflex:saleRevenue a owl:DatatypeProperty;
    rdfs:domain infraflex:OutcomeProduct;
    rdfs:range xsd:Decimal.
infraflex:OutcomeResource a owl:Class;
    rdfs:subClassOf scenario:OutcomeResource.
infraflex:usageCost a owl:DatatypeProperty;
    rdfs:domain infraflex:OutcomeResource;
    rdfs:range xsd:Decimal.
infraflex:outcomeLabel rdfs:domain infraflex:Outcome;
    obs:dimensionContext scenario:outcomeScenario;
    obs:dimensionProperty rdfs:label.
infraflex:resourceLabel rdfs:domain scenario:AbstractResource;
    obs:dimensionContext scenario:resourceDefinition;
    obs:dimensionProperty rdfs:label.
infraflex:OutcomeCalcStorageCost obs:observationObservable infraflex:Outcome;
    dep:aggregationScope scenario:outcomeProduct;
    dep:inputDimensionScope infraflex:storageCost;
    dep:inputDimensionThis obs:null;
    dep:outputDimension infraflex:storageTotalCost;
    dep:operator <http://www.w3.org/2000/10/swap/math#sum>.
infraflex:outcomeProductStorageUnitCost rdfs:domain infraflex:OutcomeProduct;
    obs:dimensionContext scenario:outcomeProductDefinition;
    obs:dimensionProperty infraflex:storageUnitCost.
infraflex:outcomeProductStorageFixedCost rdfs:domain infraflex:OutcomeProduct;
    obs:dimensionContext scenario:outcomeProductDefinition;
    obs:dimensionProperty infraflex:storageFixedCost.
infraflex:OutcomeProductCalcStorageCost obs:observationObservable infraflex:OutcomeProduct;
    dep:outputDimension infraflex:storageCost;
    dep:operator blank:scenario_def_n3_41;
    dep:inputDimensions blank:scenario_def_n3_38.
infraflex:OutcomeCalcDeficiencyCost obs:observationObservable infraflex:Outcome;
    dep:aggregationScope scenario:outcomeProduct;
    dep:inputDimensionScope infraflex:deficiencyCost;
    dep:inputDimensionThis obs:null;
    dep:outputDimension infraflex:productDeficiencyTotalCost;
    dep:operator <http://www.w3.org/2000/10/swap/math#sum>.
infraflex:outcomeProductDeficiencyUnitCost rdfs:domain infraflex:OutcomeProduct;
    obs:dimensionContext scenario:outcomeProductDefinition;
    obs:dimensionProperty infraflex:deficiencyUnitCost.
infraflex:OutcomeProductCalcDeficiencyCost obs:observationObservable infraflex:OutcomeProduct;
    dep:outputDimension infraflex:deficiencyCost;
    dep:operator <http://www.w3.org/2000/10/swap/math#product>;
    dep:inputDimensions blank:scenario_def_n3_47.
infraflex:OutcomeCalcSaleRevenue obs:observationObservable infraflex:Outcome;
    dep:aggregationScope scenario:outcomeProduct;
    dep:inputDimensionScope infraflex:saleRevenue;
    dep:inputDimensionThis obs:null;
    dep:outputDimension infraflex:productSaleTotalRevenue;
    dep:operator <http://www.w3.org/2000/10/swap/math#sum>.
infraflex:outcomeProductSaleUnitRevenue rdfs:domain infraflex:OutcomeProduct;
    obs:dimensionContext scenario:outcomeProductDefinition;
    obs:dimensionProperty infraflex:saleUnitRevenue.
infraflex:outcomeProductUncertainSaleFlow a owl:ObjectProperty;
    rdfs:domain scenario:OutcomeProduct;
    rdfs:range scenario:OutcomeProductEventFlow;
    rdfs:subPropertyOf scenario:outcomeProductEventFlow;
    obs:observableContextNavigationPath blank:scenario_def_n3_49.
infraflex:OutcomeProductCalcSaleFlow obs:observationObservable infraflex:OutcomeProduct;
    dep:aggregationScope infraflex:outcomeProductUncertainSaleFlow;
    dep:inputDimensionScope scenario:outcomeProductEventFlowValue;
    dep:inputDimensionThis obs:null;
    dep:outputDimension infraflex:saleFlow;
    dep:operator blank:scenario_def_n3_53.
infraflex:OutcomeProductCalcSaleRevenue obs:observationObservable infraflex:OutcomeProduct;
    dep:outputDimension infraflex:saleRevenue;
    dep:operator <http://www.w3.org/2000/10/swap/math#product>;
    dep:inputDimensions blank:scenario_def_n3_57.
infraflex:OutcomeCalcResourceUsageCost obs:observationObservable infraflex:Outcome;
    dep:aggregationScope scenario:outcomeResource;
    dep:inputDimensionScope infraflex:usageCost;
    dep:inputDimensionThis obs:null;
    dep:outputDimension infraflex:resourceUsageTotalCost;
    dep:operator <http://www.w3.org/2000/10/swap/math#sum>.
infraflex:outcomeResourceUsageUnitCost rdfs:domain infraflex:OutcomeResource;
    obs:dimensionContext scenario:outcomeResourceDefinition;
    obs:dimensionProperty infraflex:resourceUsageUnitCost.
infraflex:OutcomeResourceCalcUsageCost obs:observationObservable scenario:OutcomeResource;
    dep:outputDimension infraflex:usageCost;
    dep:operator <http://www.w3.org/2000/10/swap/math#product>;
    dep:inputDimensions blank:scenario_def_n3_59.
infraflex:OutcomeCalcResourceTotalUsage obs:observationObservable infraflex:Outcome;
    dep:aggregationScope scenario:outcomeResource;
    dep:inputDimensionScope scenario:outcomeRoutingReservationTotal;
    dep:inputDimensionThis obs:null;
    dep:outputDimension infraflex:resourceTotalUsage;
    dep:operator <http://www.w3.org/2000/10/swap/math#sum>.
infraflex:outcomeResourceAvailabilityNominal rdfs:domain infraflex:OutcomeResource;
    obs:dimensionContext scenario:outcomeResourceDefinition;
    obs:dimensionProperty scenario:resourceAvailabilityNominal.
infraflex:OutcomeCalcResourceTotalCapacity obs:observationObservable infraflex:Outcome;
    dep:aggregationScope scenario:outcomeResource;
    dep:inputDimensionScope infraflex:outcomeResourceAvailabilityNominal;
    dep:inputDimensionThis obs:null;
    dep:outputDimension infraflex:resourceTotalCapacity;
    dep:operator <http://www.w3.org/2000/10/swap/math#sum>.
infraflex:OutcomeResourceCalcIdleFraction obs:observationObservable infraflex:Outcome;
    dep:outputDimension infraflex:resourceIdleFraction;
    dep:operator blank:scenario_def_n3_63;
    dep:inputDimensions blank:scenario_def_n3_61.
blank:scenario_def_n3_41 expr:operator <http://www.w3.org/2000/10/swap/math#sum>;
    expr:terms blank:scenario_def_n3_42.
blank:scenario_def_n3_38 rdf:first scenario:outcomeProductStockFinal;
    rdf:rest blank:scenario_def_n3_39.
blank:scenario_def_n3_39 rdf:first infraflex:outcomeProductStorageUnitCost;
    rdf:rest blank:scenario_def_n3_40.
blank:scenario_def_n3_40 rdf:first infraflex:outcomeProductStorageFixedCost;
    rdf:rest rdf:nil.
blank:scenario_def_n3_42 rdf:first blank:scenario_def_n3_43;
    rdf:rest blank:scenario_def_n3_46.
blank:scenario_def_n3_43 expr:operator <http://www.w3.org/2000/10/swap/math#product>;
    expr:terms blank:scenario_def_n3_44.
blank:scenario_def_n3_46 rdf:first expr:param2;
    rdf:rest rdf:nil.
blank:scenario_def_n3_44 rdf:first expr:param0;
    rdf:rest blank:scenario_def_n3_45.
blank:scenario_def_n3_45 rdf:first expr:param1;
    rdf:rest rdf:nil.
blank:scenario_def_n3_47 rdf:first scenario:outcomeProductStockAdjustment;
    rdf:rest blank:scenario_def_n3_48.
blank:scenario_def_n3_48 rdf:first infraflex:outcomeProductDeficiencyUnitCost;
    rdf:rest rdf:nil.
blank:scenario_def_n3_49 rdf:first blank:scenario_def_n3_50;
    rdf:rest blank:scenario_def_n3_51.
blank:scenario_def_n3_50 obs:navigationPathElementPropertyDirect scenario:outcomeProductEventFlow.
blank:scenario_def_n3_51 rdf:first blank:scenario_def_n3_52;
    rdf:rest rdf:nil.
blank:scenario_def_n3_52 obs:navigationPathElementConditionProperty scenario:outcomeProductEventFlowEvent;
    obs:navigationPathElementConditionValue <urn:infraflex:sample:demandGreenFlashlight>.
blank:scenario_def_n3_53 expr:operator <http://www.w3.org/2000/10/swap/math#product>;
    expr:terms blank:scenario_def_n3_54.
blank:scenario_def_n3_54 rdf:first -1.0;
    rdf:rest blank:scenario_def_n3_55.
blank:scenario_def_n3_55 rdf:first blank:scenario_def_n3_56;
    rdf:rest rdf:nil.
blank:scenario_def_n3_56 expr:operator <http://www.w3.org/2000/10/swap/math#sum>;
    expr:terms expr:allParams.
blank:scenario_def_n3_57 rdf:first infraflex:saleFlow;
    rdf:rest blank:scenario_def_n3_58.
blank:scenario_def_n3_58 rdf:first infraflex:outcomeProductSaleUnitRevenue;
    rdf:rest rdf:nil.
blank:scenario_def_n3_59 rdf:first scenario:outcomeRoutingReservationTotal;
    rdf:rest blank:scenario_def_n3_60.
blank:scenario_def_n3_60 rdf:first infraflex:outcomeResourceUsageUnitCost;
    rdf:rest rdf:nil.
blank:scenario_def_n3_63 expr:operator <http://www.w3.org/2000/10/swap/math#quotient>;
    expr:terms blank:scenario_def_n3_64.
blank:scenario_def_n3_61 rdf:first infraflex:resourceTotalCapacity;
    rdf:rest blank:scenario_def_n3_62.
blank:scenario_def_n3_62 rdf:first infraflex:resourceTotalUsage;
    rdf:rest rdf:nil.
blank:scenario_def_n3_64 rdf:first blank:scenario_def_n3_65;
    rdf:rest blank:scenario_def_n3_68.
blank:scenario_def_n3_65 expr:operator <http://www.w3.org/2000/10/swap/math#difference>;
    expr:terms blank:scenario_def_n3_66.
blank:scenario_def_n3_68 rdf:first expr:param0;
    rdf:rest rdf:nil.
blank:scenario_def_n3_66 rdf:first expr:param0;
    rdf:rest blank:scenario_def_n3_67.
blank:scenario_def_n3_67 rdf:first expr:param1;
    rdf:rest rdf:nil.
infraflex:ScrewingCapability a owl:Class;
    rdfs:subClassOf routing:Capability.
infraflex:screwingCapabilityScrewLength a owl:DatatypeProperty;
    rdfs:domain infraflex:Capability;
    rdfs:range xsd:decimal.
infraflex:screwingCapabilityScrewingTorque a owl:DatatypeProperty;
    rdfs:domain infraflex:Capability;
    rdfs:range xsd:decimal.
infraflex:screwingCapabilityScrewThread a owl:DatatypeProperty;
    rdfs:domain infraflex:Capability;
    rdfs:range infraflex:ScrewThread.
infraflex:RequiredScrewingCapability a owl:Class;
    rdfs:subClassOf infraflex:ScrewingCapability.
infraflex:asRequiredScrewingCapability a owl:ObjectProperty;
    rdfs:domain infraflex:RequiredScrewingCapability;
    rdfs:range routing:Definition;
    rdfs:subPropertyOf blank:capability_screwing_n3_69.
infraflex:RequiredScrewingCapabilityObservation rdfs:subClassOf obs:Observation;
    obs:observationInstanceProperty infraflex:asRequiredScrewingCapability.
infraflex:screwingCapabilityScrewLengthDimension rdfs:domain infraflex:RequiredScrewingCapabilityObservation;
    rdfs:subPropertyOf obs:observedDimension;
    obs:observationDimensionProperty infraflex:screwingCapabilityScrewLength.
infraflex:screwingCapabilityScrewingTorqueDimension rdfs:domain infraflex:RequiredScrewingCapabilityObservation;
    rdfs:subPropertyOf obs:observedDimension;
    obs:observationDimensionProperty infraflex:screwingCapabilityScrewingTorque.
infraflex:screwingCapabilityScrewThreadDimension rdfs:domain infraflex:RequiredScrewingCapabilityObservation;
    rdfs:subPropertyOf obs:observedDimension;
    obs:observationDimensionProperty infraflex:screwingCapabilityScrewThread.
blank:capability_screwing_n3_69 owl:inverseOf routing:requiredCapability.
infraflex:screwProcessStepInputScrew obs:observableContextNavigationPath blank:capability_screwing_step_n3_70.
infraflex:screwProcessStepRequiredScrewLength obs:dimensionContext infraflex:screwProcessStepInputScrew;
    obs:dimensionProperty infraflex:screwLength.
infraflex:screwProcessStepRequiredScrewThread obs:dimensionContext infraflex:screwProcessStepInputScrew;
    obs:dimensionProperty infraflex:screwThread.
infraflex:screwProcessStepRequiredScrewingTorque obs:dimensionContext infraflex:pickScrewAndPlaceScrewScrewingRequirements;
    obs:dimensionProperty infraflex:screwingTorque.
infraflex:PickScrewAndPlaceScrewStepRequiredScrewingCapabilityObservation a infraflex:RequiredScrewingCapabilityObservation;
    obs:observationObservable infraflex:PickScrewAndPlaceScrewStep;
    infraflex:screwingCapabilityScrewLengthDimension infraflex:screwProcessStepRequiredScrewLength;
    infraflex:screwingCapabilityScrewingTorqueDimension infraflex:screwProcessStepRequiredScrewingTorque;
    infraflex:screwingCapabilityScrewThreadDimension infraflex:screwProcessStepRequiredScrewThread.
blank:capability_screwing_step_n3_70 rdf:first blank:capability_screwing_step_n3_71;
    rdf:rest blank:capability_screwing_step_n3_72.
blank:capability_screwing_step_n3_71 obs:navigationPathElementPropertyDirect infraflex:screwingInput.
blank:capability_screwing_step_n3_72 rdf:first blank:capability_screwing_step_n3_73;
    rdf:rest rdf:nil.
blank:capability_screwing_step_n3_73 obs:navigationPathElementPropertyDirect infraflex:screwingInputProduct.
infraflex:skillCellScrewingProvider a owl:ObjectProperty;
    rdfs:range infraflex:Cell;
    rdfs:subPropertyOf blank:capability_screwing_cell_n3_103.
infraflex:skillScrewDriver obs:observableContextNavigationPath blank:capability_screwing_cell_n3_74.
infraflex:skillProvidedScrewDriverMaxTorque obs:dimensionContext infraflex:skillScrewDriver;
    obs:dimensionProperty infraflex:screwDriverMaxTorque.
infraflex:skillRequiredScrewLength obs:dimensionContext infraflex:skillCellScrewingRequest;
    obs:dimensionProperty infraflex:screwingCapabilityScrewLength.
infraflex:skillRequiredScrewingTorque obs:dimensionContext infraflex:skillCellScrewingRequest;
    obs:dimensionProperty infraflex:screwingCapabilityScrewingTorque.
infraflex:skillRequiredScrewThread obs:dimensionContext infraflex:skillCellScrewingRequest;
    obs:dimensionProperty infraflex:screwingCapabilityScrewThread.
infraflex:SkillCalcScrewingDuration dep:inputDimensions blank:capability_screwing_cell_n3_80;
    dep:outputDimension infraflex:skillScrewingDuration;
    dep:operator blank:capability_screwing_cell_n3_81.
infraflex:skillScrewingDuration a owl:DatatypeProperty;
    rdfs:subPropertyOf routing:capabilityImplementationQuantity.
infraflex:SkillCalcScrewingEnergy dep:inputDimensions blank:capability_screwing_cell_n3_84;
    dep:outputDimension infraflex:skillScrewingEnergy;
    dep:operator blank:capability_screwing_cell_n3_86.
infraflex:SkillCompatibleThread dep:inputDimensions blank:capability_screwing_cell_n3_90;
    dep:operator blank:capability_screwing_cell_n3_92;
    dep:feasibleDimension infraflex:skillScrewingCompatibleThread.
infraflex:SkillEnoughTorque dep:inputDimensions blank:capability_screwing_cell_n3_97;
    dep:operator utils:greaterThan;
    dep:feasibleDimension infraflex:skillEnoughTorque.
infraflex:SkillCellScrewingCapability a match:MatchDefinition;
    rdfs:comment "The screwing capability of a Cell,\nas an association between an infraflex:Cell and infraflex:RequiredScrewingCapability, \ntherefore excluding multiple implementations for the same resource and requirement\n"@en;
    match:roles blank:capability_screwing_cell_n3_99;
    match:derived infraflex:SkillCalcScrewingDuration, infraflex:SkillCalcScrewingEnergy;
    match:condition infraflex:SkillCompatibleThread, infraflex:SkillEnoughTorque.
infraflex:skillCellScrewingRequirer a owl:ObjectProperty;
    rdfs:range infraflex:ScrewingCapability;
    rdfs:subPropertyOf routing:capabilityProvided.
blank:capability_screwing_cell_n3_74 rdf:first blank:capability_screwing_cell_n3_75;
    rdf:rest blank:capability_screwing_cell_n3_76.
blank:capability_screwing_cell_n3_75 obs:navigationPathElementPropertyDirect infraflex:skillCellScrewingProvider.
blank:capability_screwing_cell_n3_76 rdf:first blank:capability_screwing_cell_n3_77;
    rdf:rest blank:capability_screwing_cell_n3_78.
blank:capability_screwing_cell_n3_103 owl:inverseOf routing:capabilityImplementation.
blank:capability_screwing_cell_n3_77 obs:navigationPathElementPropertyDirect infraflex:cellTool.
blank:capability_screwing_cell_n3_78 rdf:first blank:capability_screwing_cell_n3_79;
    rdf:rest rdf:nil.
blank:capability_screwing_cell_n3_79 obs:navigationPathElementDowncast infraflex:ScrewDriver.
blank:capability_screwing_cell_n3_80 rdf:first infraflex:skillRequiredScrewLength;
    rdf:rest rdf:nil.
blank:capability_screwing_cell_n3_81 expr:operator <http://www.w3.org/2000/10/swap/math#product>;
    expr:terms blank:capability_screwing_cell_n3_82.
blank:capability_screwing_cell_n3_82 rdf:first expr:param0;
    rdf:rest blank:capability_screwing_cell_n3_83.
blank:capability_screwing_cell_n3_83 rdf:first 1.23;
    rdf:rest rdf:nil.
blank:capability_screwing_cell_n3_84 rdf:first infraflex:skillScrewingDuration;
    rdf:rest blank:capability_screwing_cell_n3_85.
blank:capability_screwing_cell_n3_85 rdf:first infraflex:skillRequiredScrewingTorque;
    rdf:rest rdf:nil.
blank:capability_screwing_cell_n3_86 expr:operator <http://www.w3.org/2000/10/swap/math#product>;
    expr:terms blank:capability_screwing_cell_n3_87.
blank:capability_screwing_cell_n3_87 rdf:first expr:param0;
    rdf:rest blank:capability_screwing_cell_n3_88.
blank:capability_screwing_cell_n3_88 rdf:first expr:param1;
    rdf:rest blank:capability_screwing_cell_n3_89.
blank:capability_screwing_cell_n3_89 rdf:first 1.23;
    rdf:rest rdf:nil.
blank:capability_screwing_cell_n3_90 rdf:first infraflex:skillScrewDriver;
    rdf:rest blank:capability_screwing_cell_n3_91.
blank:capability_screwing_cell_n3_91 rdf:first infraflex:skillRequiredScrewThread;
    rdf:rest rdf:nil.
blank:capability_screwing_cell_n3_92 expr:operator utils:associated;
    expr:terms blank:capability_screwing_cell_n3_93.
blank:capability_screwing_cell_n3_93 rdf:first expr:param0;
    rdf:rest blank:capability_screwing_cell_n3_94.
blank:capability_screwing_cell_n3_94 rdf:first blank:capability_screwing_cell_n3_95;
    rdf:rest blank:capability_screwing_cell_n3_96.
blank:capability_screwing_cell_n3_95 expr:rawValue infraflex:screwDriverSupportedScrewThread.
blank:capability_screwing_cell_n3_96 rdf:first expr:param1;
    rdf:rest rdf:nil.
blank:capability_screwing_cell_n3_97 rdf:first infraflex:skillProvidedScrewDriverMaxTorque;
    rdf:rest blank:capability_screwing_cell_n3_98.
blank:capability_screwing_cell_n3_98 rdf:first infraflex:skillRequiredScrewingTorque;
    rdf:rest rdf:nil.
blank:capability_screwing_cell_n3_99 rdf:first blank:capability_screwing_cell_n3_100;
    rdf:rest blank:capability_screwing_cell_n3_101.
blank:capability_screwing_cell_n3_100 rdfs:comment "The cell performing the task"@en;
    match:roleType infraflex:Cell;
    match:roleProperty infraflex:skillCellScrewingProvider;
    rdfs:label "Cell"@en.
blank:capability_screwing_cell_n3_101 rdf:first blank:capability_screwing_cell_n3_102;
    rdf:rest rdf:nil.
blank:capability_screwing_cell_n3_102 rdfs:comment "The required capability (associated to the requirer)"@en;
    match:roleType infraflex:RequiredScrewingCapability;
    match:roleProperty infraflex:skillCellScrewingRequest;
    rdfs:label "Required Capability Screwing"@en.

# Serialization annotations added by generate_docs.py
<https://w3id.org/fm/infraflex>
    <https://w3id.org/widoco/vocab#turtleSerialization> "infraflex.ttl" ;
    <https://w3id.org/widoco/vocab#rdfxmlSerialization> "infraflex.rdf" ;
    <https://w3id.org/widoco/vocab#ntSerialization> "infraflex.nt" ;
    <https://w3id.org/widoco/vocab#jsonldSerialization> "infraflex.jsonld" .
