@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix : <http://example.org/#>.

# owl restriction
:aaa owl:onProperty :bbb.
:aaa owl:allValuesFrom :ccc.

# the following should entail :xxx a :aaa.
{
    :xxx :bbb ?y.
} => {
    ?y a :ccc.
}.

# owl:allValuseFrom description logic
{
    ?a owl:onProperty ?b.
    ?a owl:allValuesFrom ?c.
    {
        ?x ?b ?y.
    } => {
        ?y a ?c.
    }.
} => {
    {
        ?x a ?a.
        ?x ?b ?y.
    } => {
        ?y a ?c.
    }.
    ?x a ?a.
}.

# query
{
    ?S a ?C.
} =^ {
    ?S a ?C.
}.
