# zbMATH — the first resource for mathematics

Compute Distance To:
 Documents Indexed: 124 Publications since 1986, including 10 Books Biographic References: 2 Publications
all top 5

#### Co-Authors

 20 single-authored 11 Morawska, Barbara 10 Borgwardt, Stefan 8 Schulz, Klaus U. 7 Ghilardi, Silvio 7 Lutz, Carsten 7 Peñaloza, Rafael 7 Tinelli, Cesare 5 Fernández Gil, Oliver 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 Koopmann, Patrick 3 Küsters, Ralf 3 Liu, Hongkai 3 Nardi, Daniele 3 Patel-Schneider, Peter F. 2 Binh, Nguyen Thanh 2 Borgida, Alex 2 Brewka, Gerhard 2 Distel, Felix 2 Horrocks, Ian 2 Kern-Isberner, Gabriele 2 Molitor, Ralf 2 Nutt, Werner 2 Ozaki, Ana 2 Thost, Veronika 2 Tobies, Stephan 2 Wilhelm, Marco 1 Baumgartner, Peter 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 Kriegel, Francesco 1 Lee, Kevin H. 1 Mehdi, Anees Ul 1 Mendez, Julian 1 Mottet, Antoine 1 Narendran, Paliath 1 Nebel, Bernhard 1 Nipkow, Tobias 1 Nuradiansyah, Adrian 1 Ohlbach, Hans Jürgen 1 Petersohn, Uwe 1 Rajaratnam, David 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
all top 5

#### Serials

 4 Information and Computation 4 Journal of Logic and Computation 4 Lecture Notes in Computer Science 3 Theoretical Computer Science 3 Journal of Symbolic Computation 3 Journal of Automated Reasoning 2 Information Processing Letters 2 The Journal of Artificial Intelligence Research (JAIR) 2 Fundamenta Informaticae 2 ACM Transactions on Computational Logic 2 Journal of Applied Logic 2 Logical Methods in Computer Science 1 Artificial Intelligence 1 Journal of the Association for Computing Machinery 1 Journal of Philosophical Logic 1 The Journal of Symbolic Logic 1 Notre Dame Journal of Formal Logic 1 Semigroup Forum 1 Studia Logica 1 MSCS. Mathematical Structures in Computer Science 1 Information Systems 1 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Logic Journal of the IGPL 1 Applied Logic Series
all top 5

