×
Compute Distance To:
Author ID: baader.franz Recent zbMATH articles by "Baader, Franz"
Published as: Baader, Franz; Baader, F.
External Links: ORCID · dblp
Documents Indexed: 125 Publications since 1986, including 2 Books
9 Contributions as Editor
Biographic References: 2 Publications
Co-Authors: 81 Co-Authors with 113 Joint Publications
1,171 Co-Co-Authors
all top 5

Co-Authors

21 single-authored
11 Borgwardt, Stefan
11 Morawska, Barbara
8 Schulz, Klaus U.
7 Ghilardi, Silvio
7 Lutz, Carsten
7 Peñaloza, Rafael
7 Tinelli, Cesare
6 Fernández Gil, Oliver
5 Koopmann, Patrick
5 McGuinness, Deborah L.
5 Sattler, Ulrike
4 Lippmann, Marcel
4 Marantidis, Pavlos
4 Okhotin, Alexander
4 Sertkaya, Barış
4 Turhan, Anni-Yasmin
4 Wolter, Frank
3 Bauer, Andreas
3 Calvanese, Diego
3 Ecke, Andreas
3 Hladik, Jan
3 Hollunder, Bernhard
3 Küsters, Ralf
3 Liu, Hongkai
3 Nardi, Daniele
3 Patel-Schneider, Peter F.
3 Rydval, Jakub
2 Binh, Nguyen Thanh
2 Borgida, Alex
2 Brewka, Gerhard
2 Distel, Felix
2 Horrocks, Ian
2 Kapur, Deepak
2 Kern-Isberner, Gabriele
2 Kriegel, Francesco
2 Molitor, Ralf
2 Nuradiansyah, Adrian
2 Nutt, Werner
2 Ozaki, Ana
2 Thost, Veronika
2 Tobies, Stephan
2 Wilhelm, Marco
1 Alrabbaa, Christian
1 Baumgartner, Peter
1 Bednarczyk, Bartosz
1 Bienvenu, Meghyn
1 Buchheit, Martin
1 Büttner, Wolfram
1 Bürckert, Hans Jürgen
1 Cregan, Anne
1 De Bortoli, Filippo
1 Drescher, Conrad
1 Eiter, Thomas
1 Gabaldon, Alfredo
1 Guhlemann, Steffen
1 Hanschke, Philipp
1 Ji, Krystian
1 Karabaev, Eldar
1 Kovtunova, Alisa
1 Mehdi, Anees Ul
1 Mendez, Julian
1 Mottet, Antoine
1 Narendran, Paliath
1 Nebel, Bernhard
1 Nipkow, Tobias
1 Ohlbach, Hans Jürgen
1 Petersohn, Uwe
1 Rajaratnam, David
1 Rostamigiv, Maryam
1 Rudolph, Sebastian
1 Sattler, Uli
1 Schwitter, Rolf
1 Smolka, Gert
1 Snyder, Wayne
1 Steinke, Peter
1 Sturm, Holger
1 Theißen, Manfred
1 Thielscher, Michael
1 Tiu, Alwen Fernanto
1 Voronkov, Andrei
1 Zarrieß, Benjamin

Publications by Year

Citations contained in zbMATH Open

