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 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  ?setarc ?nonInstantiable  ?setnode  ?unionsetoperandsnode ?unionsetoperandnames
WHERE
{
PropertyValue(?setarciri, spi:NonInstantiable, ?nonInstantiable),
Type (?setarciri, mdo:ArcSet), 
PropertyValue(?setarciri, om:EName, ?setarc),
PropertyValue(?setarciri, spi:WithinCartProductTwoSame,  ?setnodeiri), 
PropertyValue(?setnodeiri, om:EName, ?setnode), 
Type (?setnodeiri, om:Set), 
Type(?setnodeiri, spi:UnionSet),
PropertyValue(?setnodeiri, spi:hasOperand, ?unionsetoperandsnode),
PropertyValue(?unionsetoperandsnode, om:EName, ?unionsetoperandnames)
} OR WHERE
{
PropertyValue(?setarciri, spi:NonInstantiable, ?nonInstantiable),
Type (?setarciri, mdo:ArcSet), 
PropertyValue(?setarciri, om:EName, ?setarc),
PropertyValue(?setarciri, spi:WithinCartProductTwoSame,  ?setnodeiri), 
PropertyValue(?setnodeiri, om:EName, ?setnode), 
Type (?setnodeiri, om:Set) 
} OR WHERE
{
PropertyValue(?setarciri, spi:NonInstantiable, ?nonInstantiable),
Type (?setarciri, mdo:ArcSet), 
PropertyValue(?setarciri, om:EName, ?setarc)
} OR WHERE
{
Type (?setarciri, mdo:ArcSet), 
PropertyValue(?setarciri, om:EName, ?setarc),
PropertyValue(?setarciri, spi:WithinCartProductTwoSame,  ?setnodeiri), 
PropertyValue(?setnodeiri, om:EName, ?setnode), 
Type (?setnodeiri, om:Set), 
Type(?setnodeiri, spi:UnionSet),
PropertyValue(?setnodeiri, spi:hasOperand, ?unionsetoperandsnode),
PropertyValue(?unionsetoperandsnode, om:EName, ?unionsetoperandnames)
} OR WHERE
{
Type (?setarciri, mdo:ArcSet), 
PropertyValue(?setarciri, om:EName, ?setarc),
PropertyValue(?setarciri, spi:WithinCartProductTwoSame,  ?setnodeiri), 
PropertyValue(?setnodeiri, om:EName, ?setnode), 
Type (?setnodeiri, om:Set) 
} OR WHERE
{
Type (?setarciri, mdo:ArcSet), 
PropertyValue(?setarciri, om:EName, ?setarc)
}
