| # 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 | |