#### Fields

 116 Computer science (68-XX) 53 Mathematical logic and foundations (03-XX) 6 General and overarching topics; collections (00-XX) 4 Group theory and generalizations (20-XX) 3 General algebraic systems (08-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Category theory; homological algebra (18-XX)

#### Citations contained in zbMATH

101 Publications have been cited 1,349 times in 989 Documents Cited by Year
Term rewriting and all that. Zbl 0948.68098
1999
The description logic handbook. Theory, implementation, and applications. Zbl 1058.68107
Baader, Franz (ed.); Calvanese, Diego (ed.); McGuinness, Deborah (ed.); Nardi, Daniele (ed.); Patel-Schneider, Peter (ed.)
2003
Unification theory. Zbl 1011.68126
2001
The description logic handbook. Theory, implementation, and applications. 2nd ed. Zbl 1132.68055
Baader, Franz (ed.); Calvanese, Diego (ed.); McGuinness, Deborah L. (ed.); Nardi, Daniele (ed.); Patel-Schneider, Peter F. (ed.)
2007
An overview of tableau algorithms for description logics. Zbl 0991.03012
2001
Unification of concept terms in description logics. Zbl 0970.68166
2001
Unification in the union of disjoint equational theories: Combining decision procedures. Zbl 0851.68055
1996
Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. Zbl 0842.68081
1995
Description logics as ontology languages for the semantic web. Zbl 1098.68705
Baader, Franz; Horrocks, Ian; Sattler, Ulrike
2005
Qualifying number restrictions in concept languages. Zbl 0765.68190
1991
Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. Zbl 0742.68064
1991
A scheme for integrating concrete domains into concept languages. Zbl 0742.68063
1991
Unification in the union of disjoint equational theories: Combining decision procedures. Zbl 0925.03084
1992
The theory of idempotent semigroups is of unification type zero. Zbl 0626.68070
1986
Unification in a description logic with transitive closure of roles. Zbl 1275.68134
2001
Unification in modal and description logics. Zbl 1258.03018
2011
Unification in the description logic EL. Zbl 1214.68379
2010
Axiom pinpointing in general tableaux. Zbl 1191.68645
2010
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
2003
An introduction to description logic. Zbl 1373.68002
Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli
2017
On the undecidability of fuzzy description logics with GCIs and product t-norm. Zbl 1348.68236
2011
Automata-based axiom pinpointing. Zbl 1213.68589
2010
Deciding the word problem in the union of equational theories. Zbl 1049.03032
2002
Cardinality restrictions on concepts. Zbl 0907.68181
Baader, Franz; Buchheit, Martin; Hollunder, Bernhard
1996
Using automata theory for characterizing the semantics of terminological cycles. Zbl 0891.68111
1996
A multi-dimensional terminological knowledge representation language. Zbl 0845.68098
1995
Unification in commutative theories, Hilbert’s basis theorem, and Gröbner bases. Zbl 0791.68146
1993
Unification in commutative theories. Zbl 0689.68039
1989
Query and predicate emptiness in ontology-based data access. Zbl 1357.68226
Baader, Franz; Bienvenu, Meghyn; Lutz, Carsten; Wolter, Frank
2016
LTL over description logic axioms. Zbl 1351.68260
Baader, Franz; Ghilardi, Silvio; Lutz, Carsten
2012
The description logic handbook. Theory, implementation, and applications. Reprint of the 2007 hardback ed. Zbl 1191.68652
Baader, Franz (ed.); Calvanese, Diego (ed.); McGuinness, Deborah L. (ed.); Nardi, Daniele (ed.); Patel-Schneider, Peter F. (ed.)
2010
Connecting many-sorted theories. Zbl 1136.03012
2007
Combination techniques and decision problems for disunification. Zbl 0873.68188
1995
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
1993
Unification in varieties of idempotent semigroups. Zbl 0624.20039
1987
Automata can show PSpace results for description logics. Zbl 1149.68073
2008
Computing the least common subsumer w.r.t. a background terminology. Zbl 1122.68117
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
2007
Fusions of description logics and abstract description systems. Zbl 0995.03025
Baader, F.; Lutz, C.; Sturm, H.; Wolter, F.
2002
The inverse method implements the automata approach for modal satisfiability. Zbl 0988.03021
2001
Matching in description logics. Zbl 0940.03036
Baader, Franz; Küsters, Ralf; Borgida, Alex; McGuinness, Deborah L.
1999
1998
Unification in commutative idempotent monoids. Zbl 0658.68108
1988
Unification in the description logic $$\mathcal{EL}$$. Zbl 1242.68300
2009
Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Zbl 0853.03008
1996
SAT encoding of unification in $$\mathcal{EL}$$. Zbl 1306.68181
2010
Description logics. Zbl 1254.68245
2009
Applying formal concept analysis to description logics. Zbl 1197.68076
2004
From tableaux to automata for description logics. Zbl 1273.03095
2003
Combining constraint solving. Zbl 0976.03515
2001
Deciding the word problem in the union of equational theories sharing constructors. Zbl 0976.03051
1999
On the complexity of Boolean unification. Zbl 1338.68092
1998
A formal definition for the expressive power of terminological knowledge representation languages. Zbl 0844.68109
1996
General $$A$$- and $$AX$$-unification via optimized combination procedures. Zbl 0925.03059
1993
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
2016
Approximate unification in the description logic $$\mathcal {FL}_0$$. Zbl 06658152
Baader, Franz; Marantidis, Pavlos; Okhotin, Alexander
2016
Adding threshold concepts to the description logic $$\mathcal{EL}$$. Zbl 06688806
Baader, Franz; Brewka, Gerhard; Fernández Gil, Oliver
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
2015
On language equations with one-sided concatenation. Zbl 1359.68155
2013
SAT encoding of unification in $$\mathcal{ELH}_{{R}^+}$$ w.r.t. cycle-restricted ontologies. Zbl 1358.68280
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
2012
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
2010
Putting ABox updates into action. Zbl 1193.68233
Drescher, Conrad; Liu, Hongkai; Baader, Franz; Guhlemann, Steffen; Petersohn, Uwe; Steinke, Peter; Thielscher, Michael
2009
Runtime verification using a temporal description logic. Zbl 1193.68160
Baader, Franz; Bauer, Andreas; Lippmann, Marcel
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
2006
Tableau algorithms for description logics. Zbl 0963.03015
2000
Expressive number restrictions in description logics. Zbl 0940.03035
1999
Unification theory. Zbl 0970.68148
1998
Metric temporal description logics with interval-rigid names. Zbl 06821627
Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika
2017
A new description logic with set constraints and cardinality constraints on role successors. Zbl 06821626
2017
Dismatching and local disunification in $$\mathcal {EL}$$. Zbl 1366.68274
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
2015
Temporalizing ontology-based data access. Zbl 1381.68075
Baader, Franz; Borgwardt, Stefan; Lippmann, Marcel
2013
Automata-based axiom pinpointing. Zbl 1165.68497
2008
A finite basis for the set of $$\mathcal{EL}$$-implications holding in a finite model. Zbl 1132.68056
2008
Axiom pinpointing in general tableaux. Zbl 1132.68675
2007
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
2004
Computing the least common subsumer w.r.t. a background terminology. Zbl 1111.68664
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
2004
Computing the least common subsumer in the description logic $$\mathcal{EL}$$ w.r.t. terminological cycles with descriptive semantics. Zbl 1274.68451
2003
From tableaux to automata for description logics. Zbl 1038.03033
2003
Combining decision procedures for positive theories sharing constructors. Zbl 1045.03013
2002
On the problem of computing small representations of least common subsumers. Zbl 1015.68547
2002
Building and structuring description logic knowledge bases using least common subsumers and concept analysis. Zbl 0973.68228
2000
Logic-based knowledge representation. Zbl 0956.68537
1999
Frontiers of combining systems. First international workshop, Munich, Germany, March 26–29, 1996. Zbl 0885.00046
Baader, Franz (ed.); Schulz, Klaus U. (ed.)
1996
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
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
2018
Extending the description logic $$\tau\mathcal{EL}(\deg)$$ with acyclic TBoxes. Zbl 1403.68251
2016
Hybrid unification in the description logic $$\mathcal{EL}$$. Zbl 1398.68499
Baader, Franz; Fernández Gil, Oliver; Morawska, Barbara
2013
Verification of Golog programs over description logic actions. Zbl 1398.68568
2013
Computing minimal $${\mathcal E}{\mathcal L}$$-unifiers is hard. Zbl 1290.68113
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
2012
UEL: unification solver for the description logic $$\mathcal{EL}$$ – system description. Zbl 1358.68281
Baader, Franz; Mendez, Julian; Morawska, Barbara
2012
Solving language equations and disequations with applications to disunification in description logics and monadic set constraints. Zbl 1352.68124
2012
Unification in the description logic $$\mathcal{EL}$$ without the top concept. Zbl 1341.68205
Baader, Franz; Binh, Nguyen Thanh; Borgwardt, Stefan; Morawska, Barbara
2011
Verifying properties of infinite sequences of description logic actions. Zbl 1211.68394
Baader, Franz; Liu, Hongkai; Mehdi, Anees Ul
2010
Exploring finite models in the description logic $${\mathcal {EL}}_{\text{gfp}}$$. Zbl 1248.68467
2009
Usability issues in description logic knowledge base completion. Zbl 1248.68472
2009
Term rewriting and applications. 18th international conference, RTA 2007, Paris, France, June 26–28, 2007. Proceedings. Zbl 1121.68001
2007
Nonstandard inferences in description logics: the story so far. Zbl 1165.68496
2006
A graph-theoretic generalization of the least common subsumer and the most specific concept in the description logic $$\mathcal{EL}$$. Zbl 1112.68407
2004
Description logics with aggregates and concrete domains. Zbl 1066.68123
2003
Automated deduction – CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings. Zbl 1026.00022
2003
Combining equational theories sharing non-collapse-free constructors. Zbl 0962.03037
2000
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
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
2018
An introduction to description logic. Zbl 1373.68002
Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli
2017
Metric temporal description logics with interval-rigid names. Zbl 06821627
Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika
2017
A new description logic with set constraints and cardinality constraints on role successors. Zbl 06821626
2017
Query and predicate emptiness in ontology-based data access. Zbl 1357.68226
Baader, Franz; Bienvenu, Meghyn; Lutz, Carsten; Wolter, Frank
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
2016
Approximate unification in the description logic $$\mathcal {FL}_0$$. Zbl 06658152
Baader, Franz; Marantidis, Pavlos; Okhotin, Alexander
2016
Extending the description logic $$\tau\mathcal{EL}(\deg)$$ with acyclic TBoxes. Zbl 1403.68251
2016
Adding threshold concepts to the description logic $$\mathcal{EL}$$. Zbl 06688806
Baader, Franz; Brewka, Gerhard; Fernández Gil, Oliver
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
2015
Dismatching and local disunification in $$\mathcal {EL}$$. Zbl 1366.68274
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
2015
On language equations with one-sided concatenation. Zbl 1359.68155
2013
Temporalizing ontology-based data access. Zbl 1381.68075
Baader, Franz; Borgwardt, Stefan; Lippmann, Marcel
2013
Hybrid unification in the description logic $$\mathcal{EL}$$. Zbl 1398.68499
Baader, Franz; Fernández Gil, Oliver; Morawska, Barbara
2013
Verification of Golog programs over description logic actions. Zbl 1398.68568
2013
LTL over description logic axioms. Zbl 1351.68260
Baader, Franz; Ghilardi, Silvio; Lutz, Carsten
2012
SAT encoding of unification in $$\mathcal{ELH}_{{R}^+}$$ w.r.t. cycle-restricted ontologies. Zbl 1358.68280
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
2012
Computing minimal $${\mathcal E}{\mathcal L}$$-unifiers is hard. Zbl 1290.68113
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
2012
UEL: unification solver for the description logic $$\mathcal{EL}$$ – system description. Zbl 1358.68281
Baader, Franz; Mendez, Julian; Morawska, Barbara
2012
Solving language equations and disequations with applications to disunification in description logics and monadic set constraints. Zbl 1352.68124
2012
Unification in modal and description logics. Zbl 1258.03018
2011
On the undecidability of fuzzy description logics with GCIs and product t-norm. Zbl 1348.68236
2011
Unification in the description logic $$\mathcal{EL}$$ without the top concept. Zbl 1341.68205
Baader, Franz; Binh, Nguyen Thanh; Borgwardt, Stefan; Morawska, Barbara
2011
Unification in the description logic EL. Zbl 1214.68379
2010
Axiom pinpointing in general tableaux. Zbl 1191.68645
2010
Automata-based axiom pinpointing. Zbl 1213.68589
2010
The description logic handbook. Theory, implementation, and applications. Reprint of the 2007 hardback ed. Zbl 1191.68652
Baader, Franz (ed.); Calvanese, Diego (ed.); McGuinness, Deborah L. (ed.); Nardi, Daniele (ed.); Patel-Schneider, Peter F. (ed.)
2010
SAT encoding of unification in $$\mathcal{EL}$$. Zbl 1306.68181
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
2010
Verifying properties of infinite sequences of description logic actions. Zbl 1211.68394
Baader, Franz; Liu, Hongkai; Mehdi, Anees Ul
2010
Unification in the description logic $$\mathcal{EL}$$. Zbl 1242.68300
2009
Description logics. Zbl 1254.68245
2009
Putting ABox updates into action. Zbl 1193.68233
Drescher, Conrad; Liu, Hongkai; Baader, Franz; Guhlemann, Steffen; Petersohn, Uwe; Steinke, Peter; Thielscher, Michael
2009
Runtime verification using a temporal description logic. Zbl 1193.68160
Baader, Franz; Bauer, Andreas; Lippmann, Marcel
2009
Exploring finite models in the description logic $${\mathcal {EL}}_{\text{gfp}}$$. Zbl 1248.68467
2009
Usability issues in description logic knowledge base completion. Zbl 1248.68472
2009
Automata can show PSpace results for description logics. Zbl 1149.68073
2008
Automata-based axiom pinpointing. Zbl 1165.68497
2008
A finite basis for the set of $$\mathcal{EL}$$-implications holding in a finite model. Zbl 1132.68056
2008
The description logic handbook. Theory, implementation, and applications. 2nd ed. Zbl 1132.68055
Baader, Franz (ed.); Calvanese, Diego (ed.); McGuinness, Deborah L. (ed.); Nardi, Daniele (ed.); Patel-Schneider, Peter F. (ed.)
2007
Connecting many-sorted theories. Zbl 1136.03012
2007
Computing the least common subsumer w.r.t. a background terminology. Zbl 1122.68117
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
2007
Axiom pinpointing in general tableaux. Zbl 1132.68675
2007
Term rewriting and applications. 18th international conference, RTA 2007, Paris, France, June 26–28, 2007. Proceedings. Zbl 1121.68001
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
2006
Nonstandard inferences in description logics: the story so far. Zbl 1165.68496
2006
Description logics as ontology languages for the semantic web. Zbl 1098.68705
Baader, Franz; Horrocks, Ian; Sattler, Ulrike
2005
Applying formal concept analysis to description logics. Zbl 1197.68076
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
2004
Computing the least common subsumer w.r.t. a background terminology. Zbl 1111.68664
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
2004
A graph-theoretic generalization of the least common subsumer and the most specific concept in the description logic $$\mathcal{EL}$$. Zbl 1112.68407
2004
The description logic handbook. Theory, implementation, and applications. Zbl 1058.68107
Baader, Franz (ed.); Calvanese, Diego (ed.); McGuinness, Deborah (ed.); Nardi, Daniele (ed.); Patel-Schneider, Peter (ed.)
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
2003
From tableaux to automata for description logics. Zbl 1273.03095
2003
Computing the least common subsumer in the description logic $$\mathcal{EL}$$ w.r.t. terminological cycles with descriptive semantics. Zbl 1274.68451
2003
From tableaux to automata for description logics. Zbl 1038.03033
2003
Description logics with aggregates and concrete domains. Zbl 1066.68123
2003
Automated deduction – CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings. Zbl 1026.00022
2003
Deciding the word problem in the union of equational theories. Zbl 1049.03032
2002
Fusions of description logics and abstract description systems. Zbl 0995.03025
Baader, F.; Lutz, C.; Sturm, H.; Wolter, F.
2002
Combining decision procedures for positive theories sharing constructors. Zbl 1045.03013
2002
On the problem of computing small representations of least common subsumers. Zbl 1015.68547
2002
Unification theory. Zbl 1011.68126
2001
An overview of tableau algorithms for description logics. Zbl 0991.03012
2001
Unification of concept terms in description logics. Zbl 0970.68166
2001
Unification in a description logic with transitive closure of roles. Zbl 1275.68134
2001
The inverse method implements the automata approach for modal satisfiability. Zbl 0988.03021
2001
Combining constraint solving. Zbl 0976.03515
2001
Tableau algorithms for description logics. Zbl 0963.03015
2000
Building and structuring description logic knowledge bases using least common subsumers and concept analysis. Zbl 0973.68228
2000
Combining equational theories sharing non-collapse-free constructors. Zbl 0962.03037
2000
Term rewriting and all that. Zbl 0948.68098
1999
Matching in description logics. Zbl 0940.03036
Baader, Franz; Küsters, Ralf; Borgida, Alex; McGuinness, Deborah L.
1999
Deciding the word problem in the union of equational theories sharing constructors. Zbl 0976.03051
1999
Expressive number restrictions in description logics. Zbl 0940.03035
1999
Logic-based knowledge representation. Zbl 0956.68537
1999
1998
On the complexity of Boolean unification. Zbl 1338.68092
1998
Unification theory. Zbl 0970.68148
1998
Unification in the union of disjoint equational theories: Combining decision procedures. Zbl 0851.68055
1996
Cardinality restrictions on concepts. Zbl 0907.68181
Baader, Franz; Buchheit, Martin; Hollunder, Bernhard
1996
Using automata theory for characterizing the semantics of terminological cycles. Zbl 0891.68111
1996
Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Zbl 0853.03008
1996
A formal definition for the expressive power of terminological knowledge representation languages. Zbl 0844.68109
1996
Frontiers of combining systems. First international workshop, Munich, Germany, March 26–29, 1996. Zbl 0885.00046
Baader, Franz (ed.); Schulz, Klaus U. (ed.)
1996
Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. Zbl 0842.68081
1995
A multi-dimensional terminological knowledge representation language. Zbl 0845.68098
1995
Combination techniques and decision problems for disunification. Zbl 0873.68188
1995
Unification in commutative theories, Hilbert’s basis theorem, and Gröbner bases. Zbl 0791.68146
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
1993
General $$A$$- and $$AX$$-unification via optimized combination procedures. Zbl 0925.03059
1993
Unification in the union of disjoint equational theories: Combining decision procedures. Zbl 0925.03084
1992
Qualifying number restrictions in concept languages. Zbl 0765.68190
1991
Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. Zbl 0742.68064
1991
A scheme for integrating concrete domains into concept languages. Zbl 0742.68063
1991
Unification in commutative theories. Zbl 0689.68039
1989
Unification in commutative idempotent monoids. Zbl 0658.68108
1988
A note on unification type zero. Zbl 0636.68030
1988
Unification in varieties of idempotent semigroups. Zbl 0624.20039
1987
...and 1 more Documents
all top 5

#### Cited by 1,307 Authors

 32 Baader, Franz 20 Middeldorp, Aart 18 Peñaloza, Rafael 16 Straccia, Umberto 15 Lutz, Carsten 15 Meseguer Guaita, José 14 Alpuente, María 14 Ayala-Rincón, Mauricio 14 Calvanese, Diego 13 Fernández, Maribel 13 Lucas, Salvador 13 Wolter, Frank 12 Bobillo, Fernando 12 Eiter, Thomas 12 Giesl, Jürgen 12 Horrocks, Ian 12 Nishida, Naoki 12 Thiemann, René 12 Vidal, Germán 12 Zakharyaschev, Michael Viktorovich 11 Escobar, Santiago 11 Ghilardi, Silvio 10 Borgwardt, Stefan 10 Godoy, Guillem 10 Motik, Boris 10 Schmidt-Schauß, Manfred 10 Zankl, Harald 9 Jiang, Yuncheng 9 Moser, Georg 9 Narendran, Paliath 9 Okhotin, Alexander 9 Rybakov, Vladimir Vladimirovich 9 Tinelli, Cesare 8 De Giacomo, Giuseppe 8 Nguyen, Linh Anh 8 Ringeissen, Christophe 8 Sakai, Masahiko 8 Sattler, Ulrike 8 Zantema, Hans 7 Rusinowitch, Michaël 7 Ryzhikov, Vladislav 7 Vágvölgyi, Sándor 6 Artale, Alessandro 6 Bonatti, Piero Andrea 6 d’Amato, Claudia 6 Demri, Stéphane P. 6 Falaschi, Moreno 6 Fanizzi, Nicola 6 Felgenhauer, Bertram 6 Gao, Xing 6 Guiraud, Yves 6 Guo, Li 6 Kirchner, Claude 6 Leite, João 6 Lugiez, Denis 6 Ortiz, Magdalena 6 Sternagel, Christian 6 van de Pol, Jan Cornelis 5 Antoy, Sergio 5 Ballis, Demis 5 Barrett, Clark W. 5 Cain, Alan J. 5 Cuenca Grau, Bernardo 5 Cavalcanti de Moura, Flávio Leonardo 5 Echenim, Mnacho 5 Gabbay, Murdoch James 5 Giraudo, Samuele 5 Goré, Rajeev Prabhakar 5 Gottlob, Georg 5 Gramlich, Bernhard 5 Hirokawa, Nao 5 Kamareddine, Fairouz D. 5 Kesner, Delia 5 Kirchner, Hélène 5 Lenzerini, Maurizio 5 Lukasiewicz, Thomas 5 Malbos, Philippe 5 Morawska, Barbara 5 Pan, Jeff Z. 5 Peltier, Nicolas 5 Qi, Guilin 5 Schneider-Kamp, Peter 5 Slota, Martin 5 Smolka, Gert 5 Tang, Yong 5 Turhan, Anni-Yasmin 5 Varzinczak, Ivan Jóse 5 Waldmann, Uwe 5 Wang, Ju 5 Wang, Kewen 4 Alves, Sandra 4 Avanzini, Martin 4 Baumgartner, Peter 4 Britz, Katarina 4 Chen, Qimai 4 Creus, Carles 4 Esposito, Floriana 4 Fontaine, Pascal 4 Fuhs, Carsten 4 Gascón, Adrià ...and 1,207 more Authors
all top 5

#### Cited in 110 Serials

 83 Theoretical Computer Science 81 Journal of Automated Reasoning 53 Artificial Intelligence 53 Information and Computation 34 Journal of Symbolic Computation 32 Annals of Mathematics and Artificial Intelligence 26 International Journal of Approximate Reasoning 18 Information Processing Letters 18 Annals of Pure and Applied Logic 18 Journal of Applied Logic 17 Theory and Practice of Logic Programming 17 Journal of Logical and Algebraic Methods in Programming 14 Fuzzy Sets and Systems 14 MSCS. Mathematical Structures in Computer Science 14 Journal of Applied Non-Classical Logics 14 Logical Methods in Computer Science 13 Information Sciences 13 The Journal of Symbolic Logic 10 ACM Transactions on Computational Logic 9 Journal of Computer and System Sciences 9 Applicable Algebra in Engineering, Communication and Computing 9 The Journal of Logic and Algebraic Programming 8 Studia Logica 7 Journal of Functional Programming 6 Journal of Algebra 6 New Generation Computing 6 International Journal of Algebra and Computation 5 Formal Aspects of Computing 5 Journal of Logic, Language and Information 4 Journal of Pure and Applied Algebra 4 Formal Methods in System Design 4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 4 Sibirskie Èlektronnye Matematicheskie Izvestiya 4 Logica Universalis 4 International Journal of Semantic Computing 3 Acta Informatica 3 Computers & Mathematics with Applications 3 Discrete Applied Mathematics 3 Discrete Mathematics 3 Journal of Philosophical Logic 3 Notre Dame Journal of Formal Logic 3 Semigroup Forum 3 Synthese 3 Advances in Applied Mathematics 3 Science of Computer Programming 3 International Journal of Foundations of Computer Science 3 Theory of Computing Systems 3 Journal of Algebra and its Applications 2 International Journal of General Systems 2 Algebra Universalis 2 Archive for Mathematical Logic 2 Cybernetics and Systems Analysis 2 Higher-Order and Symbolic Computation 2 International Journal of Applied Mathematics and Computer Science 2 RAIRO. Theoretical Informatics and Applications 2 Lobachevskii Journal of Mathematics 2 Journal of Machine Learning Research (JMLR) 2 Mathematics in Computer Science 2 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika 1 Advances in Mathematics 1 Applied Mathematics and Computation 1 Journal of Combinatorial Theory. Series A 1 Mathematische Zeitschrift 1 Programming and Computer Software 1 SIAM Journal on Computing 1 Siberian Mathematical Journal 1 Topology and its Applications 1 European Journal of Combinatorics 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 Machine Learning 1 International Journal of Computer Mathematics 1 Distributed Computing 1 Journal of Mathematical Sciences (New York) 1 Journal of Lie Theory 1 Theory and Applications of Categories 1 Sbornik: Mathematics 1 Computational & Mathematical Organization Theory 1 Séminaire Lotharingien de Combinatoire 1 Soft Computing 1 Journal of the ACM 1 Data Mining and Knowledge Discovery 1 Algebraic & Geometric Topology 1 Journal of the Australian Mathematical Society 1 Journal of Systems Science and Complexity 1 Journal of Applied Mathematics 1 EURASIP Journal on Applied Signal Processing 1 Computer Languages, Systems & Structures 1 Computational Intelligence 1 Journal of Multiple-Valued Logic and Soft Computing 1 Journal of Discrete Algorithms 1 Science in China. Series F 1 Frontiers of Mathematics in China 1 International Journal of Information Technology & Decision Making 1 Tbilisi Mathematical Journal 1 The Review of Symbolic Logic 1 Algorithms ...and 10 more Serials
all top 5

#### Cited in 29 Fields

 878 Computer science (68-XX) 327 Mathematical logic and foundations (03-XX) 26 Group theory and generalizations (20-XX) 25 Category theory; homological algebra (18-XX) 21 Combinatorics (05-XX) 19 Information and communication theory, circuits (94-XX) 18 General algebraic systems (08-XX) 15 Commutative algebra (13-XX) 15 Associative rings and algebras (16-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Field theory and polynomials (12-XX) 4 Operations research, mathematical programming (90-XX) 4 Biology and other natural sciences (92-XX) 3 History and biography (01-XX) 3 Nonassociative rings and algebras (17-XX) 2 General and overarching topics; collections (00-XX) 2 Number theory (11-XX) 2 Operator theory (47-XX) 2 Statistics (62-XX) 2 Mathematics education (97-XX) 1 Algebraic geometry (14-XX) 1 Ordinary differential equations (34-XX) 1 Differential geometry (53-XX) 1 General topology (54-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX)