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 (40)

Predicate Name Arg. 1 Arg. 2 Arg. 3 Arg. 4
: path : C : E "11"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#C>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>]"
: path : C : F "9"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#C>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>]"
: path : A : E "12"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#B>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>]"
: path : D : A "11"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>]"
: path : D : C "14"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#C>]"
: path : E : F "16"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#B>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>]"
: path : D : A "16"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>]"
: path : D : E "5"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>]"
: path : D : B "18"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#B>]"
: path : C : A "22"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#C>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>]"
: path : E : D "13"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#B>, <http://www.ifis.uni-luebeck.de#D>]"
: path : F : C "11"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#C>]"
: path : B : F "8"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#B>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>]"
: path : A : F "12"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#C>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>]"
: path : E : D "15"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#C>, <http://www.ifis.uni-luebeck.de#D>]"
: path : B : E "10"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#B>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>]"
: path : B : A "16"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#B>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>]"
: path : A : F "10"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#B>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>]"
: path : E : F "18"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#C>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>]"
: path : A : D "9"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#C>, <http://www.ifis.uni-luebeck.de#D>]"
: path : A : E "19"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#C>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#E>]"
: path : F : D "17"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#C>, <http://www.ifis.uni-luebeck.de#D>]"
: path : B : C "24"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#B>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#C>]"
: path : E : C "9"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#C>]"
: path : F : A "8"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>]"
: path : E : B "8"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#B>]"
: path : A : D "7"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#B>, <http://www.ifis.uni-luebeck.de#D>]"
: path : B : A "21"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#B>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>]"
: path : B : C "19"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#B>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#C>]"
: path : A : E "14"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#C>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>]"
: path : C : B "24"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#C>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#B>]"
: path : A : E "17"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#B>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#E>]"
: path : C : B "19"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#C>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#B>]"
: path : D : B "13"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#B>]"
: path : B : E "15"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#B>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#E>]"
: path : F : B "10"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#B>]"
: path : C : A "17"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#C>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>]"
: path : C : E "16"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#C>, <http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#E>]"
: path : D : C "19"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#D>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#C>]"
: path : F : D "15"^^xsd: integer "[<http://www.ifis.uni-luebeck.de#F>, <http://www.ifis.uni-luebeck.de#E>, <http://www.ifis.uni-luebeck.de#A>, <http://www.ifis.uni-luebeck.de#B>, <http://www.ifis.uni-luebeck.de#D>]"

Results (0)