Sign in
apache
/
jena
/
jena-3.0.0-rc1
/
.
/
jena-core
/
testing
/
reasoners
/
genericRuleTest.rules
blob: e4f0278c13b869206a021914c8f0844bb3622b35 [
file
] [
log
] [
blame
]
->
tableAll
().
[
a1
:
->
(
a rdf
:
type t
)]
[
r0
:
(?
x r
?
y
)
->
(?
x p
?
y
)]
[
r1
:
(?
p rdf
:
type s
)
->
[
r1b
:
(?
x
?
p
?
y
)
<-
(?
y
?
p
?
x
)]]
[
r2
:
(?
p rdf
:
type s
)
->
[
r2b
:
(?
x
?
p
?
x
)
<-
(?
x rdf
:
type t
)]]