Reasoning over Knowledge Graphs in an Intuitionistic Description Logic.

Bernardo Alkmim, Edward Hermann Haeusler, Daniel Schwabe

Browse the full JURIX paper archive.