jeswr/next-infer.hylar

Created December 31, 2021 14:13

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/jeswr/c9422de141d71b03b180c63c1f197aa4.js"></script>
Save jeswr/c9422de141d71b03b180c63c1f197aa4 to your computer and use it in GitHub Desktop.

Download ZIP

next-infer

Raw

next-infer.hylar

(?uuu rdfs:subClassOf ?xxx) ^ (?vvv rdf:type ?uuu) -> (?vvv rdf:type ?xxx)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment