default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSebastian Rudolph
"Johann" Sebastian Rudolph
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c151]Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac:
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence. AAMAS 2024: 983-991- [c150]Luisa Herrmann, Vincent Peth, Sebastian Rudolph:
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. CSL 2024: 33:1-33:19 - [c149]Elias Crum, Antonio De Santis, Manon Ovide, Jiaxin Pan, Alessia Pisu, Nicolas Lazzari, Sebastian Rudolph:
Enriching Ontologies with Disjointness Axioms using Large Language Models. KBC-LM/LM-KBC@ISWC 2024 - [c148]Lucía Gómez Álvarez, Sebastian Rudolph:
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities. KR 2024 - [c147]Piotr Ostropolski-Nalewaja, Sebastian Rudolph:
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules. KR 2024 - [e30]Andreas Hotho
, Sebastian Rudolph:
KI 2024: Advances in Artificial Intelligence - 47th German Conference on AI, Würzburg, Germany, September 25-27, 2024, Proceedings. Lecture Notes in Computer Science 14992, Springer 2024, ISBN 978-3-031-70892-3 [contents] - [i30]Piotr Ostropolski-Nalewaja, Sebastian Rudolph:
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules. CoRR abs/2407.14384 (2024) - [i29]Elias Crum, Antonio De Santis, Manon Ovide, Jiaxin Pan, Alessia Pisu, Nicolas Lazzari, Sebastian Rudolph:
Enriching Ontologies with Disjointness Axioms using Large Language Models. CoRR abs/2410.03235 (2024) - [i28]Lucas Carr, Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph:
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences. CoRR abs/2410.04184 (2024) - [i27]Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph:
Towards Propositional KLM-Style Defeasible Standpoint Logics. CoRR abs/2410.04245 (2024) - 2023
- [j23]Bartosz Bednarczyk, Sebastian Rudolph:
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC. J. Artif. Intell. Res. 78 (2023) - [j22]Shima Asaadi, Eugenie Giesbrecht, Sebastian Rudolph:
Compositional matrix-space models of language: Definitions, properties, and learning methods. Nat. Lang. Eng. 29(1): 32-80 (2023) - [c146]Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph:
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying. ICDT 2023: 18:1-18:18 - [c145]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. IJCAI 2023: 3258-3267 - [c144]Tim S. Lyon, Sebastian Rudolph:
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. JELIA 2023: 369-384 - [c143]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. KR 2023: 333-343 - [c142]Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph:
Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying. PODS 2023: 291-302 - [c141]Johanna Rockstroh, Giada D'Ippolito, Nicolas Lazzari, Anouk Michelle Oudshoorn, Disha Purohit, Ensiyeh Raoufi, Sebastian Rudolph:
A is the B of C: (Semi)-Automatic Creation of Vossian Antonomasias. Wikidata@ISWC 2023 - [e29]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 11th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), Macao, S.A.R. China; August 20, 2023. CEUR Workshop Proceedings 3489, CEUR-WS.org 2023 [contents] - [i26]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. CoRR abs/2302.13187 (2023) - [i25]Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph:
Decidability of Querying First-Order Theories via Countermodels of Finite Width. CoRR abs/2304.06348 (2023) - [i24]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. CoRR abs/2304.14323 (2023) - [i23]Luisa Herrmann, Sebastian Rudolph:
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. CoRR abs/2305.01962 (2023) - [i22]Tim S. Lyon, Sebastian Rudolph:
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. CoRR abs/2307.08481 (2023) - 2022
- [c140]Bartosz Bednarczyk, Sebastian Rudolph:
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard. AAAI 2022: 5495-5502 - [c139]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended Abstract). Description Logics 2022 - [c138]Faiq Miftakhul Falakh, Sebastian Rudolph:
AGM Revision in Description Logics Under Fixed-Domain Semantics. Description Logics 2022 - [c137]Sebastian Rudolph:
Charting the Borderland - Decidability in Description Logics and Beyond (DL Invited Talk Abstract). Description Logics 2022 - [c136]Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo:
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). IJCAI 2022: 5269-5273 - [c135]Jonas Karge, Sebastian Rudolph:
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion. KR 2022 - [c134]Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph:
A Journey to the Frontiers of Query Rewritability. PODS 2022: 359-367 - [c133]Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald:
Semantic Characterizations of AGM Revision for Tarskian Logics. RuleML+RR 2022: 95-110 - [c132]Jarno Vrolijk, Ioannis Reklos, Mahsa Vafaie, Arcangelo Massari, Maryam Mohammadi, Sebastian Rudolph:
Toward a Comparison Framework for Interactive Ontology Enrichment Methodologies. VOILA@ISWC 2022: 41-50 - [c131]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
How to Agree to Disagree - Managing Ontological Perspectives using Standpoint Logic. ISWC 2022: 125-141 - [e28]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 10th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022. CEUR Workshop Proceedings 3233, CEUR-WS.org 2022 [contents] - [i21]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic. CoRR abs/2206.06793 (2022) - [i20]Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph:
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying. CoRR abs/2209.02464 (2022) - 2021
- [j21]Xiaoyu Yin, Dagmar Gromann, Sebastian Rudolph:
Neural machine translating from natural language to SPARQL. Future Gener. Comput. Syst. 117: 510-519 (2021) - [j20]Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß:
On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics. J. Artif. Intell. Res. 70: 1-64 (2021) - [c130]Bartosz Bednarczyk, Sebastian Rudolph:
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract). Description Logics 2021 - [c129]Emanuel Kieronski, Sebastian Rudolph:
Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract). Description Logics 2021 - [c128]Lucía Gómez Álvarez, Sebastian Rudolph:
Standpoint Logic: Multi-Perspective Knowledge Representation. FOIS 2021: 3-17 - [c127]Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph:
Datalog-Expressibility for Monadic and Guarded Second-Order Logic. ICALP 2021: 120:1-120:17 - [c126]Jana Klimpke, Sebastian Rudolph:
Visualization of Statistical Information in Concept Lattice Diagrams. ICFCA 2021: 208-223 - [c125]Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald:
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report). FCR@KI 2021: 48-59 - [c124]Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo:
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. KR 2021: 141-150 - [c123]Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph:
On Logics and Homomorphism Closure. LICS 2021: 1-13 - [c122]Emanuel Kieronski, Sebastian Rudolph:
Finite Model Theory of the Triguarded Fragment and Related Logics. LICS 2021: 1-13 - [c121]Aaron Eberhart, David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph:
Seed Patterns for Modeling Trees. WOP (Book) 2021: 48-67 - [e27]Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph:
Graph Structures for Knowledge Representation and Reasoning - 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12640, Springer 2021, ISBN 978-3-030-72307-1 [contents] - [e26]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 9th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), Montréal, Québec, Canada, August 21, 2021. CEUR Workshop Proceedings 2972, CEUR-WS.org 2021 [contents] - [i19]Emanuel Kieronski, Sebastian Rudolph:
Finite Model Theory of the Triguarded Fragment and Related Logics. CoRR abs/2101.08377 (2021) - [i18]Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph:
On Logics and Homomorphism Closure. CoRR abs/2104.11955 (2021) - [i17]Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald:
A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics. CoRR abs/2104.14512 (2021) - [i16]Bartosz Bednarczyk, Sebastian Rudolph:
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard. CoRR abs/2106.15150 (2021) - [i15]Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo:
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. CoRR abs/2107.07811 (2021) - [i14]Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald:
Semantic Characterizations of General Belief Base Revision. CoRR abs/2112.13557 (2021) - 2020
- [j19]Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph:
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT. Künstliche Intell. 34(3): 389-394 (2020) - [j18]Fariz Darari, Werner Nutt, Simon Razniewski, Sebastian Rudolph:
Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements. Semantic Web 11(3): 441-482 (2020) - [j17]Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph, Malintha Adikari:
Semantic Node-RED for rapid development of interoperable industrial IoT applications. Semantic Web 11(6): 949-975 (2020) - [c120]Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph:
Neva - Extension Visualization for Argumentation Frameworks. COMMA 2020: 477-478 - [c119]Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph:
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. ECAI 2020: 616-623 - [e25]Sebastian Rudolph, Goreti Marreiros:
Proceedings of the 9th European Starting AI Researchers' Symposium 2020 co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago Compostela, Spain, August, 2020. CEUR Workshop Proceedings 2655, CEUR-WS.org 2020 [contents] - [e24]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 8th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2020) co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, Spain, August 29, 2020. CEUR Workshop Proceedings 2729, CEUR-WS.org 2020 [contents] - [e23]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 7th International Workshop "What can FCA do for Artificial Intelligence"? co-located with International Joint Conference on Artificial Intelligence, FCA4AI@IJCAI 2019, Macao, China, August 10, 2019. CEUR Workshop Proceedings 2529, CEUR-WS.org 2020 [contents] - [i13]Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph:
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. CoRR abs/2002.06072 (2020) - [i12]Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph:
Datalog-Expressibility for Monadic and Guarded Second-Order Logic. CoRR abs/2010.05677 (2020) - [i11]Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph:
A Journey to the Frontiers of Query Rewritability. CoRR abs/2012.11269 (2020) - [i10]Nacira Abbas, Kholoud Alghamdi, Mortaza Alinam, Francesca Alloatti, Glenda C. M. Amaral, Claudia d'Amato, Luigi Asprino, Martin Beno, Felix Bensmann, Russa Biswas, Ling Cai, Riley Capshaw, Valentina Anita Carriero, Irene Celino, Amine Dadoun, Stefano De Giorgis, Harm Delva, John Domingue, Michel Dumontier, Vincent Emonet, Marieke van Erp, Paola Espinoza-Arias, Omaima Fallatah, Sebastián Ferrada, Marc Gallofré Ocaña, Michalis Georgiou, Genet Asefa Gesese, Frances Gillis-Webber, Francesca Giovannetti, María Granados Buey, Ismail Harrando, Ivan Heibi, Vitor A. C. Horta, Laurine Huber, Federico Igne, Mohamad Yaser Jaradeh, Neha Keshan, Aneta Koleva, Bilal Koteich, Kabul Kurniawan, Mengya Liu, Chuangtao Ma, Lientje Maas, Martin Mansfield, Fabio Mariani, Eleonora Marzi, Sepideh Mesbah, Maheshkumar Mistry, Alba Catalina Morales Tirado, Anna Nguyen, Viet Bach Nguyen, Allard Oelen, Valentina Pasqual, Heiko Paulheim, Axel Polleres, Margherita Porena, Jan Portisch, Valentina Presutti, Kader Pustu-Iren, Ariam Rivas Mendez, Soheil Roshankish, Sebastian Rudolph, Harald Sack, Ahmad Sakor, Jaime Salas, Thomas Schleider, Meilin Shi, Gianmarco Spinaci, Chang Sun, Tabea Tietz, Molka Tounsi Dhouib, Alessandro Umbrico, Wouter van den Berg, Weiqin Xu:
Knowledge Graphs Evolution and Preservation - A Technical Report from ISWS 2019. CoRR abs/2012.11936 (2020)
2010 – 2019
- 2019
- [c118]Ana Ozaki, Markus Krötzsch, Sebastian Rudolph:
Temporally Attributed Description Logics. Description Logic, Theory Combination, and All That 2019: 441-474 - [c117]"Johann" Sebastian Rudolph:
Presburger Concept Cardinality Constraints in Very Expressive Description Logics - Allegro sexagenarioso ma non ritardando. Description Logic, Theory Combination, and All That 2019: 542-561 - [c116]Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph:
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. Description Logics 2019 - [c115]Bartosz Bednarczyk, Sebastian Rudolph:
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting. Description Logics 2019 - [c114]Markus Krötzsch, Maximilian Marx, Sebastian Rudolph:
The Power of the Terminating Chase (Invited Talk). ICDT 2019: 3:1-3:17 - [c113]Bartosz Bednarczyk, Sebastian Rudolph:
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting. IJCAI 2019: 1530-1536 - [c112]Sebastian Rudolph, Lukas Schweizer, Zhihao Yao:
SPARQL Queries over Ontologies Under the Fixed-Domain Semantics. PRICAI (1) 2019: 486-499 - [c111]Bernhard Ganter, Sebastian Rudolph, Gerd Stumme:
Explaining Data with Formal Concept Analysis. RW 2019: 153-195 - [i9]Tayeb Abderrahmani Ghor, Esha Agrawal, Mehwish Alam, Omar Alqawasmeh, Claudia d'Amato, Amina Annane, Amr Azzam, Andrew Berezovskyi, Russa Biswas, Mathias Bonduel, Quentin Brabant, Cristina-Iulia Bucur, Elena Camossi, Valentina Anita Carriero, Shruthi Chari, David Chaves-Fraga, Fiorela Ciroku, Michael Cochez, Hubert Curien, Vincenzo Cutrona, Rahma Dandan, Danilo Dessì, Valerio Di Carlo, Ahmed El Amine Djebri, Marieke van Erp, Faiq Miftakhul Falakh, Alba Fernndez Izquierdo, Giuseppe Futia, Aldo Gangemi, Simone Gasperoni, Arnaud Grall, Lars Heling, Pierre Henri, Noura Herradi, Subhi Issa, Samaneh Jozashoori, Nyoman Juniarta, Lucie-Aimée Kaffee, Ilkcan Keles, Prashant Khare, Viktor Kovtun, Valentina Leone, Siying Li, Sven Lieber, Pasquale Lisena, Tatiana Makhalova, Ludovica Marinucci, Thomas Minier, Benjamin Moreau, Alberto Moya Loustaunau, Durgesh Nandini, Sylwia Ozdowska, Amanda Pacini de Moura, Swati Padhee, Guillermo Palma, Pedro Del Pozo Jimnez, Valentina Presutti, Roberto Reda, Ettore Rizza, Henry Rosales-Méndez, Sebastian Rudolph, Harald Sack, Luca Sciullo, Humasak Simanjuntak, Carlo Stomeo, Thiviyan Thanapalasingam, Tabea Tietz, Dalia Varanka, Maria-Esther Vidal, Michael Wolowyk, Maximilian Zocholl:
Linked Open Data Validity - A Technical Report from ISWS 2018. CoRR abs/1903.12554 (2019) - [i8]Xiaoyu Yin, Dagmar Gromann, Sebastian Rudolph:
Neural Machine Translating from Natural Language to SPARQL. CoRR abs/1906.09302 (2019) - 2018
- [j16]Karell Bertet, Sebastian Rudolph:
Preface: Concept Lattices and Applications: Recent Advances and New Opportunities. Discret. Appl. Math. 249: 1 (2018) - [c110]Ana Ozaki, Markus Krötzsch, Sebastian Rudolph:
Happy Ever After: Temporally Attributed Description Logics. Description Logics 2018 - [c109]Sebastian Rudolph, Mantas Simkus:
Satisfiability in the Triguarded Fragment of First-Order Logic. Description Logics 2018 - [c108]Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph:
IoT Semantic Interoperability with Device Description Shapes. ESWC (Satellite Events) 2018: 409-422 - [c107]David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph:
Preserving Constraints with the Stable Chase. ICDT 2018: 12:1-12:19 - [c106]Sebastian Rudolph, Mantas Simkus:
The Triguarded Fragment of First-Order Logic. LPAR 2018: 604-619 - [c105]Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa:
Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics. RuleML+RR 2018: 185-200 - [c104]Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer:
Faceted Answer-Set Navigation. RuleML+RR 2018: 211-225 - [e22]Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph, Maria Maleshkova, Heiko Paulheim, Jeff Z. Pan, Mehwish Alam:
The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11155, Springer 2018, ISBN 978-3-319-98191-8 [contents] - [e21]Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton:
Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10775, Springer 2018, ISBN 978-3-319-78101-3 [contents] - [e20]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 6th International Workshop "What can FCA do for Artificial Intelligence"? co-located with International Joint Conference on Artificial Intelligence and European Conference on Artificial Intelligence (IJCAI/ECAI 2018), Stockholm, Sweden, July 13, 2018. CEUR Workshop Proceedings 2149, CEUR-WS.org 2018 [contents] - 2017
- [j15]Sebastian Rudolph:
Succinctness and tractability of closure operator representations. Theor. Comput. Sci. 658: 327-345 (2017) - [c103]Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer:
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract. AMW 2017 - [c102]Sebastian Rudolph, Lukas Schweizer:
Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics. Description Logics 2017 - [c101]Sebastian Rudolph, Lukas Schweizer:
Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics. EPIA 2017: 695-708 - [c100]Aparna Saisree Thuluva, Kirill Dorofeev, Monika Wenger, Darko Anicic, Sebastian Rudolph:
Semantic-Based Approach for Low-Effort Engineering of Automation Systems. OTM Conferences (2) 2017: 497-512 - [c99]Shima Asaadi, Sebastian Rudolph:
Gradual Learning of Matrix-Space Models of Language for Sentiment Analysis. Rep4NLP@ACL 2017: 178-185 - [c98]Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph:
Semantic Web of Things for Industry 4.0. RuleML+RR (Supplement) 2017 - [c97]David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph:
On the Ontological Modeling of Trees. WOP@ISWC 2017 - [c96]Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa:
Wolpertinger: A Fixed-Domain Reasoner. ISWC (Posters, Demos & Industry Tracks) 2017 - [c95]Aparna Saisree Thuluva, Kirill Dorofeev, Monika Wenger, Darko Anicic, Sebastian Rudolph:
A Demo: Semantic-Based Re-Engineering of Automation Systems. ISWC (Posters, Demos & Industry Tracks) 2017 - [e19]Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard:
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017. CEUR Workshop Proceedings 2013, CEUR-WS.org 2017 [contents] - [i7]David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph:
On the Ontological Modeling of Trees. CoRR abs/1710.05096 (2017) - 2016
- [j14]José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph:
Concept lattices with negative information: A characterization theorem. Inf. Sci. 369: 51-62 (2016) - [j13]Markus Krötzsch, Sebastian Rudolph:
Is Your Database System a Semantic Web Reasoner? Künstliche Intell. 30(2): 169-176 (2016) - [c94]Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer:
Fixed-Domain Reasoning for Description Logics. Description Logics 2016 - [c93]Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph:
Efficient Axiom Pinpointing in EL using SAT Technology. Description Logics 2016 - [c92]Sebastian Rudolph:
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics. Description Logics 2016 - [c91]Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer:
Fixed-Domain Reasoning for Description Logics. ECAI 2016: 819-827 - [c90]Alina Petrova, Sebastian Rudolph:
Web-Mining Defeasible Knowledge from Concessional Statements. ICCS 2016: 191-203 - [c89]Sebastian Rudolph, Christian Sacarea, Diana Troanca:
Conceptual Navigation for Polyadic Formal Concept Analysis. AI4KM@IJCAI 2016: 50-70 - [c88]Sebastian Rudolph, Michaël Thomazo:
Expressivity of Datalog Variants - Completing the Picture. IJCAI 2016: 1230-1236 - [c87]Sebastian Rudolph:
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics. KR 2016: 247-257 - [c86]Stathis Delivorias, Sebastian Rudolph:
Revisiting Grounded Circumscription in Description Logics. RR 2016: 46-60 - [e18]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 5th International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence, FCA4AI@ECAI 2016, The Hague, the Netherlands, August 30, 2016. CEUR Workshop Proceedings 1703, CEUR-WS.org 2016 [contents] - 2015
- [j12]Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt:
A closer look at the semantic relationship between Datalog and description logics. Semantic Web 6(1): 63-79 (2015) - [c85]Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo:
What Is a Reasonable Argumentation Semantics? Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 309-324 - [c84]Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph:
Schema-Agnostic Query Rewriting for OWL QL. Description Logics 2015 - [c83]Sebastian Rudolph, Christian Sacarea, Diana Troanca:
Towards a Navigation Paradigm for Triadic Concepts. ICFCA 2015: 252-267 - [c82]Sebastian Rudolph, Christian Sacarea, Diana Troanca:
Reduction in Triadic Data Sets. FCA4AI@IJCAI 2015: 55-62 - [c81]Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph:
Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention). IJCAI 2015: 2826-2832 - [c80]Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass:
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks. IJCAI 2015: 2985-2991 - [c79]Sebastian Rudolph, Christian Sacarea, Diana Troanca:
Membership Constraints in Formal Concept Analysis. IJCAI 2015: 3186-3192 - [c78]Sebastian Rudolph, Michaël Thomazo:
Characterization of the Expressivity of Existential Rule Queries. IJCAI 2015: 3193-3199 - [e17]Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton:
Graph Structures for Knowledge Representation and Reasoning - 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9501, Springer 2015, ISBN 978-3-319-28701-0 [contents] - [e16]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 4th International Workshop "What can FCA do for Artificial Intelligence?", FCA4AI 2015, co-located with the International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25, 2015. CEUR Workshop Proceedings 1430, CEUR-WS.org 2015 [contents] - [e15]Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, Sebastian Rudolph:
KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings. Lecture Notes in Computer Science 9324, Springer 2015, ISBN 978-3-319-24488-4 [contents] - [i6]Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer:
Bound Your Models! How to Make OWL an ASP Modeling Language. CoRR abs/1511.00924 (2015) - 2014
- [j11]Nadeschda Nikitina, Sebastian Rudolph:
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL. Artif. Intell. 215: 120-140 (2014) - [j10]Giorgio Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph:
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases. J. Artif. Intell. Res. 51: 645-705 (2014) - [c77]Sebastian Rudolph:
The Two Views on Ontological Query Answering. AMW 2014 - [c76]Markus Krötzsch, Sebastian Rudolph:
Complexities of Nominal Schemas. Description Logics 2014: 270-273 - [c75]Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph:
How to Best Nest Regular Path Queries. Description Logics 2014: 404-415 - [c74]Michaël Thomazo, Sebastian Rudolph:
Mixing Materialization and Query Rewriting for Existential Rules. ECAI 2014: 897-902 - [c73]Sebastian Rudolph:
On the Succinctness of Closure Operator Representations. ICFCA 2014: 15-36 - [c72]Markus Krötzsch, Sebastian Rudolph:
Nominal Schemas in Description Logics: Complexities Clarified. KR 2014 - [c71]David Carral, Adila Krisnadhi, Sebastian Rudolph, Pascal Hitzler:
All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles. OWLED 2014: 97-108 - [c70]Georg Gottlob, Sebastian Rudolph, Mantas Simkus:
Expressiveness of guarded existential rule languages. PODS 2014: 27-38 - [c69]Jedrzej Potoniec, Sebastian Rudolph, Agnieszka Lawrynowicz:
Towards Combining Machine Learning with Attribute Exploration for Ontology Refinement. ISWC (Posters & Demos) 2014: 229-232 - [c68]Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph:
Schema-Agnostic Query Rewriting in SPARQL 1.1. ISWC (1) 2014: 584-600 - [e14]Karell Bertet, Sebastian Rudolph:
Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7-10, 2014. CEUR Workshop Proceedings 1252, CEUR-WS.org 2014 [contents] - [e13]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 3rd International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014. CEUR Workshop Proceedings 1257, CEUR-WS.org 2014 [contents] - [e12]Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales:
Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8323, Springer 2014, ISBN 978-3-319-04533-7 [contents] - [i5]Sebastian Rudolph, Birte Glimm:
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! CoRR abs/1401.3849 (2014) - [i4]Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph:
Query Containment for Highly Expressive Datalog Fragments. CoRR abs/1406.7801 (2014) - [i3]Sebastian Rudolph, Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier:
Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses. CoRR abs/1412.4485 (2014) - 2013
- [j9]Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang:
Report on the Sixth Conference on Artificial General Intelligence. AI Mag. 34(4): 9-125 (2013) - [j8]Thanh Tran, Günter Ladwig, Sebastian Rudolph:
Managing Structured and Semistructured RDF Data Using Structure Indexes. IEEE Trans. Knowl. Data Eng. 25(9): 2076-2089 (2013) - [j7]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
Complexities of Horn Description Logics. ACM Trans. Comput. Log. 14(1): 2:1-2:36 (2013) - [c67]Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe:
Modeling in OWL 2 without Restrictions. OWLED 2013 - [c66]Sebastian Rudolph, Markus Krötzsch:
Flag & check: data access with monadically defined queries. PODS 2013: 151-162 - [e11]Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang:
Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings. Lecture Notes in Computer Science 7999, Springer 2013, ISBN 978-3-642-39520-8 [contents] - [e10]Philipp Cimiano, Óscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph:
The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings. Lecture Notes in Computer Science 7882, Springer 2013, ISBN 978-3-642-38287-1 [contents] - [e9]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013), Beijing, China, August 5, 2013. CEUR Workshop Proceedings 1058, CEUR-WS.org 2013 [contents] - [e8]Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen:
Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings. Lecture Notes in Computer Science 8067, Springer 2013, ISBN 978-3-642-39783-7 [contents] - 2012
- [j6]Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic:
Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach. Appl. Artif. Intell. 26(1-2): 6-57 (2012) - [j5]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog. Log. Methods Comput. Sci. 8(1) (2012) - [j4]Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic:
Stream reasoning and complex event processing in ETALIS. Semantic Web 3(4): 397-407 (2012) - [j3]Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm:
Interactive ontology revision. J. Web Semant. 12: 118-130 (2012) - [c65]Madalina Croitoru, Sebastian Rudolph:
Exclusivity-based allocation of knowledge. AAMAS 2012: 1249-1250 - [c64]Nadeschda Nikitina, Sebastian Rudolph:
ExpExpExplosion: Uniform Interpolation in General EL Terminologies. ECAI 2012: 618-623 - [c63]Sébastien Ferré, Sebastian Rudolph:
Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints. EKAW 2012: 42-56 - [c62]Isabelle Augenstein, Sebastian Padó, Sebastian Rudolph:
LODifier: Generating Linked Data from Unstructured Text. ESWC 2012: 210-224 - [c61]Jürgen Bock, Sebastian Rudolph, Michael Mutter:
More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation. FoIKS 2012: 71-90 - [c60]Sebastian Rudolph:
Some Notes on Managing Closure Operators. ICFCA 2012: 278-291 - [c59]Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph:
A Generic Querying Algorithm for Greedy Sets of Existential Rules. KR 2012 - [c58]Anees Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph:
On Integrating Description Logics and Rules under Minimal Hypotheses. RR 2012: 242-245 - [c57]Nadeschda Nikitina, Sebastian Rudolph:
On the (Non-)Succinctness of Uniform Interpolation in General ${\mathcal{EL}}$ Terminologies. RR 2012: 246-249 - [c56]Sebastian Rudolph, Madalina Croitoru:
Multi-Agent Knowledge Allocation. SGAI Conf. 2012: 165-178 - [e7]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?", FCA4AI@ECAI 2012, Montpellier, France, August 28, 2012. CEUR Workshop Proceedings 939, CEUR-WS.org 2012 [contents] - [e6]Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby:
Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7205, Springer 2012, ISBN 978-3-642-29448-8 [contents] - [i2]Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe:
Modeling in OWL 2 without Restrictions. CoRR abs/1212.2902 (2012) - 2011
- [c55]Anees Mehdi, Sebastian Rudolph:
Revisiting Semantics for Epistemic Extensions of Description Logics. AAAI 2011: 241-246 - [c54]Anees Mehdi, Sebastian Rudolph:
Practical Epistemic Entailment Checking in SROIQ. Description Logics 2011 - [c53]Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm:
Reasoning-Supported Interactive Revision of Knowledge Bases. Description Logics 2011 - [c52]Anees Mehdi, Sebastian Rudolph, Stephan Grimm:
Epistemic Querying of OWL Knowledge Bases. ESWC (1) 2011: 397-409 - [c51]Sebastian Rudolph, Michael Schneider:
Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies. ICCS 2011: 19-34 - [c50]Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo:
Walking the Complexity Lines for Generalized Guarded Existential Rules. IJCAI 2011: 712-717 - [c49]Markus Krötzsch, Sebastian Rudolph:
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. IJCAI 2011: 963-968 - [c48]Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm:
Reasoning-Supported Interactive Revision of Knowledge Bases. IJCAI 2011: 1027-1032 - [c47]Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus:
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. IJCAI 2011: 1039-1044 - [c46]Paul Fodor, Darko Anicic, Sebastian Rudolph:
Results on Out-of-Order Event Processing. PADL 2011: 220-234 - [c45]Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic:
Retractable Complex Event Processing and Stream Reasoning. RuleML Europe 2011: 122-137 - [c44]Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic:
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams. RuleML Europe 2011: 138-153 - [c43]Sebastian Rudolph:
Foundations of Description Logics. Reasoning Web 2011: 76-136 - [c42]Nadeschda Nikitina, Birte Glimm, Sebastian Rudolph:
Wheat and Chaff - Practically Feasible Interactive Ontology Revision. ISWC (1) 2011: 487-503 - [c41]Darko Anicic, Paul Fodor, Sebastian Rudolph, Nenad Stojanovic:
EP-SPARQL: a unified language for event processing and stream reasoning. WWW 2011: 635-644 - [e5]Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev:
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745, CEUR-WS.org 2011 [contents] - [e4]Sebastian Rudolph, Claudio Gutierrez:
Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings. Lecture Notes in Computer Science 6902, Springer 2011, ISBN 978-3-642-23579-5 [contents] - 2010
- [b2]Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph:
Foundations of Semantic Web Technologies. Chapman and Hall/CRC Press 2010, ISBN 9781420090505 - [j2]Philipp Cimiano, Sebastian Rudolph, Helena Hartfiel:
Computing intensional answers to questions - An inductive logic programming approach. Data Knowl. Eng. 69(3): 261-278 (2010) - [j1]Sebastian Rudolph, Birte Glimm:
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! J. Artif. Intell. Res. 39: 429-481 (2010) - [c40]Sebastian Rudolph, Eugenie Giesbrecht:
Compositional Matrix-Space Models of Language. ACL 2010: 907-916 - [c39]Markus Krötzsch, Anees Mehdi, Sebastian Rudolph:
Orel: Database-Driven Reasoning for OWL 2 Profiles. Description Logics 2010 - [c38]Pia-Ramona Wojtinnek, Brian Harrington, Sebastian Rudolph, Stephen Pulman:
Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks. ICCS 2010: 203-206 - [c37]Birte Glimm, Sebastian Rudolph:
Status QIO: Conjunctive Query Entailment Is Decidable. KR 2010 - [c36]Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus:
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. KR 2010 - [c35]Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer:
A Rule-Based Language for Complex Event Processing and Reasoning. RR 2010: 42-57 - [c34]Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt:
On the Semantic Relationship between Datalog and Description Logics. RR 2010: 88-102 - [c33]Birte Glimm, Sebastian Rudolph, Johanna Völker:
Integrated Metamodeling and Diagnosis in OWL 2. ISWC (1) 2010: 257-272
2000 – 2009
- 2009
- [c32]Birte Glimm, Sebastian Rudolph:
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q. Description Logics 2009 - [c31]Markus Krötzsch, Sebastian Rudolph:
A Matter of Principles: Towards the Largest DLP Possible. Description Logics 2009 - [c30]Uta Lösch, Sebastian Rudolph, Denny Vrandecic, Rudi Studer:
Tempus Fugit. ESWC 2009: 278-292 - [c29]Thanh Tran, Haofen Wang, Sebastian Rudolph, Philipp Cimiano:
Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data. ICDE 2009: 405-416 - [c28]Nadejda Nikitina, Sebastian Rudolph, Sebastian Blohm:
Refining Ontologies by Pattern-Based Completion. WOP 2009 - [e3]Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov:
Conceptual Structures: Leveraging Semantic Technologies, 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings. Lecture Notes in Computer Science 5662, Springer 2009, ISBN 978-3-642-03078-9 [contents] - [e2]Sébastien Ferré, Sebastian Rudolph:
Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings. Lecture Notes in Computer Science 5548, Springer 2009, ISBN 978-3-642-01814-5 [contents] - 2008
- [c27]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. AAAI 2008: 529-534 - [c26]Sudhir Agarwal, Sebastian Rudolph, Andreas Abecker:
Semantic Description of Distributed Business Processes. AAAI Spring Symposium: AI Meets Business Rules and Process Management 2008: 1-11 - [c25]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
All Elephants are Bigger than All Mice. Description Logics 2008 - [c24]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
Description Logic Rules. ECAI 2008: 80-84 - [c23]Sebastian Rudolph:
Acquiring Generalized Domain-Range Restrictions. ICFCA 2008: 32-45 - [c22]Johanna Völker, Sebastian Rudolph:
Lexico-Logical Acquisition of OWL DL Axioms. ICFCA 2008: 62-77 - [c21]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
Cheap Boolean Role Constructors for Description Logics. JELIA 2008: 362-374 - [c20]Philipp Cimiano, Helena Hartfiel, Sebastian Rudolph:
Intensional Question Answering Using ILP: What Does an Answer Mean?. NLDB 2008: 151-162 - [c19]Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler:
What Is Approximate Reasoning?. RR 2008: 150-164 - [c18]Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
Approximate OWL-Reasoning with Screech. RR 2008: 165-180 - [c17]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. ISWC 2008: 435-450 - [c16]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
ELP: Tractable Rules for OWL 2. ISWC 2008: 649-664 - [c15]Johanna Völker, Sebastian Rudolph:
Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement. Web Intelligence 2008: 454-460 - [i1]Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Tuvshintur Tserendorj:
Approximate OWL Instance Retrieval with SCREECH. Logic and Probability for Scene Interpretation 2008 - 2007
- [c14]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
Complexity Boundaries for Horn Description Logics. AAAI 2007: 452-457 - [c13]Markus Krötzsch, Sebastian Rudolph:
Conjunctive Queries for EL with Composition of Roles. Description Logics 2007 - [c12]Sebastian Rudolph:
Using FCA for Encoding Closure Operators into Neural Networks. ICCS 2007: 321-332 - [c11]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web. ICCS 2007: 464-467 - [c10]Sebastian Rudolph, Johanna Völker, Pascal Hitzler:
Supporting Lexical Ontology Learning by Relational Exploration. ICCS 2007: 488-491 - [c9]Sebastian Rudolph:
Some Notes on Pseudo-closed Sets. ICFCA 2007: 151-165 - [c8]Sebastian Rudolph:
Encoding Closure Operators into Neural Networks. NeSy 2007 - [c7]Sebastian Rudolph:
Relational Exploration - Reconciling Plato and Aristotle. FAInt 2007 - [c6]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic:
Efficient OWL Reasoning with Logic Programs - Evaluations. RR 2007: 370-373 - [c5]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
Conjunctive Queries for a Tractable Fragment of OWL 1.1. ISWC/ASWC 2007: 310-323 - [c4]Thanh Tran, Philipp Cimiano, Sebastian Rudolph, Rudi Studer:
Ontology-Based Interpretation of Keywords for Semantic Search. ISWC/ASWC 2007: 523-536 - [e1]Pascal Hitzler, Thomas Roth-Berghofer, Sebastian Rudolph:
Foundations of Artificial Intelligence FAInt 2007, Osnabrück, Germany, September 10, 2007. CEUR Workshop Proceedings 277, CEUR-WS.org 2007 [contents] - 2006
- [b1]Sebastian Rudolph:
Relational exploration: combining description logics and formal concept analysis for knowledge specification. Dresden University of Technology, Germany, 2006, ISBN 978-3-86644-113-2 - [c3]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
On the Complexity of Horn Description Logics. OWLED 2006 - 2004
- [c2]Sebastian Rudolph:
Exploring Relational Structures Via FLE. ICCS 2004: 196-212 - 2001
- [c1]Bernhard Ganter, Sebastian Rudolph:
Formal Concept Analysis Methods for Dynamic Conceptual Graphs. ICCS 2001: 143-156
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-19 23:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
