Skip to content

Instantly share code, notes, and snippets.

@jeswr

jeswr/rdfs.hylar

Last active April 2, 2022 03:57
Show Gist options
  • Save jeswr/e914df85df0b3d39cfc42f462770ed87 to your computer and use it in GitHub Desktop.
Save jeswr/e914df85df0b3d39cfc42f462770ed87 to your computer and use it in GitHub Desktop.
Download ZIP
rdfs
Raw
rdfs.hylar
(?uuu ?aaa ?yyy) -> (?aaa rdf:type rdf:Property)
(?aaa rdfs:domain ?xxx) ^ (?uuu ?aaa ?yyy) -> (?uuu rdf:type ?xxx)
(?aaa rdfs:range ?xxx) ^ (?uuu ?aaa ?vvv) -> (?vvv rdf:type ?xxx)
(?uuu ?aaa ?xxx) -> (?uuu rdf:type rdfs:Resource)
(?uuu ?aaa ?vvv) -> (?vvv rdf:type rdfs:Resource)
(?uuu rdfs:subPropertyOf ?vvv) ^ (?vvv rdfs:subPropertyOf ?xxx) -> (?uuu rdfs:subPropertyOf ?xxx)
(?uuu rdf:type rdf:Property) -> (?uuu rdfs:subPropertyOf ?uuu)
(?aaa rdfs:subPropertyOf ?bbb) ^ (?uuu ?aaa ?yyy) -> (?uuu ?bbb ?yyy)
(?uuu rdf:type rdfs:Class) -> (?uuu rdfs:subClassOf rdfs:Resource)
(?uuu rdfs:subClassOf ?xxx) ^ (?vvv rdf:type ?uuu) -> (?vvv rdf:type ?xxx)
(?uuu rdf:type rdfs:Class) -> (?uuu rdfs:subClassOf ?uuu)
(?uuu rdfs:subClassOf ?vvv) ^ (?vvv rdfs:subClassOf ?xxx) -> (?uuu rdfs:subClassOf ?xxx)
(?uuu rdf:type rdfs:ContainerMembershipProperty) -> (?uuu rdfs:subPropertyOf rdfs:member)
(?uuu rdf:type rdfs:Datatype) -> (?uuu rdfs:subClassOf rdfs:Literal)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment