PREFIX om: <http://www.semanticweb.org/florianstapel/ontologies/2014/8/OM.owl#>
PREFIX mdo: <http://www.semanticweb.org/florianstapel/ontologies/2014/8/MDO-Network.owl#>
PREFIX formont: <http://www.semanticweb.org/florianstapel/ontologies/2014/8/OM-Network-Formulations.owl#>
PREFIX spi: <http://www.semanticweb.org/florianstapel/ontologies/2014/8/Top-Set-Parameter-Indexing.owl#>
PREFIX mprop: <http://www.semanticweb.org/florianstapel/ontologies/2015/6/OM.MProps.owl#>
SELECT  ?forment ?setarc  ?unionsetoperandsarc ?unionsetoperandnames ?varparcap ?varparflow
WHERE
{
PropertyValue(?formentiri, om:EName, ?forment),
Type(?formentiri, formont:SingleCommodityFlowBoundsUp), 
PropertyValue(?formentiri, om:requires, ?setarciri), 
Type(?setarciri, mdo:ArcSet), 
PropertyValue(?setarciri, om:EName, ?setarc),
Type(?setarciri, spi:UnionSet),
PropertyValue(?setarciri, spi:hasOperand, ?unionsetoperandsarc),
PropertyValue(?unionsetoperandsarc, om:EName, ?unionsetoperandnames),
PropertyValue(?formentiri, om:requires, ?varparcapiri), 
Type(?varparcapiri, mdo:UpperCapacityCollection),
PropertyValue(?varparcapiri, om:EName, ?varparcap), 
PropertyValue(?formentiri, om:requires, ?varparflowiri), 
Type(?varparflowiri, mdo:SingleCommodityFlowCollection),
PropertyValue(?varparflowiri, om:EName, ?varparflow) 
} OR WHERE
{
PropertyValue(?formentiri, om:EName, ?forment),
Type(?formentiri, formont:SingleCommodityFlowBoundsUp), 
PropertyValue(?formentiri, om:requires, ?setarciri), 
Type(?setarciri, mdo:ArcSet), 
PropertyValue(?setarciri, om:EName, ?setarc),
PropertyValue(?formentiri, om:requires, ?varparcapiri), 
Type(?varparcapiri, mdo:UpperCapacityCollection),
PropertyValue(?varparcapiri, om:EName, ?varparcap), 
PropertyValue(?formentiri, om:requires, ?varparflowiri), 
Type(?varparflowiri, mdo:SingleCommodityFlowCollection),
PropertyValue(?varparflowiri, om:EName, ?varparflow) 
}
