| Download: | N3 ruleset from Herman J. ter Horst's pD* (axiomatic semantics for OWL/RDFS) |
|
Tip: Use the SHA1 checksum shown to verify file integrity. |
|||||||||
|
|
Search
|
| Download: | N3 ruleset from Herman J. ter Horst's pD* (axiomatic semantics for OWL/RDFS) |
|
Tip: Use the SHA1 checksum shown to verify file integrity. |
|||||||||