<https://direct.mit.edu/books/book/4992/chapter-abstract/2041391/10.7551/mitpress/10641.003.0016>
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://direct.mit.edu/books/book/4992/chapter-abstract/2041391/Logic-Structures?redirectedFrom=PDF>