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

Co-Authors

26 single-authored
12 Borgwardt, Stefan
11 Morawska, Barbara
10 Schulz, Klaus U.
7 Fernández Gil, Oliver
7 Ghilardi, Silvio
7 Koopmann, Patrick
7 Lutz, Carsten
7 Peñaloza, Rafael
7 Tinelli, Cesare
5 McGuinness, Deborah L.
5 Sattler, Ulrike
5 Turhan, Anni-Yasmin
4 Lippmann, Marcel
4 Marantidis, Pavlos
4 Okhotin, Alexander
4 Sertkaya, Barış
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 Nuradiansyah, Adrian
3 Nutt, Werner
3 Patel-Schneider, Peter F.
3 Rydval, Jakub
2 Alrabbaa, Christian
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 Mendez, Julian
2 Molitor, Ralf
2 Ozaki, Ana
2 Thost, Veronika
2 Tobies, Stephan
2 Wilhelm, Marco
2 Zarrieß, Benjamin
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 Dachselt, Raimund
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 Michel, Friedrich
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

Publications by Year

Citations contained in zbMATH Open

128 Publications have been cited 1,732 times in 1,146 Documents Cited by Year
Term rewriting and all that. Zbl 0948.68098
Baader, Franz; Nipkow, Tobias
352
1999
The description logic handbook. Theory, implementation, and applications. Zbl 1058.68107
337
2003
Unification theory. Zbl 1011.68126
Baader, Franz; Snyder, Wayne
102
2001
The description logic handbook. Theory, implementation, and applications. 2nd ed. Zbl 1132.68055
94
2007
An introduction to description logic. Zbl 1373.68002
Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli
57
2017
An overview of tableau algorithms for description logics. Zbl 0991.03012
Baader, Franz; Sattler, Ulrike
38
2001
Unification of concept terms in description logics. Zbl 0970.68166
Baader, Franz; Narendran, Paliath
33
2001
Unification in the union of disjoint equational theories: Combining decision procedures. Zbl 0851.68055
Baader, Franz; Schulz, Klaus U.
27
1996
Unification in modal and description logics. Zbl 1258.03018
Baader, Franz; Ghilardi, Silvio
22
2011
Description logics as ontology languages for the semantic web. Zbl 1098.68705
Baader, Franz; Horrocks, Ian; Sattler, Ulrike
22
2005
Unification in the union of disjoint equational theories: Combining decision procedures. Zbl 0925.03084
Baader, Franz; Schulz, Klaus U.
21
1992
Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. Zbl 0742.68064
Baader, Franz
20
1991
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
20
1995
The theory of idempotent semigroups is of unification type zero. Zbl 0626.68070
Baader, Franz
19
1986
Qualifying number restrictions in concept languages. Zbl 0765.68190
Hollunder, Bernhard; Baader, Franz
17
1991
Unification in a description logic with transitive closure of roles. Zbl 1275.68134
Baader, Franz; Küsters, Ralf
17
2001
Axiom pinpointing in general tableaux. Zbl 1191.68645
Baader, Franz; Peñaloza, Rafael
16
2010
Unification in commutative theories. Zbl 0689.68039
Baader, Franz
15
1989
Unification in the description logic EL. Zbl 1214.68379
Baader, Franz; Morawska, Barbara
14
2010
On the undecidability of fuzzy description logics with GCIs and product t-norm. Zbl 1348.68236
Baader, Franz; Peñaloza, Rafael
14
2011
LTL over description logic axioms. Zbl 1351.68260
Baader, Franz; Ghilardi, Silvio; Lutz, Carsten
12
2012
Automata-based axiom pinpointing. Zbl 1213.68589
Baader, Franz; Peñaloza, Rafael
11
2010
Unification in varieties of idempotent semigroups. Zbl 0624.20039
Baader, Franz
11
1987
The description logic handbook. Theory, implementation, and applications. Reprint of the 2007 hardback ed. Zbl 1191.68652
11
2010
Unification in commutative theories, Hilbert’s basis theorem, and Gröbner bases. Zbl 0791.68146
Baader, Franz
10
1993
Unification in commutative idempotent monoids. Zbl 0658.68108
Baader, Franz; Büttner, Wolfram
10
1988
Deciding the word problem in the union of equational theories. Zbl 1049.03032
Baader, Franz; Tinelli, Cesare
10
2002
Combination techniques and decision problems for disunification. Zbl 0873.68188
Baader, Franz; Schulz, Klaus U.
9
1995
Using automata theory for characterizing the semantics of terminological cycles. Zbl 0891.68111
Baader, Franz
9
1996
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
9
1993
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
Cardinality restrictions on concepts. Zbl 0907.68181
Baader, Franz; Buchheit, Martin; Hollunder, Bernhard
9
1996
Automata can show PSpace results for description logics. Zbl 1149.68073
Baader, Franz; Hladik, Jan; Peñaloza, Rafael
8
2008
A multi-dimensional terminological knowledge representation language. Zbl 0845.68098
Baader, Franz; Ohlbach, Hans Jürgen
8
1995
Computing the least common subsumer w.r.t. a background terminology. Zbl 1122.68117
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
8
2007
The inverse method implements the automata approach for modal satisfiability. Zbl 0988.03021
Baader, Franz; Tobies, Stephan
8
2001
Unification in the description logic \(\mathcal{EL}\). Zbl 1242.68300
Baader, Franz; Morawska, Barbara
8
2009
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
8
1997
Connecting many-sorted theories. Zbl 1136.03012
Baader, Franz; Ghilardi, Silvio
7
2007
Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Zbl 0853.03008
Baader, Franz; Nutt, Werner
7
1996
Fusions of description logics and abstract description systems. Zbl 0995.03025
Baader, F.; Lutz, C.; Sturm, H.; Wolter, F.
7
2002
Matching in description logics. Zbl 0940.03036
Baader, Franz; Küsters, Ralf; Borgida, Alex; McGuinness, Deborah L.
7
1999
Query and predicate emptiness in ontology-based data access. Zbl 1357.68226
Baader, Franz; Bienvenu, Meghyn; Lutz, Carsten; Wolter, Frank
7
2016
Unification, weak unification, upper bound, lower bound, and generalization problems. Zbl 1503.68086
Baader, Franz
7
1991
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
7
2021
General \(A\)- and \(AX\)-unification via optimized combination procedures. Zbl 0925.03059
Baader, Franz; Schulz, Klaus U.
6
1993
Adding threshold concepts to the description logic \(\mathcal{EL}\). Zbl 1471.68265
Baader, Franz; Brewka, Gerhard; Fernández Gil, Oliver
6
2015
Combining constraint solving. Zbl 0976.03515
Baader, Franz; Schulz, Klaus U.
6
2001
Combination of constraint solvers for free and quasi-free structures. Zbl 0895.68019
Baader, Franz; Schulz, Klaus U.
6
1998
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
Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics. Zbl 1274.68451
Baader, Franz
5
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
5
2010
On the complexity of Boolean unification. Zbl 1338.68092
Baader, Franz
5
1998
Axiom pinpointing in general tableaux. Zbl 1132.68675
Baader, Franz; Peñaloza, Rafael
5
2007
A finite basis for the set of \(\mathcal{EL}\)-implications holding in a finite model. Zbl 1132.68056
Baader, Franz; Distel, Felix
5
2008
SAT encoding of unification in \(\mathcal{ELH}_{{R}^+}\) w.r.t. cycle-restricted ontologies. Zbl 1358.68280
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
5
2012
Automated deduction – CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings. Zbl 1026.00022
5
2003
Characterizations of unification type zero. Zbl 1503.03012
Baader, Franz
5
1989
A formal definition for the expressive power of terminological knowledge representation languages. Zbl 0844.68109
Baader, Franz
4
1996
From tableaux to automata for description logics. Zbl 1273.03095
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
4
2003
SAT encoding of unification in \(\mathcal{EL}\). Zbl 1306.68181
Baader, Franz; Morawska, Barbara
4
2010
Applying formal concept analysis to description logics. Zbl 1197.68076
Baader, Franz; Sertkaya, Baris
4
2004
Description logics. Zbl 1254.68245
Baader, Franz
4
2009
Tableau algorithms for description logics. Zbl 0963.03015
Baader, Franz; Sattler, Ulrike
4
2000
Expressive number restrictions in description logics. Zbl 0940.03035
Baader, Franz; Sattler, Ulrike
4
1999
Approximate unification in the description logic \(\mathcal {FL}_0\). Zbl 1483.68364
Baader, Franz; Marantidis, Pavlos; Okhotin, Alexander
4
2016
On language equations with one-sided concatenation. Zbl 1359.68155
Baader, Franz; Okhotin, Alexander
4
2013
A note on unification type zero. Zbl 0636.68030
Baader, Franz
4
1988
Deciding the word problem in the union of equational theories sharing constructors. Zbl 0976.03051
Baader, Franz; Tinelli, Cesare
4
1999
Combination techniques and decision problems for disunification. Zbl 1503.03013
Baader, Franz; Schulz, Klaus U.
4
1993
Combination of constraint solving techniques: an algebraic point of view. Zbl 1503.03014
Baader, Franz; Schulz, Klaus U.
4
1995
Temporalizing ontology-based data access. Zbl 1381.68075
Baader, Franz; Borgwardt, Stefan; Lippmann, Marcel
4
2013
Unification theory. Zbl 1518.68151
Baader, Franz
4
1992
Frontiers of combining systems. First international workshop, Munich, Germany, March 26–29, 1996. Zbl 0885.00046
3
1996
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
Computing the least common subsumer w.r.t. a background terminology. Zbl 1111.68664
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
3
2004
Automata-based axiom pinpointing. Zbl 1165.68497
Baader, Franz; Peñaloza, Rafael
3
2008
A new description logic with set constraints and cardinality constraints on role successors. Zbl 1495.68203
Baader, Franz
3
2017
Metric temporal description logics with interval-rigid names. Zbl 1495.68204
Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika
3
2017
Unification theory. Zbl 0970.68148
Baader, Franz; Schulz, Klaus U.
3
1998
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
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
Building and structuring description logic knowledge bases using least common subsumers and concept analysis. Zbl 0973.68228
Baader, Franz; Molitor, Ralf
3
2000
Combining decision procedures for positive theories sharing constructors. Zbl 1045.03013
Baader, Franz; Tinelli, Cesare
3
2002
Description logics with concrete domains and general concept inclusions revisited. Zbl 07614526
Baader, Franz; Rydval, Jakub
3
2020
Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes. Zbl 07437086
Baader, Franz; Koopmann, Patrick; Kriegel, Francesco; Nuradiansyah, Adrian
3
2021
Exploring finite models in the description logic \({\mathcal {EL}}_{\text{gfp}}\). Zbl 1248.68467
Baader, Franz; Distel, Felix
2
2009
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
Matching in the description logic \(\mathcal{FL}_0\) with respect to general TBoxes. Zbl 1415.68216
Baader, Franz; Fernández Gil, Oliver; Marantidis, Pavlos
2
2018
Verifying properties of infinite sequences of description logic actions. Zbl 1211.68394
Baader, Franz; Liu, Hongkai; Mehdi, Anees Ul
2
2010
Term rewriting and applications. 18th international conference, RTA 2007, Paris, France, June 26–28, 2007. Proceedings. Zbl 1121.68001
2
2007
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
2
2015
Dismatching and local disunification in \(\mathcal {EL}\). Zbl 1366.68274
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
2
2015
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
2
2012
Verification of Golog programs over description logic actions. Zbl 1398.68568
Baader, Franz; Zarrieß, Benjamin
2
2013
Logic-based knowledge representation. Zbl 0956.68537
Baader, Franz
2
1999
Efficient TBox reasoning with value restrictions using the \(\mathcal{FL}_0 \mathit{wer}\) reasoner. Zbl 1530.68243
Baader, Franz; Koopmann, Patrick; Michel, Friedrich; Turhan, Anni-Yasmin; Zarriess, Benjamin
1
2022
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
7
2021
Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes. Zbl 07437086
Baader, Franz; Koopmann, Patrick; Kriegel, Francesco; Nuradiansyah, Adrian
3
2021
Restricted unification in the DL \(\mathcal{FL}_0\). Zbl 07497917
Baader, Franz; Gil, Oliver Fernández; Rostamigiv, Maryam
1
2021
Description logics with concrete domains and general concept inclusions revisited. Zbl 07614526
Baader, Franz; Rydval, Jakub
3
2020
Deciding the word problem for ground identities with commutative and extensional symbols. Zbl 07614512
Baader, Franz; Kapur, Deepak
2
2020
Metric temporal description logics with interval-rigid names. Zbl 1446.68145
Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika
2
2020
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 1525.68184
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 1525.68181
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
On the expressive power of description logics with cardinality constraints on finite and infinite sets. Zbl 1435.68307
Baader, Franz; De Bortoli, Filippo
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
2
2018
An introduction to description logic. Zbl 1373.68002
Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli
57
2017
A new description logic with set constraints and cardinality constraints on role successors. Zbl 1495.68203
Baader, Franz
3
2017
Metric temporal description logics with interval-rigid names. Zbl 1495.68204
Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika
3
2017
Using ontologies to query probabilistic numerical data. Zbl 1495.68216
Baader, Franz; Koopmann, Patrick; Turhan, Anni-Yasmin
1
2017
Approximation in description logics: how weighted tree automata can help to define the required concept comparison measures in \(\mathcal {FL}_0\). Zbl 1485.68245
Baader, Franz; Fernández Gil, Oliver; Marantidis, Pavlos
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
4
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
2
2016
Reasoning with prototypes in the description logic \({\mathcal {ALC}}\) using weighted tree automata. Zbl 1435.68308
Baader, Franz; Ecke, Andreas
1
2016
Adding threshold concepts to the description logic \(\mathcal{EL}\). Zbl 1471.68265
Baader, Franz; Brewka, Gerhard; Fernández Gil, Oliver
6
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
2
2015
Dismatching and local disunification in \(\mathcal {EL}\). Zbl 1366.68274
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
2
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
4
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
12
2012
SAT encoding of unification in \(\mathcal{ELH}_{{R}^+}\) w.r.t. cycle-restricted ontologies. Zbl 1358.68280
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
5
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
2
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
22
2011
On the undecidability of fuzzy description logics with GCIs and product t-norm. Zbl 1348.68236
Baader, Franz; Peñaloza, Rafael
14
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
16
2010
Unification in the description logic EL. Zbl 1214.68379
Baader, Franz; Morawska, Barbara
14
2010
Automata-based axiom pinpointing. Zbl 1213.68589
Baader, Franz; Peñaloza, Rafael
11
2010
The description logic handbook. Theory, implementation, and applications. Reprint of the 2007 hardback ed. Zbl 1191.68652
11
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
5
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
2
2010
Unification in the description logic \(\mathcal{EL}\). Zbl 1242.68300
Baader, Franz; Morawska, Barbara
8
2009
Description logics. Zbl 1254.68245
Baader, Franz
4
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
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
Exploring finite models in the description logic \({\mathcal {EL}}_{\text{gfp}}\). Zbl 1248.68467
Baader, Franz; Distel, Felix
2
2009
Usability issues in description logic knowledge base completion. Zbl 1248.68472
Baader, Franz; Sertkaya, Barış
1
2009
Automata can show PSpace results for description logics. Zbl 1149.68073
Baader, Franz; Hladik, Jan; Peñaloza, Rafael
8
2008
A finite basis for the set of \(\mathcal{EL}\)-implications holding in a finite model. Zbl 1132.68056
Baader, Franz; Distel, Felix
5
2008
Automata-based axiom pinpointing. Zbl 1165.68497
Baader, Franz; Peñaloza, Rafael
3
2008
The description logic handbook. Theory, implementation, and applications. 2nd ed. Zbl 1132.68055
94
2007
Computing the least common subsumer w.r.t. a background terminology. Zbl 1122.68117
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
8
2007
Connecting many-sorted theories. Zbl 1136.03012
Baader, Franz; Ghilardi, Silvio
7
2007
Axiom pinpointing in general tableaux. Zbl 1132.68675
Baader, Franz; Peñaloza, Rafael
5
2007
Term rewriting and applications. 18th international conference, RTA 2007, Paris, France, June 26–28, 2007. Proceedings. Zbl 1121.68001
2
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
22
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
2
2004
The description logic handbook. Theory, implementation, and applications. Zbl 1058.68107
337
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
Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics. Zbl 1274.68451
Baader, Franz
5
2003
Automated deduction – CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings. Zbl 1026.00022
5
2003
From tableaux to automata for description logics. Zbl 1273.03095
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
4
2003
From tableaux to automata for description logics. Zbl 1038.03033
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
1
2003
Description logics with aggregates and concrete domains. Zbl 1066.68123
Baader, Franz; Sattler, Ulrike
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.
7
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
102
2001
An overview of tableau algorithms for description logics. Zbl 0991.03012
Baader, Franz; Sattler, Ulrike
38
2001
Unification of concept terms in description logics. Zbl 0970.68166
Baader, Franz; Narendran, Paliath
33
2001
Unification in a description logic with transitive closure of roles. Zbl 1275.68134
Baader, Franz; Küsters, Ralf
17
2001
The inverse method implements the automata approach for modal satisfiability. Zbl 0988.03021
Baader, Franz; Tobies, Stephan
8
2001
Combining constraint solving. Zbl 0976.03515
Baader, Franz; Schulz, Klaus U.
6
2001
Tableau algorithms for description logics. Zbl 0963.03015
Baader, Franz; Sattler, Ulrike
4
2000
Building and structuring description logic knowledge bases using least common subsumers and concept analysis. Zbl 0973.68228
Baader, Franz; Molitor, Ralf
3
2000
Combining equational theories sharing non-collapse-free constructors. Zbl 0962.03037
Baader, Franz; Tinelli, Cesare
2
2000
Term rewriting and all that. Zbl 0948.68098
Baader, Franz; Nipkow, Tobias
352
1999
Matching in description logics. Zbl 0940.03036
Baader, Franz; Küsters, Ralf; Borgida, Alex; McGuinness, Deborah L.
7
1999
Expressive number restrictions in description logics. Zbl 0940.03035
Baader, Franz; Sattler, Ulrike
4
1999
Deciding the word problem in the union of equational theories sharing constructors. Zbl 0976.03051
Baader, Franz; Tinelli, Cesare
4
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
8
1997
Unification in the union of disjoint equational theories: Combining decision procedures. Zbl 0851.68055
Baader, Franz; Schulz, Klaus U.
27
1996
Using automata theory for characterizing the semantics of terminological cycles. Zbl 0891.68111
Baader, Franz
9
1996
...and 28 more Documents
all top 5