111 Publications have been cited 1,351 times in 920 Documents Cited by Year
Term rewriting and all that. Zbl 0948.68098
Baader, Franz; Nipkow, Tobias
308
1999
The description logic handbook. Theory, implementation, and applications. Zbl 1058.68107
231
2003
Unification theory. Zbl 1011.68126
Baader, Franz; Snyder, Wayne
88
2001
The description logic handbook. Theory, implementation, and applications. 2nd ed. Zbl 1132.68055
68
2007
An overview of tableau algorithms for description logics. Zbl 0991.03012
Baader, Franz; Sattler, Ulrike
35
2001
Unification of concept terms in description logics. Zbl 0970.68166
Baader, Franz; Narendran, Paliath
31
2001
An introduction to description logic. Zbl 1373.68002
Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli
30
2017
Unification in the union of disjoint equational theories: Combining decision procedures. Zbl 0851.68055
Baader, Franz; Schulz, Klaus U.
25
1996
Description logics as ontology languages for the semantic web. Zbl 1098.68705
Baader, Franz; Horrocks, Ian; Sattler, Ulrike
21
2005
A scheme for integrating concrete domains into concept languages. Zbl 0742.68063
Baader, Franz; Hanschke, Philipp
20
1991
Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. Zbl 0842.68081
Baader, Franz; Hollunder, Bernhard
19
1995
Unification in modal and description logics. Zbl 1258.03018
Baader, Franz; Ghilardi, Silvio
19
2011
Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. Zbl 0742.68064
Baader, Franz
17
1991
The theory of idempotent semigroups is of unification type zero. Zbl 0626.68070
Baader, Franz
15
1986
Qualifying number restrictions in concept languages. Zbl 0765.68190
Hollunder, Bernhard; Baader, Franz
15
1991
Unification in a description logic with transitive closure of roles. Zbl 1275.68134
Baader, Franz; Küsters, Ralf
14
2001
Unification in the union of disjoint equational theories: Combining decision procedures. Zbl 0925.03084
Baader, Franz; Schulz, Klaus U.
13
1992
Axiom pinpointing in general tableaux. Zbl 1191.68645
Baader, Franz; Peñaloza, Rafael
13
2010
Unification in the description logic EL. Zbl 1214.68379
Baader, Franz; Morawska, Barbara
12
2010
On the undecidability of fuzzy description logics with GCIs and product t-norm. Zbl 1348.68236
Baader, Franz; Peñaloza, Rafael
11
2011
Unification in commutative theories. Zbl 0689.68039
Baader, Franz
10
1989
Deciding the word problem in the union of equational theories. Zbl 1049.03032
Baader, Franz; Tinelli, Cesare
10
2002
Automata-based axiom pinpointing. Zbl 1213.68589
Baader, Franz; Peñaloza, Rafael
10
2010
Combination techniques and decision problems for disunification. Zbl 0873.68188
Baader, Franz; Schulz, Klaus U.
9
1995
The instance problem and the most specific concept in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics. Zbl 1274.68450
Baader, Franz
9
2003
LTL over description logic axioms. Zbl 1351.68260
Baader, Franz; Ghilardi, Silvio; Lutz, Carsten
9
2012
The description logic handbook. Theory, implementation, and applications. Reprint of the 2007 hardback ed. Zbl 1191.68652
9
2010
Unification in commutative theories, Hilbert’s basis theorem, and Gröbner bases. Zbl 0791.68146
Baader, Franz
8
1993
On the expressivity of feature logics with negation, functional uncertainty, and sort equations. Zbl 0788.68131
Baader, Franz; Bürckert, Hans-Jürgen; Nebel, Bernhard; Nutt, Werner; Smolka, Gert
8
1993
Unification in varieties of idempotent semigroups. Zbl 0624.20039
Baader, Franz
8
1987
A multi-dimensional terminological knowledge representation language. Zbl 0845.68098
Baader, Franz; Ohlbach, Hans Jürgen
8
1995
Using automata theory for characterizing the semantics of terminological cycles. Zbl 0891.68111
Baader, Franz
8
1996
Cardinality restrictions on concepts. Zbl 0907.68181
Baader, Franz; Buchheit, Martin; Hollunder, Bernhard
8
1996
Connecting many-sorted theories. Zbl 1136.03012
Baader, Franz; Ghilardi, Silvio
7
2007
Computing the least common subsumer w.r.t. a background terminology. Zbl 1122.68117
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
7
2007
Unification in commutative idempotent monoids. Zbl 0658.68108
Baader, Franz; Büttner, Wolfram
7
1988
Query and predicate emptiness in ontology-based data access. Zbl 1357.68226
Baader, Franz; Bienvenu, Meghyn; Lutz, Carsten; Wolter, Frank
7
2016
An algebraic view on p-admissible concrete domains for lightweight description logics. Zbl 07437042
Baader, Franz; Rydval, Jakub
7
2021
Matching in description logics. Zbl 0940.03036
Baader, Franz; Küsters, Ralf; Borgida, Alex; McGuinness, Deborah L.
6
1999
Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Zbl 0853.03008
Baader, Franz; Nutt, Werner
6
1996
Fusions of description logics and abstract description systems. Zbl 0995.03025
Baader, F.; Lutz, C.; Sturm, H.; Wolter, F.
6
2002
The inverse method implements the automata approach for modal satisfiability. Zbl 0988.03021
Baader, Franz; Tobies, Stephan
6
2001
Combination of constraint solvers for free and quasi-free structures. Zbl 0895.68019
Baader, Franz; Schulz, Klaus U.
6
1998
Automata can show PSpace results for description logics. Zbl 1149.68073
Baader, Franz; Hladik, Jan; Peñaloza, Rafael
6
2008
On the complexity of Boolean unification. Zbl 1338.68092
Baader, Franz
5
1998
Combining constraint solving. Zbl 0976.03515
Baader, Franz; Schulz, Klaus U.
5
2001
Unification in the description logic \(\mathcal{EL}\). Zbl 1242.68300
Baader, Franz; Morawska, Barbara
5
2009
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Zbl 1098.03048
Baader, Franz; Ghilardi, Silvio; Tinelli, Cesare
5
2006
Adding threshold concepts to the description logic \(\mathcal{EL}\). Zbl 1471.68265
Baader, Franz; Brewka, Gerhard; Fernández Gil, Oliver
5
2015
On language equations with one-sided concatenation. Zbl 1359.68155
Baader, Franz; Okhotin, Alexander
4
2013
General \(A\)- and \(AX\)-unification via optimized combination procedures. Zbl 0925.03059
Baader, Franz; Schulz, Klaus U.
4
1993
Deciding the word problem in the union of equational theories sharing constructors. Zbl 0976.03051
Baader, Franz; Tinelli, Cesare
4
1999
A formal definition for the expressive power of terminological knowledge representation languages. Zbl 0844.68109
Baader, Franz
4
1996
Tableau algorithms for description logics. Zbl 0963.03015
Baader, Franz; Sattler, Ulrike
4
2000
Applying formal concept analysis to description logics. Zbl 1197.68076
Baader, Franz; Sertkaya, Baris
4
2004
From tableaux to automata for description logics. Zbl 1273.03095
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
4
2003
Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics. Zbl 1274.68451
Baader, Franz
4
2003
Using causal relationships to deal with the ramification problem in action formalisms based on description logics. Zbl 1306.68180
Baader, Franz; Lippmann, Marcel; Liu, Hongkai
4
2010
SAT encoding of unification in \(\mathcal{EL}\). Zbl 1306.68181
Baader, Franz; Morawska, Barbara
4
2010
Description logics. Zbl 1254.68245
Baader, Franz
4
2009
SAT encoding of unification in \(\mathcal{ELH}_{{R}^+}\) w.r.t. cycle-restricted ontologies. Zbl 1358.68280
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
4
2012
Unification theory. Zbl 0970.68148
Baader, Franz; Schulz, Klaus U.
3
1998
Expressive number restrictions in description logics. Zbl 0940.03035
Baader, Franz; Sattler, Ulrike
3
1999
Combining decision procedures for positive theories sharing constructors. Zbl 1045.03013
Baader, Franz; Tinelli, Cesare
3
2002
Approximate unification in the description logic \(\mathcal {FL}_0\). Zbl 1483.68364
Baader, Franz; Marantidis, Pavlos; Okhotin, Alexander
3
2016
Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor. Zbl 1358.68272
Baader, Franz; Binh, Nguyen Thanh; Borgwardt, Stefan; Morawska, Barbara
3
2016
Computing the least common subsumer w.r.t. a background terminology. Zbl 1111.68664
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
3
2004
A novel architecture for situation awareness systems. Zbl 1260.68387
Baader, Franz; Bauer, Andreas; Baumgartner, Peter; Cregan, Anne; Gabaldon, Alfredo; Ji, Krystian; Lee, Kevin; Rajaratnam, David; Schwitter, Rolf
3
2009
Runtime verification using a temporal description logic. Zbl 1193.68160
Baader, Franz; Bauer, Andreas; Lippmann, Marcel
3
2009
Putting ABox updates into action. Zbl 1193.68233
Drescher, Conrad; Liu, Hongkai; Baader, Franz; Guhlemann, Steffen; Petersohn, Uwe; Steinke, Peter; Thielscher, Michael
3
2009
Finding good proofs for description logic entailments using recursive quality measures. Zbl 07437085
Alrabbaa, Christian; Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Kovtunova, Alisa
3
2021
A note on unification type zero. Zbl 0636.68030
Baader, Franz
2
1988
Dismatching and local disunification in \(\mathcal {EL}\). Zbl 1366.68274
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
2
2015
Combining equational theories sharing non-collapse-free constructors. Zbl 0962.03037
Baader, Franz; Tinelli, Cesare
2
2000
Logic-based knowledge representation. Zbl 0956.68537
Baader, Franz
2
1999
Building and structuring description logic knowledge bases using least common subsumers and concept analysis. Zbl 0973.68228
Baader, Franz; Molitor, Ralf
2
2000
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Zbl 1126.03302
Baader, Franz; Ghilardi, Silvio; Tinelli, Cesare
2
2004
Axiom pinpointing in general tableaux. Zbl 1132.68675
Baader, Franz; Peñaloza, Rafael
2
2007
A finite basis for the set of \(\mathcal{EL}\)-implications holding in a finite model. Zbl 1132.68056
Baader, Franz; Distel, Felix
2
2008
Frontiers of combining systems. First international workshop, Munich, Germany, March 26–29, 1996. Zbl 0885.00046
2
1996
Automata-based axiom pinpointing. Zbl 1165.68497
Baader, Franz; Peñaloza, Rafael
2
2008
On the problem of computing small representations of least common subsumers. Zbl 1015.68547
Baader, Franz; Turhan, Anni-Yasmin
2
2002
A new description logic with set constraints and cardinality constraints on role successors. Zbl 1495.68203
Baader, Franz
2
2017
Metric temporal description logics with interval-rigid names. Zbl 1495.68204
Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika
2
2017
Temporalizing ontology-based data access. Zbl 1381.68075
Baader, Franz; Borgwardt, Stefan; Lippmann, Marcel
2
2013
Verification of Golog programs over description logic actions. Zbl 1398.68568
Baader, Franz; Zarrieß, Benjamin
2
2013
UEL: unification solver for the description logic \(\mathcal{EL}\) – system description. Zbl 1358.68281
Baader, Franz; Mendez, Julian; Morawska, Barbara
2
2012
A new approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method. Zbl 1430.03036
Baader, Franz; Tinelli, Cesare
2
1997
Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes. Zbl 07437086
Baader, Franz; Koopmann, Patrick; Kriegel, Francesco; Nuradiansyah, Adrian
2
2021
Extending the description logic \(\tau\mathcal{EL}(\deg)\) with acyclic TBoxes. Zbl 1403.68251
Baader, Franz; Fernández Gil, Oliver
1
2016
Nonstandard inferences in description logics: the story so far. Zbl 1165.68496
Baader, Franz; Küsters, Ralf
1
2006
Unification in the description logic \(\mathcal{EL}\) without the top concept. Zbl 1341.68205
Baader, Franz; Binh, Nguyen Thanh; Borgwardt, Stefan; Morawska, Barbara
1
2011
Solving language equations and disequations with applications to disunification in description logics and monadic set constraints. Zbl 1352.68124
Baader, Franz; Okhotin, Alexander
1
2012
Term rewriting and applications. 18th international conference, RTA 2007, Paris, France, June 26–28, 2007. Proceedings. Zbl 1121.68001
1
2007
Usability issues in description logic knowledge base completion. Zbl 1248.68472
Baader, Franz; Sertkaya, Barış
1
2009
Exploring finite models in the description logic \({\mathcal {EL}}_{\text{gfp}}\). Zbl 1248.68467
Baader, Franz; Distel, Felix
1
2009
Description logics with aggregates and concrete domains. Zbl 1066.68123
Baader, Franz; Sattler, Ulrike
1
2003
From tableaux to automata for description logics. Zbl 1038.03033
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
1
2003
Using ontologies to query probabilistic numerical data. Zbl 1495.68216
Baader, Franz; Koopmann, Patrick; Turhan, Anni-Yasmin
1
2017
Computing minimal \({\mathcal E}{\mathcal L}\)-unifiers is hard. Zbl 1290.68113
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
1
2012
An algebraic view on p-admissible concrete domains for lightweight description logics. Zbl 07437042
Baader, Franz; Rydval, Jakub
7
2021
Finding good proofs for description logic entailments using recursive quality measures. Zbl 07437085
Alrabbaa, Christian; Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Kovtunova, Alisa
3
2021
Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes. Zbl 07437086
Baader, Franz; Koopmann, Patrick; Kriegel, Francesco; Nuradiansyah, Adrian
2
2021
Restricted unification in the DL \(\mathcal{FL}_0\). Zbl 07497917
Baader, Franz; Gil, Oliver Fernández; Rostamigiv, Maryam
1
2021
Extensions of unification modulo ACUI. Zbl 1495.68237
Baader, Franz; Marantidis, Pavlos; Mottet, Antoine; Okhotin, Alexander
1
2020
Privacy-preserving ontology publishing for \(\mathcal{EL}\) instance stores. Zbl 07169115
Baader, Franz; Kriegel, Francesco; Nuradiansyah, Adrian
1
2019
Counting strategies for the probabilistic description logic \(\mathcal{ALC}^\mathsf{ME}\) under the principle of maximum entropy. Zbl 07169122
Wilhelm, Marco; Kern-Isberner, Gabriele; Ecke, Andreas; Baader, Franz
1
2019
The complexity of the consistency problem in the probabilistic description logic \(\mathcal{ALC}^\mathsf{ME}\). Zbl 1435.68309
Baader, Franz; Ecke, Andreas; Kern-Isberner, Gabriele; Wilhelm, Marco
1
2019
Matching in the description logic \(\mathcal{FL}_0\) with respect to general TBoxes. Zbl 1415.68216
Baader, Franz; Fernández Gil, Oliver; Marantidis, Pavlos
1
2018
An introduction to description logic. Zbl 1373.68002
Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli
30
2017
A new description logic with set constraints and cardinality constraints on role successors. Zbl 1495.68203
Baader, Franz
2
2017
Metric temporal description logics with interval-rigid names. Zbl 1495.68204
Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika
2
2017
Using ontologies to query probabilistic numerical data. Zbl 1495.68216
Baader, Franz; Koopmann, Patrick; Turhan, Anni-Yasmin
1
2017
Query and predicate emptiness in ontology-based data access. Zbl 1357.68226
Baader, Franz; Bienvenu, Meghyn; Lutz, Carsten; Wolter, Frank
7
2016
Approximate unification in the description logic \(\mathcal {FL}_0\). Zbl 1483.68364
Baader, Franz; Marantidis, Pavlos; Okhotin, Alexander
3
2016
Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor. Zbl 1358.68272
Baader, Franz; Binh, Nguyen Thanh; Borgwardt, Stefan; Morawska, Barbara
3
2016
Extending the description logic \(\tau\mathcal{EL}(\deg)\) with acyclic TBoxes. Zbl 1403.68251
Baader, Franz; Fernández Gil, Oliver
1
2016
Adding threshold concepts to the description logic \(\mathcal{EL}\). Zbl 1471.68265
Baader, Franz; Brewka, Gerhard; Fernández Gil, Oliver
5
2015
Dismatching and local disunification in \(\mathcal {EL}\). Zbl 1366.68274
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
2
2015
On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions. Zbl 1318.03034
Baader, Franz; Borgwardt, Stefan; Peñaloza, Rafael
1
2015
On language equations with one-sided concatenation. Zbl 1359.68155
Baader, Franz; Okhotin, Alexander
4
2013
Temporalizing ontology-based data access. Zbl 1381.68075
Baader, Franz; Borgwardt, Stefan; Lippmann, Marcel
2
2013
Verification of Golog programs over description logic actions. Zbl 1398.68568
Baader, Franz; Zarrieß, Benjamin
2
2013
Hybrid unification in the description logic \(\mathcal{EL}\). Zbl 1398.68499
Baader, Franz; Fernández Gil, Oliver; Morawska, Barbara
1
2013
LTL over description logic axioms. Zbl 1351.68260
Baader, Franz; Ghilardi, Silvio; Lutz, Carsten
9
2012
SAT encoding of unification in \(\mathcal{ELH}_{{R}^+}\) w.r.t. cycle-restricted ontologies. Zbl 1358.68280
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
4
2012
UEL: unification solver for the description logic \(\mathcal{EL}\) – system description. Zbl 1358.68281
Baader, Franz; Mendez, Julian; Morawska, Barbara
2
2012
Solving language equations and disequations with applications to disunification in description logics and monadic set constraints. Zbl 1352.68124
Baader, Franz; Okhotin, Alexander
1
2012
Computing minimal \({\mathcal E}{\mathcal L}\)-unifiers is hard. Zbl 1290.68113
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
1
2012
Unification in modal and description logics. Zbl 1258.03018
Baader, Franz; Ghilardi, Silvio
19
2011
On the undecidability of fuzzy description logics with GCIs and product t-norm. Zbl 1348.68236
Baader, Franz; Peñaloza, Rafael
11
2011
Unification in the description logic \(\mathcal{EL}\) without the top concept. Zbl 1341.68205
Baader, Franz; Binh, Nguyen Thanh; Borgwardt, Stefan; Morawska, Barbara
1
2011
Axiom pinpointing in general tableaux. Zbl 1191.68645
Baader, Franz; Peñaloza, Rafael
13
2010
Unification in the description logic EL. Zbl 1214.68379
Baader, Franz; Morawska, Barbara
12
2010
Automata-based axiom pinpointing. Zbl 1213.68589
Baader, Franz; Peñaloza, Rafael
10
2010
The description logic handbook. Theory, implementation, and applications. Reprint of the 2007 hardback ed. Zbl 1191.68652
9
2010
Using causal relationships to deal with the ramification problem in action formalisms based on description logics. Zbl 1306.68180
Baader, Franz; Lippmann, Marcel; Liu, Hongkai
4
2010
SAT encoding of unification in \(\mathcal{EL}\). Zbl 1306.68181
Baader, Franz; Morawska, Barbara
4
2010
Verifying properties of infinite sequences of description logic actions. Zbl 1211.68394
Baader, Franz; Liu, Hongkai; Mehdi, Anees Ul
1
2010
Unification in the description logic \(\mathcal{EL}\). Zbl 1242.68300
Baader, Franz; Morawska, Barbara
5
2009
Description logics. Zbl 1254.68245
Baader, Franz
4
2009
A novel architecture for situation awareness systems. Zbl 1260.68387
Baader, Franz; Bauer, Andreas; Baumgartner, Peter; Cregan, Anne; Gabaldon, Alfredo; Ji, Krystian; Lee, Kevin; Rajaratnam, David; Schwitter, Rolf
3
2009
Runtime verification using a temporal description logic. Zbl 1193.68160
Baader, Franz; Bauer, Andreas; Lippmann, Marcel
3
2009
Putting ABox updates into action. Zbl 1193.68233
Drescher, Conrad; Liu, Hongkai; Baader, Franz; Guhlemann, Steffen; Petersohn, Uwe; Steinke, Peter; Thielscher, Michael
3
2009
Usability issues in description logic knowledge base completion. Zbl 1248.68472
Baader, Franz; Sertkaya, Barış
1
2009
Exploring finite models in the description logic \({\mathcal {EL}}_{\text{gfp}}\). Zbl 1248.68467
Baader, Franz; Distel, Felix
1
2009
Automata can show PSpace results for description logics. Zbl 1149.68073
Baader, Franz; Hladik, Jan; Peñaloza, Rafael
6
2008
A finite basis for the set of \(\mathcal{EL}\)-implications holding in a finite model. Zbl 1132.68056
Baader, Franz; Distel, Felix
2
2008
Automata-based axiom pinpointing. Zbl 1165.68497
Baader, Franz; Peñaloza, Rafael
2
2008
The description logic handbook. Theory, implementation, and applications. 2nd ed. Zbl 1132.68055
68
2007
Connecting many-sorted theories. Zbl 1136.03012
Baader, Franz; Ghilardi, Silvio
7
2007
Computing the least common subsumer w.r.t. a background terminology. Zbl 1122.68117
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
7
2007
Axiom pinpointing in general tableaux. Zbl 1132.68675
Baader, Franz; Peñaloza, Rafael
2
2007
Term rewriting and applications. 18th international conference, RTA 2007, Paris, France, June 26–28, 2007. Proceedings. Zbl 1121.68001
1
2007
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Zbl 1098.03048
Baader, Franz; Ghilardi, Silvio; Tinelli, Cesare
5
2006
Nonstandard inferences in description logics: the story so far. Zbl 1165.68496
Baader, Franz; Küsters, Ralf
1
2006
Description logics as ontology languages for the semantic web. Zbl 1098.68705
Baader, Franz; Horrocks, Ian; Sattler, Ulrike
21
2005
Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14–18, 2005. Proceedings. Zbl 1070.68001
1
2005
Applying formal concept analysis to description logics. Zbl 1197.68076
Baader, Franz; Sertkaya, Baris
4
2004
Computing the least common subsumer w.r.t. a background terminology. Zbl 1111.68664
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
3
2004
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Zbl 1126.03302
Baader, Franz; Ghilardi, Silvio; Tinelli, Cesare
2
2004
A graph-theoretic generalization of the least common subsumer and the most specific concept in the description logic \(\mathcal{EL}\). Zbl 1112.68407
Baader, Franz
1
2004
The description logic handbook. Theory, implementation, and applications. Zbl 1058.68107
231
2003
The instance problem and the most specific concept in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics. Zbl 1274.68450
Baader, Franz
9
2003
From tableaux to automata for description logics. Zbl 1273.03095
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
4
2003
Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics. Zbl 1274.68451
Baader, Franz
4
2003
Description logics with aggregates and concrete domains. Zbl 1066.68123
Baader, Franz; Sattler, Ulrike
1
2003
From tableaux to automata for description logics. Zbl 1038.03033
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
1
2003
Deciding the word problem in the union of equational theories. Zbl 1049.03032
Baader, Franz; Tinelli, Cesare
10
2002
Fusions of description logics and abstract description systems. Zbl 0995.03025
Baader, F.; Lutz, C.; Sturm, H.; Wolter, F.
6
2002
Combining decision procedures for positive theories sharing constructors. Zbl 1045.03013
Baader, Franz; Tinelli, Cesare
3
2002
On the problem of computing small representations of least common subsumers. Zbl 1015.68547
Baader, Franz; Turhan, Anni-Yasmin
2
2002
Unification theory. Zbl 1011.68126
Baader, Franz; Snyder, Wayne
88
2001
An overview of tableau algorithms for description logics. Zbl 0991.03012
Baader, Franz; Sattler, Ulrike
35
2001
Unification of concept terms in description logics. Zbl 0970.68166
Baader, Franz; Narendran, Paliath
31
2001
Unification in a description logic with transitive closure of roles. Zbl 1275.68134
Baader, Franz; Küsters, Ralf
14
2001
The inverse method implements the automata approach for modal satisfiability. Zbl 0988.03021
Baader, Franz; Tobies, Stephan
6
2001
Combining constraint solving. Zbl 0976.03515
Baader, Franz; Schulz, Klaus U.
5
2001
Tableau algorithms for description logics. Zbl 0963.03015
Baader, Franz; Sattler, Ulrike
4
2000
Combining equational theories sharing non-collapse-free constructors. Zbl 0962.03037
Baader, Franz; Tinelli, Cesare
2
2000
Building and structuring description logic knowledge bases using least common subsumers and concept analysis. Zbl 0973.68228
Baader, Franz; Molitor, Ralf
2
2000
Term rewriting and all that. Zbl 0948.68098
Baader, Franz; Nipkow, Tobias
308
1999
Matching in description logics. Zbl 0940.03036
Baader, Franz; Küsters, Ralf; Borgida, Alex; McGuinness, Deborah L.
6
1999
Deciding the word problem in the union of equational theories sharing constructors. Zbl 0976.03051
Baader, Franz; Tinelli, Cesare
4
1999
Expressive number restrictions in description logics. Zbl 0940.03035
Baader, Franz; Sattler, Ulrike
3
1999
Logic-based knowledge representation. Zbl 0956.68537
Baader, Franz
2
1999
Combination of constraint solvers for free and quasi-free structures. Zbl 0895.68019
Baader, Franz; Schulz, Klaus U.
6
1998
On the complexity of Boolean unification. Zbl 1338.68092
Baader, Franz
5
1998
Unification theory. Zbl 0970.68148
Baader, Franz; Schulz, Klaus U.
3
1998
A new approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method. Zbl 1430.03036
Baader, Franz; Tinelli, Cesare
2
1997
Unification in the union of disjoint equational theories: Combining decision procedures. Zbl 0851.68055
Baader, Franz; Schulz, Klaus U.
25
1996
Using automata theory for characterizing the semantics of terminological cycles. Zbl 0891.68111
Baader, Franz
8
1996
Cardinality restrictions on concepts. Zbl 0907.68181
Baader, Franz; Buchheit, Martin; Hollunder, Bernhard
8
1996
Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Zbl 0853.03008
Baader, Franz; Nutt, Werner
6
1996
A formal definition for the expressive power of terminological knowledge representation languages. Zbl 0844.68109
Baader, Franz
4
1996
Frontiers of combining systems. First international workshop, Munich, Germany, March 26–29, 1996. Zbl 0885.00046
2
1996
Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. Zbl 0842.68081
Baader, Franz; Hollunder, Bernhard
19
1995
Combination techniques and decision problems for disunification. Zbl 0873.68188
Baader, Franz; Schulz, Klaus U.
9
1995
A multi-dimensional terminological knowledge representation language. Zbl 0845.68098
Baader, Franz; Ohlbach, Hans Jürgen
8
1995
Unification in commutative theories, Hilbert’s basis theorem, and Gröbner bases. Zbl 0791.68146
Baader, Franz
8
1993
...and 11 more Documents
all top 5

