Edit Profile (opens in new tab) Rudolph, Sebastian Co-Author Distance Author ID: rudolph.sebastian Published as: Rudolph, Sebastian; Rudolph, “Johann” Sebastian Homepage: https://iccl.inf.tu-dresden.de/web/Sebastian_Rudolph/Publikationen External Links: MGP · ORCID Documents Indexed: 49 Publications since 1996, including 6 Additional arXiv Preprints 10 Contributions as Editor Co-Authors: 49 Co-Authors with 40 Joint Publications 1,006 Co-Co-Authors all top 5 Co-Authors 10 single-authored 8 Krötzsch, Markus 5 Croitoru, Madalina 3 Feller, Thomas 3 Gaggl, Sarah Alice 3 Hitzler, Pascal 3 Lyon, Tim S. 3 Marquis, Pierre 2 Aguilera, D. N. 2 Ahlers, H. 2 Battelier, B. 2 Bawamia, A. 2 Bertoldi, A. 2 Bodirsky, Manuel 2 Bondarescu, Ruxandra 2 Bongs, K. 2 Bouyer, Philippe 2 Braxmaier, Claus 2 Cacciapuoti, L. 2 Chaloner, C. 2 Chwalla, M. 2 Delaleau, Emmanuel 2 Ertmer, W. 2 Gaaloul, N. 2 Gehler, M. 2 Gerardi, Dino 2 Gesa, L. 2 Gürlebeck, Norman 2 Hauth, M. 2 Hellmig, O. 2 Herr, W. 2 Heske, A. 2 Hinton, A. 2 Jetzer, Philippe 2 Johann, U. 2 Knäuer, Simon 2 Krutzik, M. 2 Kubelka, A. 2 Lämmerzahl, Claus 2 Lehen’kyj, Victor Ivanovich 2 Lloro, I. 2 Marx, Maximilian 2 Massonnet, D. 2 Mateos, I. 2 Milke, A. 2 Nikitina, Nadeschda 2 Nofrarias, M. 2 Ostropolski-Nalewaja, Piotr 2 Oswald, Martin R. 2 Ozaki, Ana 2 Peters, Achim 2 Posso-Trujillo, K. 2 Rasel, Ernst M. 2 Roura, Albert 2 Schleich, Wolfgang P. 2 Schuldt, T. 2 Schweizer, Lukas 2 Seidel, Stephen A. 2 Sengstock, K. 2 Sopuerta, Carlos F. 2 Sorrentino, Francesco 2 Stapleton, Gem 2 Thomazo, Michaël 2 Tino, Guglielmo M. 2 Trenkel, Christian 2 Uzunoglu, Nikolaos K. 2 von Klitzing, W. 2 Walser, Reinhold 2 Wendrich, T. 2 Wenzlawski, A. 2 Wessels, Peter M. 2 Wicht, Andreas 2 Wille, Emilio C. G. 2 Windpassinger, Patrick J. 2 Zahzam, N. 1 Baader, Franz 1 Bednarczyk, Bartosz 1 Bertet, Karell 1 Carral, David 1 Cochez, Michael 1 Corby, Olivier 1 Cordero, Pablo 1 Dau, Frithjof 1 Delivorias, Stathis 1 Ferré, Sébastien 1 Fröhlich, Rolf 1 Ganter, Bernhard 1 Glimm, Birte 1 Gonzales, Christophe 1 Gottlob, Georg 1 Gutiérrez, Claudio 1 Hölldobler, Steffen 1 Horrocks, Ian 1 Howse, John 1 Kieroński, Emanuel 1 Klimpke, Jana 1 Kuznetsov, Sergei O. 1 Landragin, A. 1 Lragin, A. 1 Motik, Boris 1 Peñaloza, Rafael ...and 12 more Co-Authors all top 5 Serials 10 Lecture Notes in Computer Science 3 International Journal of Control 3 The Journal of Artificial Intelligence Research (JAIR) 2 Classical and Quantum Gravity 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 Automatica 1 Information Sciences 1 Theoretical Computer Science 1 Linear Algebra and its Applications 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science 1 PAMM. Proceedings in Applied Mathematics and Mechanics all top 5 Fields 43 Computer science (68-XX) 11 General and overarching topics; collections (00-XX) 8 Systems theory; control (93-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 2 Mathematical logic and foundations (03-XX) 2 Mechanics of particles and systems (70-XX) 2 Quantum theory (81-XX) 2 Relativity and gravitational theory (83-XX) 2 Astronomy and astrophysics (85-XX) 1 Topological groups, Lie groups (22-XX) 1 Ordinary differential equations (34-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 35 Publications have been cited 74 times in 65 Documents Cited by ▼ Year ▼ Concept lattices with negative information: a characterization theorem. Zbl 1428.68290 Rodriguez-Jimenez, J. M.; Cordero, P.; Enciso, M.; Rudolph, S. 10 2016 Control of flat systems by quasi-static feedback of generalized states. Zbl 0962.93019 Delaleau, E.; Rudolph, J. 9 1998 Complexities of Horn description logics. Zbl 1353.68268 Krötzsch, Markus; Rudolph, Sebastian; Hitzler, Pascal 6 2013 Flatness-based control by quasi-static feedback illustrated on a cascade of two chemical reactors. Zbl 1047.93547 Rudolph, J. 6 2000 Exploring relational structures via \({\mathcal{FLE}}\). Zbl 1104.68742 Rudolph, Sebastian 6 2004 (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\). Zbl 1308.68110 Nikitina, Nadeschda; Rudolph, Sebastian 5 2014 The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases. Zbl 1315.68117 Stefanoni, Giorgio; Motik, Boris; Krötzsch, Markus; Rudolph, Sebastian 5 2014 Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend! Zbl 1205.68408 Rudolph, Sebastian; Glimm, Birte 5 2010 Using FCA for encoding closure operators into neural networks. Zbl 1213.68608 Rudolph, Sebastian 4 2007 On the decomposition of abstract dialectical frameworks and the complexity of naive-based semantics. Zbl 1476.68251 Gaggl, Sarah Alice; Rudolph, Sebastian; Straß, Hannes 4 2021 Cheap Boolean role constructors for description logics. Zbl 1178.68570 Rudolph, Sebastian; Krötzsch, Markus; Hitzler, Pascal 4 2008 Some notes on pseudo-closed sets. Zbl 1187.68593 Rudolph, Sebastian 4 2007 ExpExpExplosion: uniform interpolation in general \(\mathcal{EL}\) terminologies. Zbl 1327.68258 Nikitina, Nadeschda; Rudolph, Sebastian 3 2012 Formal concept analysis methods for dynamic conceptual graphs. Zbl 0994.68145 Ganter, Bernhard; Rudolph, Sebastian 3 2001 STE-QUEST – test of the universality of free fall using cold atom interferometry. Zbl 1294.83005 Aguilera, D. N.; Ahlers, H.; Battelier, B.; Bawamia, A.; Bertoldi, A.; Bondarescu, R.; Bongs, K.; Bouyer, P.; Braxmaier, C.; Cacciapuoti, L.; Chaloner, C.; Chwalla, M.; Ertmer, W.; Franz, M.; Gaaloul, N.; Gehler, M.; Gerardi, D.; Gesa, L.; Gürlebeck, N.; Hartwig, J.; Hauth, M.; Hellmig, O.; Herr, W.; Herrmann, S.; Heske, A.; Hinton, A.; Ireland, P.; Jetzer, P.; Johann, U.; Krutzik, M.; Kubelka, A.; Lämmerzahl, C.; Landragin, A.; Lloro, I.; Massonnet, D.; Mateos, I.; Milke, A.; Nofrarias, M.; Oswald, M.; Peters, A.; Posso-Trujillo, K.; Rasel, E.; Rocco, E.; Roura, A.; Rudolph, J.; Schleich, W.; Schubert, C.; Schuldt, T.; Seidel, S.; Sengstock, K.; Sopuerta, C. F.; Sorrentino, F.; Summers, D.; Tino, G. M.; Trenkel, C.; Uzunoglu, N.; von Klitzing, W.; Walser, R.; Wendrich, T.; Wenzlawski, A.; Weßels, P.; Wicht, A.; Wille, E.; Williams, M.; Windpassinger, P.; Zahzam, N. 3 2014 Succinctness and tractability of closure operator representations. Zbl 1418.06001 Rudolph, Sebastian 3 2017 Some notes on managing closure operators. Zbl 1360.68821 Rudolph, Sebastian 3 2012 Fixed-domain reasoning for description logics. Zbl 1403.68263 Gaggl, Sarah; Rudolph, Sebastian; Schweizer, Lukas 2 2016 Some examples and remarks on quasi-static feedback of generalized states. Zbl 0938.93536 Rudolph, J.; Delaleau, E. 2 1998 Duality in time-varying linear systems: A module theoretic approach. Zbl 0864.93035 Rudolph, J. 2 1996 Revisiting grounded circumscription in description logics. Zbl 1366.68283 Delivorias, Stathis; Rudolph, Sebastian 2 2016 On the succinctness of closure operator representations. Zbl 1444.68212 Rudolph, Sebastian 2 2014 Towards a navigation paradigm for triadic concepts. Zbl 1312.68193 Rudolph, Sebastian; Săcărea, Christian; Troancă, Diana 2 2015 The triguarded fragment of first-order logic. Zbl 1416.03008 Rudolph, Sebastian; Šimkus, Mantas 2 2018 What is a reasonable argumentation semantics? Zbl 1432.68440 Gaggl, Sarah Alice; Rudolph, Sebastian; Thomazo, Michaël 1 2015 Formal concept analysis. 7th international conference, ICFCA 2009, Darmstadt, Germany, May 21–24, 2009. Proceedings. Zbl 1163.68003 1 2009 The power of the terminating chase (Invited Talk). Zbl 07561463 Krötzsch, Markus; Marx, Maximilian; Rudolph, Sebastian 1 2019 Web reasoning and rule systems. 5th international conference, RR 2011, Galway, Ireland, August 29–30, 2011. Proceedings. Zbl 1222.68023 1 2011 Invariant tracking for planar rigid body dynamics. Zbl 1201.93054 Rudolph, J.; Fröhlich, R. 1 2003 Acquiring generalized domain-range restrictions. Zbl 1131.68546 Rudolph, Sebastian 1 2008 Lexico-logical acquisition of OWL DL axioms. An integrated approach to ontology refinement. Zbl 1131.68549 Völker, Johanna; Rudolph, Sebastian 1 2008 Presburger concept cardinality constraints in very expressive description logics. Allegro sexagenarioso ma non ritardando. Zbl 1444.68190 Rudolph, “Johann” Sebastian 1 2019 Preserving constraints with the stable chase. Zbl 1489.68073 Carral, David; Krötzsch, Markus; Marx, Maximilian; Ozaki, Ana; Rudolph, Sebastian 1 2018 A singular perturbation approach to nonlinear observer design with an application to electromagnetic actuators. Zbl 1453.93147 Braun, T.; Reuter, J.; Rudolph, J. 1 2020 Justifications for description logic knowledge bases under the fixed-domain semantics. Zbl 1518.68366 Rudolph, Sebastian; Schweizer, Lukas; Tirtarasa, Satyadharma 1 2018 On the decomposition of abstract dialectical frameworks and the complexity of naive-based semantics. Zbl 1476.68251 Gaggl, Sarah Alice; Rudolph, Sebastian; Straß, Hannes 4 2021 A singular perturbation approach to nonlinear observer design with an application to electromagnetic actuators. Zbl 1453.93147 Braun, T.; Reuter, J.; Rudolph, J. 1 2020 The power of the terminating chase (Invited Talk). Zbl 07561463 Krötzsch, Markus; Marx, Maximilian; Rudolph, Sebastian 1 2019 Presburger concept cardinality constraints in very expressive description logics. Allegro sexagenarioso ma non ritardando. Zbl 1444.68190 Rudolph, “Johann” Sebastian 1 2019 The triguarded fragment of first-order logic. Zbl 1416.03008 Rudolph, Sebastian; Šimkus, Mantas 2 2018 Preserving constraints with the stable chase. Zbl 1489.68073 Carral, David; Krötzsch, Markus; Marx, Maximilian; Ozaki, Ana; Rudolph, Sebastian 1 2018 Justifications for description logic knowledge bases under the fixed-domain semantics. Zbl 1518.68366 Rudolph, Sebastian; Schweizer, Lukas; Tirtarasa, Satyadharma 1 2018 Succinctness and tractability of closure operator representations. Zbl 1418.06001 Rudolph, Sebastian 3 2017 Concept lattices with negative information: a characterization theorem. Zbl 1428.68290 Rodriguez-Jimenez, J. M.; Cordero, P.; Enciso, M.; Rudolph, S. 10 2016 Fixed-domain reasoning for description logics. Zbl 1403.68263 Gaggl, Sarah; Rudolph, Sebastian; Schweizer, Lukas 2 2016 Revisiting grounded circumscription in description logics. Zbl 1366.68283 Delivorias, Stathis; Rudolph, Sebastian 2 2016 Towards a navigation paradigm for triadic concepts. Zbl 1312.68193 Rudolph, Sebastian; Săcărea, Christian; Troancă, Diana 2 2015 What is a reasonable argumentation semantics? Zbl 1432.68440 Gaggl, Sarah Alice; Rudolph, Sebastian; Thomazo, Michaël 1 2015 (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\). Zbl 1308.68110 Nikitina, Nadeschda; Rudolph, Sebastian 5 2014 The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases. Zbl 1315.68117 Stefanoni, Giorgio; Motik, Boris; Krötzsch, Markus; Rudolph, Sebastian 5 2014 STE-QUEST – test of the universality of free fall using cold atom interferometry. Zbl 1294.83005 Aguilera, D. N.; Ahlers, H.; Battelier, B.; Bawamia, A.; Bertoldi, A.; Bondarescu, R.; Bongs, K.; Bouyer, P.; Braxmaier, C.; Cacciapuoti, L.; Chaloner, C.; Chwalla, M.; Ertmer, W.; Franz, M.; Gaaloul, N.; Gehler, M.; Gerardi, D.; Gesa, L.; Gürlebeck, N.; Hartwig, J.; Hauth, M.; Hellmig, O.; Herr, W.; Herrmann, S.; Heske, A.; Hinton, A.; Ireland, P.; Jetzer, P.; Johann, U.; Krutzik, M.; Kubelka, A.; Lämmerzahl, C.; Landragin, A.; Lloro, I.; Massonnet, D.; Mateos, I.; Milke, A.; Nofrarias, M.; Oswald, M.; Peters, A.; Posso-Trujillo, K.; Rasel, E.; Rocco, E.; Roura, A.; Rudolph, J.; Schleich, W.; Schubert, C.; Schuldt, T.; Seidel, S.; Sengstock, K.; Sopuerta, C. F.; Sorrentino, F.; Summers, D.; Tino, G. M.; Trenkel, C.; Uzunoglu, N.; von Klitzing, W.; Walser, R.; Wendrich, T.; Wenzlawski, A.; Weßels, P.; Wicht, A.; Wille, E.; Williams, M.; Windpassinger, P.; Zahzam, N. 3 2014 On the succinctness of closure operator representations. Zbl 1444.68212 Rudolph, Sebastian 2 2014 Complexities of Horn description logics. Zbl 1353.68268 Krötzsch, Markus; Rudolph, Sebastian; Hitzler, Pascal 6 2013 ExpExpExplosion: uniform interpolation in general \(\mathcal{EL}\) terminologies. Zbl 1327.68258 Nikitina, Nadeschda; Rudolph, Sebastian 3 2012 Some notes on managing closure operators. Zbl 1360.68821 Rudolph, Sebastian 3 2012 Web reasoning and rule systems. 5th international conference, RR 2011, Galway, Ireland, August 29–30, 2011. Proceedings. Zbl 1222.68023 1 2011 Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend! Zbl 1205.68408 Rudolph, Sebastian; Glimm, Birte 5 2010 Formal concept analysis. 7th international conference, ICFCA 2009, Darmstadt, Germany, May 21–24, 2009. Proceedings. Zbl 1163.68003 1 2009 Cheap Boolean role constructors for description logics. Zbl 1178.68570 Rudolph, Sebastian; Krötzsch, Markus; Hitzler, Pascal 4 2008 Acquiring generalized domain-range restrictions. Zbl 1131.68546 Rudolph, Sebastian 1 2008 Lexico-logical acquisition of OWL DL axioms. An integrated approach to ontology refinement. Zbl 1131.68549 Völker, Johanna; Rudolph, Sebastian 1 2008 Using FCA for encoding closure operators into neural networks. Zbl 1213.68608 Rudolph, Sebastian 4 2007 Some notes on pseudo-closed sets. Zbl 1187.68593 Rudolph, Sebastian 4 2007 Exploring relational structures via \({\mathcal{FLE}}\). Zbl 1104.68742 Rudolph, Sebastian 6 2004 Invariant tracking for planar rigid body dynamics. Zbl 1201.93054 Rudolph, J.; Fröhlich, R. 1 2003 Formal concept analysis methods for dynamic conceptual graphs. Zbl 0994.68145 Ganter, Bernhard; Rudolph, Sebastian 3 2001 Flatness-based control by quasi-static feedback illustrated on a cascade of two chemical reactors. Zbl 1047.93547 Rudolph, J. 6 2000 Control of flat systems by quasi-static feedback of generalized states. Zbl 0962.93019 Delaleau, E.; Rudolph, J. 9 1998 Some examples and remarks on quasi-static feedback of generalized states. Zbl 0938.93536 Rudolph, J.; Delaleau, E. 2 1998 Duality in time-varying linear systems: A module theoretic approach. Zbl 0864.93035 Rudolph, J. 2 1996 all cited Publications top 5 cited Publications all top 5 Cited by 142 Authors 8 Rudolph, Sebastian 6 Krötzsch, Markus 5 Wolter, Frank 4 Botoeva, Elena 4 Ryzhikov, Vladislav 3 Distel, Felix 3 Kriegel, Francesco 3 Lutz, Carsten 3 Ortiz, Magdalena 3 Ozaki, Ana 3 Wallner, Johannes Peter 3 Zakharyaschev, Michael Viktorovich 2 Bienvenu, Meghyn 2 Borchmann, Daniel 2 Calvanese, Diego 2 Cordero, Pablo 2 Dubslaff, Clemens 2 Enciso, Manuel 2 Gaggl, Sarah Alice 2 Ibáñez-García, Yazmín Angélica 2 Jung, Jean Christoph 2 Konev, Boris 2 Koopmann, Patrick 2 Kuznetsov, Sergei O. 2 Masopust, Tomáš 2 Missaoui, Rokia 2 Mora, Angel 2 Nourine, Lhouari 2 Rodríguez-Lorenzo, Estrella 2 Ruas, Pedro H. B. 2 Sertkaya, Barış 2 Song, Mark A. J. 2 Thomazo, Michaël 2 Turhan, Anni-Yasmin 1 Amendola, Giovanni 1 Analyti, Anastasia 1 Ananias, Kaio H. A. 1 Antoniou, Grigoris 1 Arenas, Marcelo 1 Arndt, Dörthe 1 Artale, Alessandro 1 Baader, Franz 1 Baier, Christel 1 Bednarczyk, Bartosz 1 Bertet, Karell 1 Bonatti, Piero Andrea 1 Brewka, Gerhard 1 Bykova, Valentina Vladimirovna 1 Cao, Cungen 1 Casini, Giovanni 1 Cuenca Grau, Bernardo 1 De Roo, Jos 1 Defrain, Oscar 1 Delgrande, James P. 1 Delivorias, Stathis 1 Diller, Martin 1 Dürrschnabel, Dominik 1 Eiter, Thomas 1 Ellmauthaler, Stefan 1 Franconi, Enrico 1 Gabarró, Joaquim 1 Ganter, Bernhard 1 Gnatyshak, Dmitry V. 1 Gogacz, Tomasz 1 Guimarães, Ricardo 1 Guo, Qinglin 1 Guthke, Reinhard 1 Gutiérrez-Basulto, Víctor 1 Hanika, Tom 1 Hermanns, Holger 1 Hitzler, Pascal 1 Huchard, Marianne 1 Ibrahim, Mohamed-Hamza 1 Ignatov, Dmitry I. 1 Käfer, Nikolai 1 Kaminski, Mark 1 Kataeva, A. V. 1 Kazakov, Yevgeny 1 Kieroński, Emanuel 1 Kontchakov, Roman 1 Kwuida, Léonard 1 Lämmel, Ralf 1 Leinberger, Martin 1 Li, Tongjun 1 Linsbichler, Thomas 1 López-Rodríguez, Domingo 1 Ma, Yue 1 Maafa, Khaled 1 Makhazhanov, Nurtas 1 Maratea, Marco 1 Marcinkowski, Jerzy 1 Marx, Maximilian 1 Mazzullo, Andrea 1 Mels, Giovanni 1 Meyer, Thomas Andreas 1 Michel, Friedrich 1 Mirkin, Boris G. 1 Muñoz-Velasco, Emilio 1 Murlak, Filip 1 Napoli, Amedeo ...and 42 more Authors all top 5 Cited in 20 Serials 9 Artificial Intelligence 5 Annals of Mathematics and Artificial Intelligence 4 Discrete Applied Mathematics 3 Information Sciences 3 Theory and Practice of Logic Programming 2 Theoretical Computer Science 2 Information and Computation 2 Journal of Automated Reasoning 2 The Journal of Artificial Intelligence Research (JAIR) 1 Discrete Mathematics 1 SIAM Journal on Computing 1 International Journal of Intelligent Systems 1 Formal Aspects of Computing 1 Machine Learning 1 Journal of Applied Non-Classical Logics 1 Journal of Machine Learning Research (JMLR) 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science 1 Science China. Information Sciences 1 Prikladnaya Diskretnaya Matematika all top 5 Cited in 7 Fields 62 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 3 Biology and other natural sciences (92-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Convex and discrete geometry (52-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year