Cited by 1,487 Authors

54 Baader, Franz
22 Peñaloza, Rafael
21 Lutz, Carsten
18 Calvanese, Diego
18 Straccia, Umberto
18 Wolter, Frank
17 Horrocks, Ian
17 Middeldorp, Aart
15 Ghilardi, Silvio
15 Rybakov, Vladimir Vladimirovich
15 Zakharyaschev, Michael Viktorovich
14 Borgwardt, Stefan
14 Eiter, Thomas
14 Meseguer Guaita, José
13 Bobillo, Fernando
12 Ayala-Rincón, Mauricio
12 Giesl, Jürgen
12 Kutsia, Temur
12 Motik, Boris
11 Fernández, Maribel
11 Narendran, Paliath
11 Schmidt-Schauß, Manfred
11 Thiemann, René
10 De Giacomo, Giuseppe
10 Escobar, Santiago
10 Nishida, Naoki
10 Okhotin, Alexander
10 Ringeissen, Christophe
9 Artale, Alessandro
9 Bonatti, Piero Andrea
9 Giordano, Laura
9 Godoy, Guillem
9 Jiang, Yuncheng
9 Nguyen, Linh Anh
9 Rusinowitch, Michaël
9 Sattler, Ulrike
9 Tinelli, Cesare
8 d’Amato, Claudia
8 Fanizzi, Nicola
8 Goré, Rajeev Prabhakar
8 Leite, João
8 Lenzerini, Maurizio
8 Ortiz, Magdalena
8 Ryzhikov, Vladislav
8 Vidal, Germán
8 Zankl, Harald
7 Alpuente, María
7 Esposito, Floriana
7 Kapur, Deepak
7 Kazakov, Yevgeny
7 Moser, Georg
7 Peltier, Nicolas
7 Smolka, Gert
7 Sobrinho, Daniele Nantes
7 Turhan, Anni-Yasmin
6 Balbiani, Philippe
6 Baumgartner, Peter
6 Cuenca Grau, Bernardo
6 Demri, Stéphane P.
6 Esteva, Francesc
6 Felgenhauer, Bertram
6 Gao, Xing
6 Gencer, Çigdem
6 Gottlob, Georg
6 Guo, Li
6 Hitzler, Pascal
6 Kaminski, Mark
6 Kontchakov, Roman
6 Koopmann, Patrick
6 Lucas, Salvador
6 Meadows, Catherine A.
6 Rosati, Riccardo
6 Schmidt, Renate A.
6 Schneider-Kamp, Peter
6 Schulz, Klaus U.
6 Sternagel, Christian
6 Varzinczak, Ivan Jóse
6 Weidenbach, Christoph
6 Winkler, Sarah
5 Bednarczyk, Bartosz
5 Cain, Alan J.
5 Cerami, Marco
5 Echenim, Mnacho
5 Fuhs, Carsten
5 Gianola, Alessandro
5 Glimm, Birte
5 Hirokawa, Nao
5 Knorr, Matthias
5 Kurucz, Agi
5 Lynch, Christopher A.
5 Malbos, Philippe
5 Marshall, Andrew M.
5 Morawska, Barbara
5 Nutt, Werner
5 Pan, Jeff Z.
5 Qi, Guilin
5 Rudolph, Sebastian
5 Rydval, Jakub
5 Sapiña, Julia
5 Šimkus, Mantas
...and 1,387 more Authors
all top 5