Cited by 1,268 Authors

41 Baader, Franz
18 Peñaloza, Rafael
16 Horrocks, Ian
16 Middeldorp, Aart
15 Calvanese, Diego
15 Ghilardi, Silvio
15 Straccia, Umberto
14 Lutz, Carsten
14 Wolter, Frank
13 Bobillo, Fernando
13 Zakharyaschev, Michael Viktorovich
12 Eiter, Thomas
12 Rybakov, Vladimir Vladimirovich
11 Ayala-Rincón, Mauricio
11 Borgwardt, Stefan
11 Giesl, Jürgen
10 Meseguer Guaita, José
10 Motik, Boris
10 Narendran, Paliath
10 Nishida, Naoki
10 Okhotin, Alexander
10 Ringeissen, Christophe
10 Thiemann, René
9 Escobar, Santiago
9 Fernández, Maribel
9 Godoy, Guillem
9 Jiang, Yuncheng
9 Schmidt-Schauß, Manfred
8 Bonatti, Piero Andrea
8 De Giacomo, Giuseppe
8 Giordano, Laura
8 Moser, Georg
8 Nguyen, Linh Anh
8 Rusinowitch, Michaël
8 Zankl, Harald
7 Leite, João
7 Ryzhikov, Vladislav
7 Tinelli, Cesare
6 Alpuente, María
6 Artale, Alessandro
6 Baumgartner, Peter
6 Cuenca Grau, Bernardo
6 d’Amato, Claudia
6 Demri, Stéphane P.
6 Fanizzi, Nicola
6 Felgenhauer, Bertram
6 Goré, Rajeev Prabhakar
6 Gottlob, Georg
6 Kapur, Deepak
6 Kutsia, Temur
6 Lucas, Salvador
6 Ortiz, Magdalena
6 Sattler, Ulrike
6 Smolka, Gert
6 Sobrinho, Daniele Nantes
6 Sternagel, Christian
6 Turhan, Anni-Yasmin
6 Vidal, Germán
6 Winkler, Sarah
5 Balbiani, Philippe
5 Cain, Alan J.
5 Echenim, Mnacho
5 Gencer, Çigdem
5 Gianola, Alessandro
5 Glimm, Birte
5 Kaminski, Mark
5 Kazakov, Yevgeny
5 Kurucz, Agi
5 Lenzerini, Maurizio
5 Malbos, Philippe
5 Meadows, Catherine A.
5 Morawska, Barbara
5 Peltier, Nicolas
5 Qi, Guilin
5 Rydval, Jakub
5 Sapiña, Julia
5 Schmidt, Renate A.
5 Schneider-Kamp, Peter
5 Slota, Martin
5 Tang, Yong
5 Waldmann, Uwe
5 Wang, Ju
5 Wang, Kewen
4 Anantharaman, Siva
4 Aoto, Takahito
4 Ballis, Demis
4 Barrett, Clark W.
4 Britz, Katarina
4 Chen, Qimai
4 Erbatur, Serdar
4 Esposito, Floriana
4 Fontaine, Pascal
4 Fuhs, Carsten
4 Gascón, Adrià
4 Gliozzi, Valentina
4 Gómez-Romero, Juan
4 Guiraud, Yves
4 Guo, Li
4 Hirokawa, Nao
4 Iemhoff, Rosalie
...and 1,168 more Authors
all top 5

