Description Logics

@talk{nardinidl10,
    abstract = {The seminar shows the main Description Logic formalisms, languages and tools.},
    author = {Nardini, Elena},
    date = {2010-12-17},
    language = {en},
    month = dec,
    note = {Computational Models and Languages L-M (2010-2011)},
    sort = {seminar},
    speaker = {Nardini, Elena},
    title = {Description Logics},
    type = {Seminar},
    year = 2010
}