Cited in 129 Serials

96 Journal of Automated Reasoning
69 Artificial Intelligence
45 Theoretical Computer Science
40 Annals of Mathematics and Artificial Intelligence
30 Information and Computation
27 International Journal of Approximate Reasoning
26 Theory and Practice of Logic Programming
23 Journal of Symbolic Computation
22 Logical Methods in Computer Science
17 Fuzzy Sets and Systems
17 Journal of Applied Logic
16 Annals of Pure and Applied Logic
16 MSCS. Mathematical Structures in Computer Science
15 The Journal of Symbolic Logic
15 Journal of Applied Non-Classical Logics
13 Information Sciences
13 Journal of Logical and Algebraic Methods in Programming
12 ACM Transactions on Computational Logic
10 Applicable Algebra in Engineering, Communication and Computing
9 Studia Logica
8 International Journal of Algebra and Computation
7 Journal of Computer and System Sciences
6 New Generation Computing
6 Formal Aspects of Computing
6 Cybernetics and Systems Analysis
5 Information Processing Letters
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 Journal of Philosophical Logic
4 Theory of Computing Systems
4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
4 The Journal of Logic and Algebraic Programming
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 Notre Dame Journal of Formal Logic
3 Semigroup Forum
3 Siberian Mathematical Journal
3 Synthese
3 Machine Learning
3 International Journal of Foundations of Computer Science
3 The Journal of Artificial Intelligence Research (JAIR)
3 The Bulletin of Symbolic Logic
3 Mathematics in Computer Science
3 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika
3 Logicheskie Issledovaniya
3 Journal of Siberian Federal University. Mathematics & Physics
2 Acta Informatica
2 International Journal of General Systems
2 Algebra and Logic
2 Algebra Universalis
2 Journal of Pure and Applied Algebra
2 Programming and Computer Software
2 Science of Computer Programming
2 Archive for Mathematical Logic
2 Theory and Applications of Categories
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 Algebraic Combinatorics
1 Computer Methods in Applied Mechanics and Engineering
1 Discrete Mathematics
1 Advances in Mathematics
1 Applied Mathematics and Computation
1 Geometriae Dedicata
1 Journal of Combinatorial Theory. Series A
1 Mathematische Zeitschrift
1 Pacific Journal of Mathematics
1 Proceedings of the Japan Academy. Series A
1 SIAM Journal on Computing
1 Advances in Applied Mathematics
1 Advances in Mathematics (Beijing)
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 Indagationes Mathematicae. New Series
1 Journal of Mathematical Sciences (New York)
1 Journal of Lie Theory
1 Sbornik: Mathematics
1 Izvestiya: 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 Graph Algorithms and Applications
1 Journal of the ACM
1 Annals of Combinatorics
...and 29 more Serials

Citations by Year