Franz Baader
Franz Baader
Professor of Theoretical Computer Science, TU Dresden
Verified email at tu-dresden.de - Homepage
TitleCited byYear
The description logic handbook: Theory, implementation and applications
F Baader, D Calvanese, D McGuinness, P Patel-Schneider, D Nardi
Cambridge university press, 2003
113312003
Term Rewriting and All That
F Baader, T Nipkow
Cambridge University Press, 1998
34131998
Pushing the EL envelope
F Baader, S Brandt, C Lutz
Nineteenth International Joint Conference on Artificial Intelligence, 364-369, 2005
11612005
Unification theory
F Baader, W Snyder
Handbook of automated reasoning 1, 445-532, 2001
832*2001
Description logics as ontology languages for the semantic web
F Baader, I Horrocks, U Sattler
Mechanizing mathematical reasoning, 228-248, 2005
7162005
An overview of tableau algorithms for description logics
F Baader, U Sattler
Studia Logica 69 (1), 5-40, 2001
5962001
A scheme for integrating concrete domains into concept languages
F Baader, P Hanschke
12th International Joint Conference on Artificial Intelligence, 452-457, 1991
5441991
Embedding defaults into terminological knowledge representation formalisms
F Baader, B Hollunder
Journal of Automated Reasoning 14 (1), 149-180, 1995
4091995
Description logics
F Baader, I Horrocks, U Sattler
Foundations of Artificial Intelligence 3, 135-179, 2008
3662008
Description logics
F Baader, I Horrocks, U Sattler
Handbook on ontologies, 3-28, 2004
3642004
Am empirical analysis of optimization techniques for terminological representation systems
F Baader, B Hollunder, B Nebel, HJ Profitlich, E Franconi
Applied Intelligence 4 (2), 109-132, 1994
3121994
An empirical analysis of optimization techniques for terminological representation systems: or:'Making KRIS get a move on'
F Baader, B Hollunder, B Nebel, HJ Profitlich, E Franconi
3rd International Conference on Principles of Knowledge Representation and …, 1992
312*1992
Pushing the EL envelope further
F Baader, S Brandt, C Lutz
Workshop on OWL: Experiences and Directions (OWLED 2008), 2008
2842008
Computing least common subsumers in description logics with existential restrictions
F Baader, R Küsters, R Molitor
IJCAI 99, 96-101, 1999
2571999
Terminological cycles in a description logic with existential restrictions
F Baader
IJCAI 3, 325-330, 2003
2392003
CEL — A Polynomial-Time Reasoner for Life Science Ontologies
F Baader, C Lutz, B Suntisrivaraporn
International Joint Conference on Automated Reasoning, 287-291, 2006
2302006
A terminological knowledge representation system with complete inference algorithms
F Baader, B Hollunder
International Workshop on Processing Declarative Knowledge, 67-86, 1991
2211991
Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles
F Baader
12th International Joint Conference on Artificial Intelligence, 446-451, 1991
2101991
Completing Description Logic Knowledge Bases Using Formal Concept Analysis.
F Baader, B Ganter, B Sertkaya, U Sattler
IJCAI 7, 230-235, 2007
2032007
KRIS: Knowledge representation and inference system
F Baader, B Hollunder
Acm Sigart Bulletin 2 (3), 8-14, 1991
2001991
The system can't perform the operation now. Try again later.
Articles 1–20