http://spinrdf.org/spl#instanceOf
Class spl:instanceOf

ASK WHERE { { FILTER isURI(?arg1) http://www.fadyart.com/parties#. ?class rdfs:subClassOf* ?arg2 http://www.fadyart.com/parties#. ?arg1 a ?class http://www.fadyart.com/parties#. } UNION { FILTER isLiteral(?arg1) http://www.fadyart.com/parties#. LET (?datatype http://www.fadyart.com/parties#= datatype(?arg1)) http://www.fadyart.com/parties#. FILTER (?datatype = ?arg2) http://www.fadyart.com/parties#. } http://www.fadyart.com/parties#. }

Argument arg1 http://www.fadyart.com/parties# Resource

Argument arg2 http://www.fadyart.com/parties# rdfs:Class

{?arg1} instance of {?arg2}

xsd:boolean

spin:Function

Checks whether a given resource (?arg1) has a given type (?arg2). In order to fulfill this condition, there must either be a triple ?arg1 rdf:type ?arg2, or ?instance rdf:type ?subClass where ?subClass is a subclass of ?arg2. If the first argument is a literal, then the second argument must be the matching XSD datatype.

instanceOf

spl:Logical functions