contexts.n3

Jena推理机

# Test data in notation3 http://www.w3.org/DesignIssues/Notation3.html
#    
@prefix u: <http://www.example.org/utilities#> .
@prefix : <#> .

:assumption = { :fred u:knows :john .
                :john u:knows :mary .} .

:conclusion = { :fred u:knows :mary . } .

# The empty context is trivially true.
# Check that we can input it and output it!

:trivialTruth = { }.

# ENDS