eu.fbk.rdfpro.rules.rdfs.ttl Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of rdfpro-rules Show documentation
Parser and writer for RDF in Turtle Quads (TQL) format. TQL is N-Quads with the more permissive (and efficient!) Turtle encoding. TQL is used in DBpedia exports and is supported in input by the Virtuoso triple store.
There is a newer version: 0.4.1
Show newest version
@prefix rdf:   .
@prefix rdfs:  .
@prefix rr:    .
@prefix :      .

rdfs:Class a rr:StaticTerm.
rdfs:Datatype a rr:StaticTerm.
rdf:Property a rr:StaticTerm.
rdfs:ContainerMembershipProperty a rr:StaticTerm.
rdfs:domain a rr:StaticTerm.
rdfs:range a rr:StaticTerm.
rdfs:subClassOf a rr:StaticTerm.
rdfs:subPropertyOf a rr:StaticTerm.
rdf:List a rr:StaticTerm.

:axioms a rr:Rule;
    rr:head """ rdf:type rdf:type rdf:Property.
                rdf:subject rdf:type rdf:Property.
                rdf:predicate rdf:type rdf:Property.
                rdf:object rdf:type rdf:Property.
                rdf:first rdf:type rdf:Property.
                rdf:rest rdf:type rdf:Property.
                rdf:value rdf:type rdf:Property.
                rdf:_1 rdf:type rdf:Property.
                rdf:nil rdf:type rdf:List.
                rdf:type rdfs:range rdfs:Class.
                rdfs:domain rdfs:range rdfs:Class.
                rdfs:range rdfs:range rdfs:Class.
                rdfs:subClassOf rdfs:range rdfs:Class.
                rdfs:subClassOf rdfs:domain rdfs:Class.
                rdf:first rdfs:domain rdf:List.
                rdf:rest rdfs:domain rdf:List.
                rdf:rest rdfs:range rdf:List.
                rdfs:comment rdfs:range rdfs:Literal.
                rdfs:label rdfs:range rdfs:Literal.
                rdf:subject rdfs:domain rdf:Statement.
                rdf:predicate rdfs:domain rdf:Statement.
                rdf:object rdfs:domain rdf:Statement.
                rdf:Alt rdfs:subClassOf rdfs:Container.
                rdf:Bag rdfs:subClassOf rdfs:Container.
                rdf:Seq rdfs:subClassOf rdfs:Container.
                rdfs:Datatype rdfs:subClassOf rdfs:Class.
                rdf:XMLLiteral rdfs:subClassOf rdfs:Literal.
                rdf:XMLLiteral rdf:type rdfs:Datatype.
                rdfs:isDefinedBy rdfs:subPropertyOf rdfs:seeAlso.
                rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property.
                rdf:_1 rdf:type rdfs:ContainerMembershipProperty.
                rdfs:domain rdfs:domain rdf:Property.
                rdfs:range rdfs:domain rdf:Property.
                rdfs:subPropertyOf rdfs:domain rdf:Property.
                rdfs:subPropertyOf rdfs:range rdf:Property.
                rdf:type rdfs:domain rdfs:Resource.
                rdfs:member rdfs:domain rdfs:Resource.
                rdfs:seeAlso rdfs:domain rdfs:Resource.
                rdfs:isDefinedBy rdfs:domain rdfs:Resource.
                rdfs:comment rdfs:domain rdfs:Resource.
                rdfs:label rdfs:domain rdfs:Resource.
                rdf:value rdfs:domain rdfs:Resource.
                rdf:subject rdfs:range rdfs:Resource.
                rdf:predicate rdfs:range rdfs:Resource.
                rdf:object rdfs:range rdfs:Resource.
                rdfs:member rdfs:range rdfs:Resource.
                rdf:first rdfs:range rdfs:Resource.
                rdfs:seeAlso rdfs:range rdfs:Resource.
                rdfs:isDefinedBy rdfs:range rdfs:Resource.
                rdf:value rdfs:range rdfs:Resource.
                rdf:_1 rdfs:domain rdfs:Resource.
                rdf:_1 rdfs:range rdfs:Resource. """.

:rdf1 a rr:Rule;
    rr:head """ ?p rdf:type rdf:Property. """;
    rr:body """ ?s ?p ?o. """.

:rdfs2 a rr:Rule;
    rr:head """ ?s rdf:type ?x. """;
    rr:body """ ?s ?p ?o. ?p rdfs:domain ?x. FILTER (?x != rdfs:Resource) """.

:rdfs3 a rr:Rule;
    rr:head """ ?o rdf:type ?x """;
    rr:body """ ?s ?p ?o. ?p rdfs:range ?x. FILTER (?x != rdfs:Resource) """.

:rdfs4a a rr:Rule;
    rr:head """ ?s rdf:type rdfs:Resource. """;
    rr:body """ ?s ?p ?o. """.

:rdfs4b a rr:Rule;
    rr:head """ ?o rdf:type rdfs:Resource. """;
    rr:body """ ?s ?p ?o. """.

:rdfs5 a rr:Rule;
    rr:head """ ?p rdfs:subPropertyOf ?r. """;
    rr:body """ ?p rdfs:subPropertyOf ?q. ?q rdfs:subPropertyOf ?r.
                FILTER (?p != ?q && ?q != ?r && ?p != ?r) """.

:rdfs6 a rr:Rule;
    rr:head """ ?p rdfs:subPropertyOf ?p. """;
    rr:body """ ?p rdf:type rdf:Property. """.

:rdfs7 a rr:Rule;
    rr:head """ ?s ?q ?o. """;
    rr:body """ ?s ?p ?o. ?p rdfs:subPropertyOf ?q. FILTER (?p != ?q) """.

:rdfs8 a rr:Rule;
    rr:head """ ?s rdfs:subClassOf rdfs:Resource. """;
    rr:body """ ?s rdf:type rdfs:Class. """.

:rdfs9 a rr:Rule;
    rr:head """ ?s rdf:type ?y. """;
    rr:body """ ?s rdf:type ?x. ?x rdfs:subClassOf ?y. FILTER (?x != ?y) """.

:rdfs10 a rr:Rule;
    rr:head """ ?s rdfs:subClassOf ?s. """;
    rr:body """ ?s rdf:type rdfs:Class. """.

:rdfs11 a rr:Rule;
    rr:head """ ?x rdfs:subClassOf ?z. """;
    rr:body """ ?x rdfs:subClassOf ?y. ?y rdfs:subClassOf ?z.
                FILTER (?x != ?y && ?y != ?z && ?x != ?z) """.

:rdfs12 a rr:Rule;
    rr:head """ ?p rdfs:subPropertyOf rdfs:member. """;
    rr:body """ ?p rdf:type rdfs:ContainerMembershipProperty. """.

:rdfs13 a rr:Rule;
    rr:head """ ?o rdfs:subClassOf rdfs:Literal. """;
    rr:body """ ?o rdf:type rdfs:Datatype. """.