Description Logics

   page       attach   

The seminar shows the main Description Logic formalisms, languages and tools.