Description Logics

   page       BibTeX_logo.png       attach   

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

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

cover