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 (2)

Label Occurrences
Franz Baader 1
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 Technische Universität Dresden ⓘ
fieldOfWork artificial intelligence ⓘ
description logic ⓘ
knowledge representation ⓘ
logic in computer science ⓘ
hasAffiliation 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 (2)

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

Baader → hasNotableBearer → Ralf Baader ⓘ
The Description Logic Handbook → editor → Franz Baader ⓘ
linked to: Ralf Baader