deep-taxonomy-benchmark
Version:
Generate the Deep Taxonomy Benchmark for testing RDF Reasoners
2 lines (1 loc) • 1.43 kB
TypeScript
export declare const data = "@prefix log: <http://www.w3.org/2000/10/swap/log#> .\n@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .\n@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .\n\n\n{\n ?uuu ?aaa ?yyy .\n}\n=> \n{\n ?aaa a rdf:Property .\n} .\n{\n ?aaa rdfs:domain ?xxx .\n ?uuu ?aaa ?yyy .\n}\n=> \n{\n ?uuu a ?xxx .\n} .\n{\n ?aaa rdfs:range ?xxx .\n ?uuu ?aaa ?vvv .\n}\n=> \n{\n ?vvv a ?xxx .\n} .\n{\n ?uuu ?aaa ?xxx .\n}\n=> \n{\n ?uuu a rdfs:Resource .\n} .\n{\n ?uuu ?aaa ?vvv .\n}\n=> \n{\n ?vvv a rdfs:Resource .\n} .\n{\n ?uuu rdfs:subPropertyOf ?vvv .\n ?vvv rdfs:subPropertyOf ?xxx .\n}\n=> \n{\n ?uuu rdfs:subPropertyOf ?xxx .\n} .\n{\n ?uuu a rdf:Property .\n}\n=> \n{\n ?uuu rdfs:subPropertyOf ?uuu .\n} .\n{\n ?aaa rdfs:subPropertyOf ?bbb .\n ?uuu ?aaa ?yyy .\n}\n=> \n{\n ?uuu ?bbb ?yyy .\n} .\n{\n ?uuu a rdfs:Class .\n}\n=> \n{\n ?uuu rdfs:subClassOf rdfs:Resource .\n} .\n{\n ?uuu rdfs:subClassOf ?xxx .\n ?vvv a ?uuu .\n}\n=> \n{\n ?vvv a ?xxx .\n} .\n{\n ?uuu a rdfs:Class .\n}\n=> \n{\n ?uuu rdfs:subClassOf ?uuu .\n} .\n{\n ?uuu rdfs:subClassOf ?vvv .\n ?vvv rdfs:subClassOf ?xxx .\n}\n=> \n{\n ?uuu rdfs:subClassOf ?xxx .\n} .\n{\n ?uuu a rdfs:ContainerMembershipProperty .\n}\n=> \n{\n ?uuu rdfs:subPropertyOf rdfs:member .\n} .\n{\n ?uuu a rdfs:Datatype .\n}\n=> \n{\n ?uuu rdfs:subClassOf rdfs:Literal .\n} .\n";