Ralf Baader

E314055

Ralf Baader is a German logician and computer scientist known for his contributions to description logics and knowledge representation.

All labels observed (1)

Label Occurrences
Ralf Baader canonical 1

How this entity was disambiguated

Statements (30)

Predicate Object
instanceOf academic
computer scientist
logician
person
authorOf The Description Logic Handbook
coAuthor Daniele Nardi
Deborah McGuinness
Diego Calvanese
Peter Patel-Schneider
countryOfCitizenship Germany
editorOf The Description Logic Handbook
employer Dresden University of Technology
surface form: Technische Universität Dresden
fieldOfWork artificial intelligence
description logic
knowledge representation
logic in computer science
hasAffiliation Dresden University of Technology
surface form: Technische Universität Dresden
knownFor contributions to description logics
research on term rewriting
research on unification theory
work on knowledge representation
languageSpoken English
German
memberOf description logic research community
notableWork The Description Logic Handbook
occupation university professor
positionHeld professor of computer science
researchInterest automated reasoning
ontology languages
semantic web formalisms

How these facts were elicited

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Baader hasNotableBearer Ralf Baader