| 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# |
| ifis | http://www.ifis.uni-luebeck.de# |
| Predicate Name | Arg. 1 | Arg. 2 |
|---|---|---|
| : tree | "20"^^xsd: integer | "rl"^^xsd: string |
| : tree | "["-", "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "1"^^<http://www.w3.org/2001/XMLSchema#integer>]" | "lr"^^xsd: string |
| : innervisited | "/" | "r"^^xsd: string |
| : leafvisited | "2"^^xsd: integer | "lrl"^^xsd: string |
| : tree | "2"^^xsd: integer | "rr"^^xsd: string |
| : innervisited | "+" | "l"^^xsd: string |
| : leafvisited | "20"^^xsd: integer | "rl"^^xsd: string |
| : leafvisited | "1"^^xsd: integer | "ll"^^xsd: string |
| : tree | "["/", "20"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>]" | "r"^^xsd: string |
| : leafvisited | "2"^^xsd: integer | "rr"^^xsd: string |
| : innervisited | "-" | "lr"^^xsd: string |
| : tree | "1"^^xsd: integer | "lrr"^^xsd: string |
| : tree | "2"^^xsd: integer | "lrl"^^xsd: string |
| : tree | "1"^^xsd: integer | "ll"^^xsd: string |
| : innervisited | "*" | "" |
| : leafvisited | "1"^^xsd: integer | "lrr"^^xsd: string |
| : tree | "["+", "1"^^<http://www.w3.org/2001/XMLSchema#integer>, ["-", "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "1"^^<http://www.w3.org/2001/XMLSchema#integer>]]" | "l"^^xsd: string |