GitHub repository: ykazakov/rw19-dl
Primary language: Java
Created: 2019-09-23T13:37:07Z
Description: A tutorial on Description Logics reasoning given at the 15th Reasoning Web Summer School (RW 2019)