| // Test the @prefix and @include operations | |
| @prefix p1: <http://jena.hpl.hp.com/newprefix#> | |
| @prefix p2: <http://jena.hpl.hp.com/newprefix2#>. | |
| -> (p1:A p2:p p1:foo). | |
| @include <RDFS>. | |
| -> (p1:A rdfs:subClassOf p1:B). | |
| -> (p1:B rdfs:subClassOf p1:C). | |
| @include <file:testing/reasoners/include.rules>. |