Result of Query

Prefixes

rdf http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs http://www.w3.org/2000/01/rdf-schema#
owl http://www.w3.org/2002/07/owl#
xsd http://www.w3.org/2001/XMLSchema#
http://www.ifis.uni-luebeck.de#
pred http://www.w3.org/2007/rif-builtin-predicate#
func http://www.w3.org/2007/rif-builtin-function#

Predicates (25)

Predicate Name Arg. 1 Arg. 2
: input_k "["3"^^<http://www.w3.org/2001/XMLSchema#integer>]" "6"^^xsd: integer
: merge "["1"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>]" "[]" "1"^^xsd: integer
: input_k "["1"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>]" "1"^^xsd: integer
: input_k "["1"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>]" "2"^^xsd: integer
: input_k "["4"^^<http://www.w3.org/2001/XMLSchema#integer>]" "5"^^xsd: integer
: mergeresult "["2"^^<http://www.w3.org/2001/XMLSchema#integer>]" "7"^^xsd: integer
: merge "[]" "[]" "["1"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>]" "2"^^xsd: integer
: input_k "["2"^^<http://www.w3.org/2001/XMLSchema#integer>]" "7"^^xsd: integer
: mergeresult "["4"^^<http://www.w3.org/2001/XMLSchema#integer>]" "5"^^xsd: integer
: mergeresult "["1"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>]" "2"^^xsd: integer
: mergeresult "["3"^^<http://www.w3.org/2001/XMLSchema#integer>]" "6"^^xsd: integer
: input_k "["3"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>]" "3"^^xsd: integer
: mergeresult "["1"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>]" "1"^^xsd: integer
: merge "["4"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["1"^^<http://www.w3.org/2001/XMLSchema#integer>]" "1"^^xsd: integer
: merge "["1"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["4"^^<http://www.w3.org/2001/XMLSchema#integer>]" "[]" "2"^^xsd: integer
: mergeresult "["2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>]" "3"^^xsd: integer
: input_k "["1"^^<http://www.w3.org/2001/XMLSchema#integer>]" "4"^^xsd: integer
: mergeresult "["1"^^<http://www.w3.org/2001/XMLSchema#integer>]" "4"^^xsd: integer
: merge "["3"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["2"^^<http://www.w3.org/2001/XMLSchema#integer>]" "[]" "3"^^xsd: integer
: merge "[]" "["4"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["1"^^<http://www.w3.org/2001/XMLSchema#integer>]" "2"^^xsd: integer
: merge "[]" "[]" "["1"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>]" "1"^^xsd: integer
: merge "["4"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["3"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["1"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>]" "1"^^xsd: integer
: merge "["3"^^<http://www.w3.org/2001/XMLSchema#integer>]" "[]" "["2"^^<http://www.w3.org/2001/XMLSchema#integer>]" "3"^^xsd: integer
: merge "[]" "[]" "["2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>]" "3"^^xsd: integer
: merge "["4"^^<http://www.w3.org/2001/XMLSchema#integer>]" "[]" "["1"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>]" "1"^^xsd: integer

Results (0)