Description Logics

   Info_icon.svg       Eye_icon.svg       BibTeX_logo.svg   

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

Computational Models and Languages L-M (2010-2011)

cover