https://123dok.net/document/zwv9pl80-experiments-usage-deductive-database-rdfs-querying-reasoning.html