Cited in 120 Serials

87 Journal of Automated Reasoning
55 Artificial Intelligence
44 Theoretical Computer Science
38 Annals of Mathematics and Artificial Intelligence
23 Information and Computation
20 International Journal of Approximate Reasoning
20 Theory and Practice of Logic Programming
19 Journal of Symbolic Computation
18 Logical Methods in Computer Science
15 Annals of Pure and Applied Logic
14 Journal of Applied Non-Classical Logics
14 Journal of Applied Logic
13 The Journal of Symbolic Logic
13 MSCS. Mathematical Structures in Computer Science
12 Fuzzy Sets and Systems
12 Information Sciences
11 Journal of Logical and Algebraic Methods in Programming
10 ACM Transactions on Computational Logic
9 Studia Logica
9 Applicable Algebra in Engineering, Communication and Computing
6 Formal Aspects of Computing
5 Information Processing Letters
5 Journal of Computer and System Sciences
5 New Generation Computing
5 International Journal of Algebra and Computation
5 Formal Methods in System Design
5 Journal of Logic, Language and Information
5 Journal of Functional Programming
5 Fundamenta Informaticae
5 Logica Universalis
4 Theory of Computing Systems
4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
4 Sibirskie Èlektronnye Matematicheskie Izvestiya
4 International Journal of Semantic Computing
3 Computers & Mathematics with Applications
3 Discrete Applied Mathematics
3 Journal of Algebra
3 Journal of Philosophical Logic
3 Notre Dame Journal of Formal Logic
3 Semigroup Forum
3 Synthese
3 Machine Learning
3 Mathematics in Computer Science
3 Journal of Siberian Federal University. Mathematics & Physics
2 Acta Informatica
2 International Journal of General Systems
2 Algebra Universalis
2 Journal of Pure and Applied Algebra
2 Siberian Mathematical Journal
2 Science of Computer Programming
2 International Journal of Foundations of Computer Science
2 Archive for Mathematical Logic
2 Cybernetics and Systems Analysis
2 Higher-Order and Symbolic Computation
2 RAIRO. Theoretical Informatics and Applications
2 Lobachevskii Journal of Mathematics
2 Journal of Machine Learning Research (JMLR)
2 Journal of Algebra and its Applications
2 The Review of Symbolic Logic
2 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika
1 Computer Methods in Applied Mechanics and Engineering
1 Discrete Mathematics
1 Advances in Mathematics
1 Algebra and Logic
1 Applied Mathematics and Computation
1 Journal of Combinatorial Theory. Series A
1 Mathematische Zeitschrift
1 Pacific Journal of Mathematics
1 Proceedings of the Japan Academy. Series A
1 Programming and Computer Software
1 SIAM Journal on Computing
1 Advances in Applied Mathematics
1 Order
1 Journal of Computer Science and Technology
1 International Journal of Intelligent Systems
1 Mathematical and Computer Modelling
1 Annals of Operations Research
1 International Journal of Computer Mathematics
1 Distributed Computing
1 Journal of Mathematical Sciences (New York)
1 Journal of Lie Theory
1 The Journal of Artificial Intelligence Research (JAIR)
1 The Bulletin of Symbolic Logic
1 Theory and Applications of Categories
1 Sbornik: Mathematics
1 Computational & Mathematical Organization Theory
1 Constraints
1 Séminaire Lotharingien de Combinatoire
1 Soft Computing
1 Novi Sad Journal of Mathematics
1 Journal of the ACM
1 Annals of Combinatorics
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Data Mining and Knowledge Discovery
1 International Journal of Applied Mathematics and Computer Science
1 Algebraic & Geometric Topology
1 The Journal of Logic and Algebraic Programming
1 Journal of the Australian Mathematical Society
1 Journal of Systems Science and Complexity
1 Logic and Logical Philosophy
...and 20 more Serials

Citations by Year