Typed RDF, OWL and Scala was: The Joy of NULLs (not) https://lists.w3.org/Archives/Public/semantic-web/2020Feb/0016.html 関手オントロジー論理（ologs, Functorial Ontology Logics）→関係の双圏における知識表現（Knowledge Representation in Bicategories of Relations）＝集合間の関係だけでなく関係同士の関係（subPropertyOf）も考えるということで、RDFとの親和性があるのだという