deep-taxonomy-benchmark
Version:
Generate the Deep Taxonomy Benchmark for testing RDF Reasoners
2 lines (1 loc) • 6.51 kB
TypeScript
export declare const data = "@prefix log: <http://www.w3.org/2000/10/swap/log#> .\n@prefix owl: <http://www.w3.org/2002/07/owl#> .\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@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .\n\n{\n ?x ?p ?y .\n ?p rdfs:domain ?c .\n}\n=> \n{\n ?x a ?c .\n} .\n{\n ?x ?p ?y .\n ?p rdfs:range ?c .\n}\n=> \n{\n ?y a ?c .\n} .\n{\n ?x ?p ?y1 , ?y2 .\n ?p a owl:FunctionalProperty .\n}\n=> \n{\n ?y1 owl:sameAs ?y2 .\n} .\n{\n ?p a owl:InverseFunctionalProperty .\n ?x1 ?p ?y .\n ?x2 ?p ?y .\n}\n=> \n{\n ?x1 owl:sameAs ?x2 .\n} .\n{\n ?x ?p ?x .\n ?p a owl:IrreflexiveProperty .\n}\n=> false .\n{\n ?x ?p ?y .\n ?p a owl:SymmetricProperty .\n}\n=> \n{\n ?y ?p ?x .\n} .\n{\n ?x ?p ?y .\n ?p a owl:AsymmetricProperty .\n ?y ?p ?x .\n}\n=> false .\n{\n ?x ?p ?y .\n ?p a owl:TransitiveProperty .\n ?y ?p ?z .\n}\n=> \n{\n ?x ?p ?z .\n} .\n{\n ?x ?p1 ?y .\n ?p1 rdfs:subPropertyOf ?p2 .\n}\n=> \n{\n ?x ?p2 ?y .\n} .\n{\n ?x ?p1 ?y .\n ?y ?p2 ?z .\n ?p2 owl:propertyChainAxiom ?n .\n ?n rdf:first ?p1 ;\n rdf:rest ?n2 .\n ?n2 rdf:first ?p2 .\n}\n=> \n{\n ?x ?p2 ?z .\n} .\n{\n ?x ?p1 ?y .\n ?p1 owl:equivalentProperty ?p2 .\n}\n=> \n{\n ?x ?p2 ?y .\n} .\n{\n ?x ?p2 ?y .\n ?p1 owl:equivalentProperty ?p2 .\n}\n=> \n{\n ?x ?p1 ?y .\n} .\n{\n ?x ?p2 ?y ;\n ?p1 ?y .\n ?p1 owl:propertyDisjointWith ?p2 .\n}\n=> false .\n{\n ?x ?p1 ?y .\n ?p1 owl:inverseOf ?p2 .\n}\n=> \n{\n ?y ?p2 ?x .\n} .\n{\n ?x ?p2 ?y .\n ?p1 owl:inverseOf ?p2 .\n}\n=> \n{\n ?y ?p1 ?x .\n} .\n{\n ?x owl:sourceIndividual ?i1 ;\n owl:assertionProperty ?p ;\n owl:targetIndividual ?i2 .\n ?i1 ?p ?i2 .\n}\n=> false .\n{\n ?x owl:sourceIndividual ?i ;\n owl:assertionProperty ?p ;\n owl:targetValue ?lt .\n ?i ?p ?lt .\n}\n=> false .\n{\n ?x a owl:Nothing .\n}\n=> false .\n{\n ?x a ?c1 , ?c2 .\n ?c1 owl:complementOf ?c2 .\n}\n=> false .\n{\n ?x owl:someValuesFrom ?y ;\n owl:onProperty ?p .\n ?u ?p ?v .\n ?v a ?y .\n}\n=> \n{\n ?u a ?x .\n} .\n{\n ?x owl:someValuesFrom owl:Thing ;\n owl:onProperty ?p .\n ?u ?p ?v .\n}\n=> \n{\n ?u a ?x .\n} .\n{\n ?x owl:onProperty ?p ;\n owl:allValuesFrom ?y .\n ?u a ?x ;\n ?p ?v .\n}\n=> \n{\n ?v a ?y .\n} .\n{\n ?x owl:onProperty ?p ;\n owl:hasValue ?y .\n ?u a ?x .\n}\n=> \n{\n ?u ?p ?y .\n} .\n{\n ?x owl:onProperty ?p ;\n owl:hasValue ?y .\n ?u ?p ?y .\n}\n=> \n{\n ?u a ?x .\n} .\n{\n ?x owl:onProperty ?p ;\n owl:maxCardinality \"0\"^^xsd:nonNegativeInteger .\n ?u a ?x ;\n ?p ?y .\n}\n=> false .\n{\n ?x owl:onProperty ?p ;\n owl:maxCardinality \"1\"^^xsd:nonNegativeInteger .\n ?u a ?x ;\n ?p ?y1 , ?y2 .\n}\n=> \n{\n ?y1 owl:sameAs ?y2 .\n} .\n{\n ?x owl:onProperty ?p ;\n owl:maxQualifiedCardinality \"0\"^^xsd:nonNegativeInteger ;\n owl:onClass ?c .\n ?y a ?c .\n ?u a ?x ;\n ?p ?y .\n}\n=> false .\n{\n ?x owl:onProperty ?p ;\n owl:maxQualifiedCardinality \"0\"^^xsd:nonNegativeInteger ;\n owl:onClass owl:Thing .\n ?u a ?x ;\n ?p ?y .\n}\n=> false .\n{\n ?x owl:onProperty ?p ;\n owl:maxQualifiedCardinality \"1\"^^xsd:nonNegativeInteger ;\n owl:onClass ?c .\n ?y1 a ?c .\n ?y2 a ?c .\n ?u a ?x ;\n ?p ?y1 , ?y2 .\n}\n=> \n{\n ?y1 owl:sameAs ?y2 .\n} .\n{\n ?x owl:onProperty ?p ;\n owl:maxQualifiedCardinality \"1\"^^xsd:nonNegativeInteger ;\n owl:onClass owl:Thing .\n ?u a ?x ;\n ?p ?y1 , ?y2 .\n}\n=> \n{\n ?y1 owl:sameAs ?y2 .\n} .\n{\n ?x a ?c1 .\n ?c1 rdfs:subClassOf ?c2 .\n}\n=> \n{\n ?x a ?c2 .\n} .\n{\n ?x a ?c1 .\n ?c1 owl:equivalentClass ?c2 .\n}\n=> \n{\n ?x a ?c2 .\n} .\n{\n ?x a ?c2 .\n ?c1 owl:equivalentClass ?c2 .\n}\n=> \n{\n ?x a ?c1 .\n} .\n{\n ?x a ?c1 , ?c2 .\n ?c1 owl:disjointWith ?c2 .\n}\n=> false .\n{\n ?c a owl:Class .\n}\n=> \n{\n owl:Nothing rdfs:subClassOf ?c .\n ?c rdfs:subClassOf ?c , owl:Thing ;\n owl:equivalentClass ?c .\n} .\n{\n ?c1 rdfs:subClassOf ?c2 .\n ?c2 rdfs:subClassOf ?c3 .\n}\n=> \n{\n ?c1 rdfs:subClassOf ?c3 .\n} .\n{\n ?c1 owl:equivalentClass ?c2 .\n}\n=> \n{\n ?c1 rdfs:subClassOf ?c2 .\n ?c2 rdfs:subClassOf ?c1 .\n} .\n{\n ?c1 rdfs:subClassOf ?c2 .\n ?c2 rdfs:subClassOf ?c1 .\n}\n=> \n{\n ?c1 owl:equivalentClass ?c2 .\n} .\n{\n ?p a owl:ObjectProperty .\n}\n=> \n{\n ?p rdfs:subPropertyOf ?p ;\n owl:equivalentProperty ?p .\n} .\n{\n ?p a owl:DatatypeProperty .\n}\n=> \n{\n ?p rdfs:subPropertyOf ?p ;\n owl:equivalentProperty ?p .\n} .\n{\n ?p2 rdfs:subPropertyOf ?p3 .\n ?p1 rdfs:subPropertyOf ?p2 .\n}\n=> \n{\n ?p1 rdfs:subPropertyOf ?p3 .\n} .\n{\n ?p1 owl:equivalentProperty ?p2 .\n}\n=> \n{\n ?p2 rdfs:subPropertyOf ?p1 .\n ?p1 rdfs:subPropertyOf ?p2 .\n} .\n{\n ?p2 rdfs:subPropertyOf ?p1 .\n ?p1 rdfs:subPropertyOf ?p2 .\n}\n=> \n{\n ?p1 owl:equivalentProperty ?p2 .\n} .\n{\n ?p rdfs:domain ?c1 .\n ?c1 rdfs:subClassOf ?c2 .\n}\n=> \n{\n ?p rdfs:domain ?c2 .\n} .\n{\n ?p2 rdfs:domain ?c .\n ?p1 rdfs:subPropertyOf ?p2 .\n}\n=> \n{\n ?p1 rdfs:domain ?c .\n} .\n{\n ?p rdfs:range ?c1 .\n ?c1 rdfs:subClassOf ?c2 .\n}\n=> \n{\n ?p rdfs:range ?c2 .\n} .\n{\n ?p2 rdfs:range ?c .\n ?p1 rdfs:subPropertyOf ?p2 .\n}\n=> \n{\n ?p1 rdfs:range ?c .\n} .\n{\n ?p1 rdfs:subPropertyOf ?p2 .\n ?c1 owl:onProperty ?p1 ;\n owl:hasValue ?i .\n ?c2 owl:onProperty ?p2 ;\n owl:hasValue ?i .\n}\n=> \n{\n ?c1 rdfs:subClassOf ?c2 .\n} .\n{\n ?y1 rdfs:subClassOf ?y2 .\n ?c1 owl:someValuesFrom ?y1 ;\n owl:onProperty ?p .\n ?c2 owl:someValuesFrom ?y2 ;\n owl:onProperty ?p .\n}\n=> \n{\n ?c1 rdfs:subClassOf ?c2 .\n} .\n{\n ?p1 rdfs:subPropertyOf ?p2 .\n ?c1 owl:someValuesFrom ?y ;\n owl:onProperty ?p1 .\n ?c2 owl:someValuesFrom ?y ;\n owl:onProperty ?p2 .\n}\n=> \n{\n ?c1 rdfs:subClassOf ?c2 .\n} .\n{\n ?y1 rdfs:subClassOf ?y2 .\n ?c1 owl:onProperty ?p ;\n owl:allValuesFrom ?y1 .\n ?c2 owl:onProperty ?p ;\n owl:allValuesFrom ?y2 .\n}\n=> \n{\n ?c1 rdfs:subClassOf ?c2 .\n} .\n{\n ?p1 rdfs:subPropertyOf ?p2 .\n ?c1 owl:onProperty ?p1 ;\n owl:allValuesFrom ?y .\n ?c2 owl:onProperty ?p2 ;\n owl:allValuesFrom ?y .\n}\n=> \n{\n ?c2 rdfs:subClassOf ?c1 .\n} .\n";