Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Sebastian Rudolph/Publikationen

Aus Aifbportal

Wechseln zu: Navigation, Suche

Publikationen von Sebastian Rudolph


 - book






article
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexities of Horn Description Logics
ACM Transactions on Computational Logic, 2012
(Details)

Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Real-Time Complex Event Recognition and Reasoning – A Logic Programming Approach
Applied Artificial Intelligence, 21, (1-2), Seiten 1-57, Februar, 2012
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Type-Elimination-Based Reasoning for the Description Logic SHIQbs Using Decision Diagrams and Disjunctive Datalog
Logical Methods in Computer Science, 8, (1:12), Seiten 1-38, Februar, 2012
(Details)

Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Interactive Ontology Revision
Web Semantics: Science, Services and Agents on the World Wide Web, 12-13, (0), Seiten 118-130, März, 2012
(Details)

Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Stream Reasoning and Complex Event Processing in ETALIS
Semantic Web – Interoperability, Usability, Applicability, 2011
(Details)

Philipp Cimiano, Sebastian Rudolph, Helena Hartfiel
Computing Intensional Answers to Questions - An Inductive Logic Programming Approach
Data & Knowledge Engineering, 69, (3), Seiten 261-278, März, 2010
(Details)

Denny Vrandecic, Markus Krötzsch, Sebastian Rudolph, Uta Lösch
Leveraging Non-Lexical Knowledge for the Linked Open Data Web
The Fifth RAFT'2010 The yearly bilingual publication on nonchalant research, 5, (1), Seiten 18-27, April, 2010
(Details)

Sebastian Rudolph, Birte Glimm
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend!
Journal of Artificial Intelligence Reasearch, 39, Seiten 429-481, Oktober, 2010
(Details)

Jörg Meier, Sebastian Rudolph, Tom Schanz
Effective algorithm for parameter back calculation - Geotechnical applications
Bautechnik, 86, (S1), Seiten 86-97, August, 2009
(Details)

Jörg Meier, Sebastian Rudolph, Tom Schanz
Effektiver Algorithmus zur Lösung von inversen Aufgabenstellungen - Anwendung in der Geotechnik
Bautechnik, 83, (7), Seiten 470--481, Juli, 2006
(Details)

↑ top

inproceedings
Sébastien Ferré, Sebastian Rudolph
Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints
Proceedings of the 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2012), Springer, Oktober, 2012
(Details)

Jürgen Bock, Sebastian Rudolph, Michael Mutter
More than the Sum of its Parts – Holistic Ontology Alignment by Population-based Optimisation
Proceedings of the Seventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Springer, März, 2012
(Details)

Nadeschda Nikitina, Sebastian Rudolph
On the (Non-)Succinctness of Uniform Interpolation in General EL Terminologies
In Markus Krötzsch and Umberto Straccia, Web Reasoning and Rule Systems - 6th International Conference, RR 2012,, Springer, September, 2012
(Details)

Sebastian Rudolph
Some Notes on Managing Closure Operators
In Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans, Proceedings of the 10th International Conference on Formal Concept Analysis, Seiten: 278-293, Springer, LNCS, 7278, Mai, 2012
(Details)

Nadeschda Nikitina, Sebastian Rudolph
ExpExpExplosion: Uniform Interpolation in General EL Terminologies
Proc. of the 20th European Conf. on Artificial Intelligence (ECAI'12), IOS Press, Frontiers in Artificial Intelligence and Applications, Amsterdam, August, 2012
(Details)

Anees ul Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
On Integrating Description Logics and Rules under Minimal Hypotheses
Proceedings of the 6th International Conference on Web Reasoning and Rule Systems, RR2012, September, 2012
(Details)

Isabelle Augenstein, Sebastian Padó, Sebastian Rudolph
LODifier: Generating Linked Data from Unstructured Text
In Elena Simperl, Philipp Cimiano, Axel Polleres, Oscar Corcho, Valentina Presutti, Proceedings of the 9th Extended Semantic Web Conference, Seiten: 210-224, Springer, LNCS, 7295, Mai, 2012
(Details)

Michael Thomazo, Jean-Francois Baget, Marie-Laure Mugnier, Sebastian Rudolph
A Generic Querying Algorithm for Greedy Sets of Existential Rules
Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning, AAAI, Juni, 2012
(Details)

Madalina Croitoru, Sebastian Rudolph
Exclusivity-based Allocation of Knowledge
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS
(Details)

Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Retractable Complex Event Processing and Stream Reasoning
In Nick Bassiliades, Guido Governatori, Adrian Paschke, 5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML 2011), Seiten: 122-137, Springer, LNCS, 6826, Juli, 2011
(Details)

Nadeschda Nikitina, Birte Glimm, Sebastian Rudolph
Wheat and Chaff -- Practically Feasible Interactive Ontology Revision
In Noy et al., Proceedings of the 10th International Semantic Web Conference (ISWC2011), Springer, Oktober, 2011
(Details)

Anees ul Mehdi, Sebastian Rudolph, Stephan Grimm
Epistemic Queries for OWL Knowledge Bases
Proceedings of the 8th Extended Semantic Web Conference, ESWC 2011, Mai, 2011
(Details)

Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams
In Nick Bassiliades, Guido Governatori, Adrian Paschke, 5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML 2011), Seiten: 138-153, Springer, LNCS, 6826, Juli, 2011
(Details)

Anees ul Mehdi, Sebastian Rudolph
Revisiting Semantics for Epistemic Extensions of Description Logics
Proceedings of the 25th Conference on Artificial Intelligence, AAAI 2011, August, 2011
(Details)

Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, Juli, 2011
(Details)

Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Proceedings of the 24th International Workshop on Description Logics (DL2011), CEUR Workshop Proceedings
(Details)

Markus Krötzsch, Sebastian Rudolph
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness
In Toby Walsh, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Seiten: 963-968, IJCAI/AAAI, Juli, 2011
(Details)

Anees ul Mehdi, Sebastian Rudolph
Practical Epistemic Entailment Checking in SROIQ
Proceedings of the 24th International Workshop on Description Logics (DL2011), CEUR Workshop Proceedings, Juli, 2011
(Details)

Jean-Francois Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michael Thomazo
Walking the Complexity Lines for Generalized Guarded Existential Rules
In Toby Walsh, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Seiten: 712-717, IJCAI/AAAI, Juli, 2011
(Details)

Sebastian Rudolph, Michael Schneider
Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies
In Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar, Conceptual Structures for Discovering Knowledge, Proceedings of ICCS 2011, Seiten: 19-34, Springer, LNCS, 6828, Juli, 2011
(Details)

Darko Anicic, Paul Fodor, Sebastian Rudolph, Nenad Stojanovic
EP-SPARQL: A Unified Language for Event Processing and Stream Reasoning
In Sadagopan Srinivasan, Krithi Ramamritham, Arun Kumar, M. P. Ravindra, Elisa Bertino, Ravi Kumar, Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Seiten: 635-644, ACM
(Details)

Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ
In Toby Walsh, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Seiten: 1039-1044, IJCAI/AAAI, Juli, 2011
(Details)

Birte Glimm, Sebastian Rudolph
Status QIO: Conjunctive Query Entailment is Decidable
In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), Seiten: 225-235, AAAI Press, Mai, 2010
(Details)

Markus Krötzsch, Anees ul Mehdi, Sebastian Rudolph
Orel: Database-Driven Reasoning for OWL 2 Profiles
Proceedings of the 23nd International Workshop on Description Logics (DL 2010), CEUR-WS.org, CEUR Workshop Proceedings, 573, Mai, 2010
(Details)

Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
On the Semantic Relationship between Datalog and Description Logics
In Pascal Hitzler, Thomas Lukasiewicz, Web Reasoning and Rule Systems - Fourth International Conference, Seiten: 88-102, Springer, LNCS, 6333, September, 2010
(Details)

Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), Seiten: 269-279, AAAI Press, Mai, 2010
(Details)

Birte Glimm, Sebastian Rudolph, Johanna Völker
Integrated Metamodeling and Diagnosis in OWL 2
In Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm, Proceedings of the 9th International Semantic Web Conference, Seiten: 257-272, Springer, LNCS, 6496, November, 2010
(Details)

Pia-Ramona Wojtinnek, Brian Harrington, Sebastian Rudolph, Stephen Pulman
Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks
In Madalina Croitoru, Sébastien Ferré, Dickson Lukose, Proceedings of the 18th International Conference on Conceptual Structures, Seiten: 203-206, Springer, LNCS, 6208, Juli, 2010
(Details)

Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer
A Rule-Based Language for Complex Event Processing and Reasoning
In Pascal Hitzler, Thomas Lukasiewicz, Web Reasoning and Rule Systems - Fourth International Conference, Seiten: 42-57, Springer, LNCS, 6333, September, 2010
(Details)

Sebastian Rudolph, Eugenie Giesbrecht
Compositional Matrix-Space Models of Language
Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics, Seiten: 907-916, Association for Computational Linguistics, Juli, 2010
(Details)

Denny Vrandecic, Frank Dengler, Sebastian Rudolph, Michael Erdmann
RDF syntax normalization using XML validation
In Lalana Kagal, Ora Lassila, Tim Finin, Proceedings of the Workshop Semantics for the Rest of Us at ISWC2009, CEUR-WS, Washington, DC, Oktober, 2009
(Details)

Uta Lösch, Sebastian Rudolph, Denny Vrandecic, Rudi Studer
Tempus Fugit - Towards an Ontology Update Language
In Lora Aroyo et al., 6th European Semantic Web Conference (ESWC 09), Seiten: 278--292, Springer-Verlag, Lecture Notes on Computer Science, 5554, Juni, 2009
(Details)

Nadejda Nikitina, Sebastian Rudolph, Sebastian Blohm
Refining Ontologies by Pattern-Based Completion
In Eva Blomqvist, Kurt Sandkuhl, Francois Scharffe, Vojtech Svatek, Proceedings of the Workshop on Ontology Patterns (WOP 2009), CEUR, 516, Oktober, 2009
(Details)

Duc Thanh Tran, Haofen Wang, Sebastian Rudolph, Philipp Cimiano
Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data
Proceedings of the 25th International Conference on Data Engineering (ICDE'09), Shanghai, China, März, 2009
(Details)

Birte Glimm, Sebastian Rudolph
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
In Bernardo Cuenca-Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, Proceedings of the DL Workshop 2009, Oxford, UK, CEUR Workshop Proceedings, 477, Juli, 2009
(Details)

Markus Krötzsch, Sebastian Rudolph
A Matter of Principles: Towards the Largest DLP Possible
Proceedings of the 22nd International Workshop on Description Logics (DL2009), CEUR-WS.org, CEUR Workshop Proceedings, 477, Juli, 2009
(Details)

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Tuvshintur Tserendorj
Approximate OWL Instance Retrieval with Screech
In A.G. Cohn, D.C. Hogg, R. Möller, B. Neumann, Logic and Probability for Scene Interpretation, Dagstuhl Seminar Proceedings, 08091, Februar, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
In Steffen Hölldobler and Carsten Lutz and Heinrich Wansing, Proceedings of 11th European Conference on Logics in Artificial Intelligence (JELIA), Seiten: 362-374, Springer, LNAI, 5293, September, 2008
(Details)

Sebastian Rudolph
Acquiring Generalized Domain-Range Restrictions
In Raoul Medina and Sergei Obiedkov, Proceedings of the 6th International Conference on Formal Concept Analysis (ICFCA'08), Seiten: 32-45, Springer, Lecture Notes in Artificial Intelligence, 4933, Februar, 2008
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Description Logic Rules
In Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris, Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08), Seiten: 80--84, IOS Press, Frontiers in Artificial Intelligence and Applications (FAIA), 178, Juli, 2008
(Details)

Johanna Völker, Sebastian Rudolph
Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement
In Raoul Medina and Sergei Obiedkov, Proceedings of the 6th International Conference on Formal Concept Analysis (ICFCA'08), Seiten: 62-77, Springer, Lecture Notes in Artificial Intelligence, 4933, Februar, 2008
(Details)

Sudhir Agarwal, Sebastian Rudolph, Andreas Abecker
Semantic Description of Distributed Business Processes
In Knut Hinkelmann, Andreas Abecker, Harold Boley, John Hall, Martin Hepp, Amit Sheth, Barbara Thönssen, AAAI Spring Symposium - AI Meets Business Rules and Process Management, Stanford, USA, März, 2008
(Details)

Philipp Cimiano, Helena Hartfiel, Sebastian Rudolph
Intensional Question Answering using ILP: What does an answer mean?
In Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou, Natural Language and Information Systems, 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008, Seiten: 151-162, Springer, LNCS, 5039, London, UK, Juni, 2008
(Details)

Johanna Völker, Sebastian Rudolph
Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement
7th International Conference on Web Intelligence, WI 2008, Main Conference Proceedings, Seiten: 454-460, IEEE, Dezember, 2008
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
In Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy Finin and Krishnaprasad Thirunarayan, Proceedings of the 7th International Semantic Web Conference (ISWC 2008), Seiten: 649-664, Springer, LNCS, 5318, Oktober, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
In Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy Finin and Krishnaprasad Thirunarayan, Proceedings of the International Semantic Web Cnference (ISWC 2008), Seiten: 435-450, Springer, LNCS, 5318, Oktober, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
In Dieter Fox and Carla P. Gomes, Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08), Seiten: 529-534, AAAI Press, Chicago, Illinois, USA, Juli, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
Proceedings of the 21st International Workshop on Description Logics (DL2008)Mai, 2008
(Details)

Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with Screech
In Diego Calvanese and Georg Lausen, Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, Seiten: 165-180, Springer, LNCS, 5341, Oktober, 2008
(Details)

Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
What Is Approximate Reasoning?
In Diego Calvanese and Georg Lausen, Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems (RR2008), Seiten: 150-164, Springer, LNCS, 5341, Oktober, 2008
(Details)

Duc Thanh Tran, Philipp Cimiano, Sebastian Rudolph, Rudi Studer
Ontology-based Interpretation of Keywords for Semantic Search
Proceedings of the 6th International Semantic Web Conference (ISWC'07), Seiten: 523-536, Busan, Korea, November, 2007
(Details)

Markus Krötzsch, Sebastian Rudolph
Conjunctive Queries for EL with Role Composition
In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan and S. Tessaris, Proceedings of the 20th International Workshop on Description Logics (DL2007), CEUR Workshop Proceedings, 250, Juni, 2007
(Details)

Sebastian Rudolph
Encoding Closure Operators into Neural Networks
In A. S. d'Avila Garcez, P. Hitzler and G. Tamburrini, Proceedings of the Third International Workshop on Neural-Symbolic Learning and Reasoning, CEUR Workshop Proceedings, 230, Hyderabad, India, Januar, 2007
(Details)

Sebastian Rudolph
Using FCA for Encoding of Closure Operators into Neural Networks
In Uta Priss, Simon Polovina, Richard Hill, Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, Seiten: 321 -- 332, Springer-Verlag, LNAI, 4604, Berlin Heidelberg, Juli, 2007
(Details)

Sebastian Rudolph
Some Notes on Pseudo-closed Sets
In Sergej O. Kuznetsov, Stefan Schmidt, Proceedings of the 5th Conference on Formal Concept Analysis, Seiten: 151 - 165, Springer, LNAI, 4390, Februar, 2007
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic
Efficient OWL Reasoning with Logic Programs - Evaluations
In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, Proceedings of The First International Conference on Web Reasoning and Rule Systems 2007 (RR2007), Seiten: 370-373, Springer, Springer Lecture Notes in Computer Science, 4524, Juni, 2007
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Conjunctive Queries for a Tractable Fragment of OWL 1.1
In Karl Aberer and Key-Sun Choi and Natasha Noy and Dean Allemang and Kyung-Il Lee and Lyndon Nixon and Jennifer Golbeck and Peter Mika and Diana Maynard and Riichiro Mizoguchi and Guus Schreiber and Philippe Cudré-Mauroux, Proceedings of the 6th International Semantic Web Conference (ISWC 2007), Seiten: 310--323, Springer, LNCS, 4825, November, 2007
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity Boundaries for Horn Description Logics
Proceedings of the 22nd AAAI Conference on Artficial Intelligence, Seiten: 452--457, AAAI Press, Vancouver, British Columbia, Canada
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web
In Uta Priss, Simon Polovina, Richard Hill, Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, Seiten: 464-467, Springer, LNAI, 4604, Sheffield, UK, Juli, 2007
(Details)

Sebastian Rudolph
Relational Exploration - Reconciling Plato and Aristotle
In Hitzler, Roth-Berghofer, Rudolph, Proceedings of the Workshop on Artificial Intelligence (FAInt-07), CEUR Workshop Proceedings, Vol-277, September, 2007
(Details)

Sebastian Rudolph, Johanna Völker, Pascal Hitzler
Supporting Lexical Ontology Learning by Relational Exploration
In Uta Priss, Simon Polovina, Richard Hill, Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, Seiten: 488-491, Springer, LNAI, 4604, Sheffield, UK, Juli, 2007
(Details)

Sebastian Rudolph
A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions
In Pascal Hitzler, Henrik Schärfe, Peter Øhrstrøm, Inspiration and Application - Contributions to ICCS 2006, Seiten: 188 - 201, Aalborg University Press, Juli, 2006
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
On the complexity of Horn description logics
In Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, Evan Wallace, Proceedings of the 2nd Workshop on OWL: Experiences and Directions, CEUR Workshop Proceedings, 216, November, 2006
(Details)

Sebastian Rudolph
Exploring Relational Structures via FLE
In Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach, Conceptual Structures at Work: 12th International Conference on Conceptual Structures, Seiten: 196 -- 212, Springer, LNCS, 3127, Huntsville, AL, USA, Juli, 2004
(Details)

Sebastian Rudolph
An FCA Method for the Extensional Exploration of Relational Data
In Bernhard Ganter, Aldo de Moor, Using Conceptual Structures, Contributions to ICCS 2003, Seiten: 197 -- 210, Shaker, Aachen, Dresden, Germany, Juli, 2003
(Details)

Bernhard Ganter, Sebastian Rudolph
Formal Concept Analysis Methods for Dynamic Conceptual Graphs
In Harry S. Delugach, Gerd Stumme, Conceptual Structures: Broadening the Base, 9th International Conference on Conceptual Structures, Seiten: 143-156, Springer, LNCS, 2120, Stanford, CA, USA, Juli, 2001
(Details)

Sebastian Rudolph
Spatial concepts - a rule exploration
In Gerd Stumme, Working with Conceptual Structures - Contributions to ICCS 2000, Seiten: 284 -- 288, Shaker, Aachen, Darmstadt, Germany, Juli, 2000
(Details)

↑ top

book
Sebastian Rudolph
Reasoning and Modeling Support for Logic-Based Knowledge Representation
Karlsruhe Institute of Technology, Juli, 2011
(Details)

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
Foundations of Semantic Web Technologies
Chapman & Hall/CRC, August, 2009
(Details)

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure
Semantic Web - Grundlagen
Springer-Verlag Berlin Heidelberg, eXamen.press, 2008
(Details)

Sebastian Rudolph
Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification
Universitätsverlag Karlsruhe, Dezember, 2006
(Details)

↑ top

incollection
Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer
ETALIS: Rule-Based Reasoning in Event Processing
In Sven Helmer, Alex Poulovassilis, Fatos Xhafa, Reasoning in Event-Based Distributed Systems, Seiten 99-124, Springer, Studies in Computational Intelligence, Vol.347, April, 2011
(Details)

Sebastian Rudolph
Foundations of Description Logics
In Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider, Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Seiten 76-136, Springer, LNCS, Vol.6848, 2011
(Details)

Sebastian Rudolph, Johanna Völker
A Lexico-Logical Approach to Ontology Engineering
In Pascal Hitzler, Henrik Schärfe, Conceptual Structures in Practice, Seiten 225--244, Chapman & Hall/CRC, Studies in Informatics, Mai, 2009
(Details)

↑ top

proceedings
Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
Graph Structures for Knowledge Representation and Reasoning, Second International Workshop (GKR 2011)
Springer, LNCS, Vol. 7205, April, 2012
(Details)

Sebastian Rudolph, Claudio Gutierrez
Web Reasoning and Rule Systems - 5th International Conference (RR 2011)
Springer, LNCS, Vol. 6902, August, 2011
(Details)

Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Supplementary Proceedings of ICCS'09
CEUR, Workshop Proceedings, Vol. 483, Juli, 2009
(Details)

Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Conceptual Structures: Leveraging Semantic Technologies
Springer, LNCS, Vol. 5662, Juli, 2009
(Details)

Karl Erich Wolff, Sebastian Rudolph, Sébastien Ferré
Contributions to ICFCA 2009
Verlag Allgemeine Wissenschaft, Mai, 2009
(Details)

Sébastien Ferré, Sebastian Rudolph
Formal Concept Analysis: 7th International Conference, ICFCA 2009, Proceedings
Springer, LNAI, Vol. 5548, Mai, 2009
(Details)

Madalina Croitoru, Robert Jäschke, Sebastian Rudolph
Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)
CEUR Workshop Proceedings, Vol. 352, Juli, 2008
(Details)

Pascal Hitzler, Thomas Roth-Berghofer, Sebastian Rudolph
Proceedings of the Workshop on Foundations of Artificial Intelligence, FAInt-07, at KI-2007, Osnabrück, Germany, September 2007
CEUR Workshop Proceedings, Vol. 277, September, 2007
(Details)

↑ top

techreport
Anees ul Mehdi, Sebastian Rudolph, Jens Wissman
EQuIKa: Epistemic Querying in OWL 2 Ontologies
AIFB, Archiv Nummer: 3038 Karlsruhe, Technical Report, April, 2013
(Details)

Sebastian Rudolph, Markus Krötzsch
Flag & Check - Data Access with Monadically Defined Queries (Extended Technical Report)
Institut AIFB, KIT, Archiv Nummer: 3030 Karlsruhe, Technical Report, Februar, 2013
(Details)

Markus Krötzsch, Sebastian Rudolph
On the Relationship of Joint Acyclicity and Super-Weak Acyclicity
Institut AIFB, KIT, Archiv Nummer: 3037 Karlsruhe, Technical Report, Januar, 2013
(Details)

Sébastien Ferré, Sebastian Rudolph
PEW! PEW!
Institut AIFB, KIT, Archiv Nummer: 3024 Karlsruhe, Technical Report, April, 2012
(Details)

Markus Krötzsch, Sebastian Rudolph
Conjunctive Query Answering for Directional Rules
Institut AIFB, KIT, Archiv Nummer: 3026 Karlsruhe, Technical Report, Mai, 2012
(Details)

Nadeschda Nikitina, Sebastian Rudolph
ExpExpExplosion: Uniform Interpolation in General EL Terminologies
AIFB, KIT, Archiv Nummer: 3027 Karlsruhe, Research Notes, Mai, 2012
(Details)

Anees ul Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
On Integrating Description Logic and Rules under MH Semantics
Institut AIFB, KIT, Archiv Nummer: 3028 Karlsruhe, Technical Report, Juli, 2012
(Details)

Markus Krötzsch, Sebastian Rudolph
Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules
Institut AIFB, KIT, Archiv Nummer: 3011 Karlsruhe, Januar, 2011
(Details)

Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Institut AIFB, KIT, Archiv Nummer: 3013 Karlsruhe, April, 2011
(Details)

Sebastian Rudolph, Michael Schneider
On the Utility and Feasibility of Reasoning with Undecidable Semantic Web Formalisms
Institut AIFB, KIT, Archiv Nummer: 3016 Karlsruhe, Technical Report, Juli, 2011
(Details)

Anees ul Mehdi, Sebastian Rudolph, Jens Wissmann
EQuIKa: Epistemic Querying Answering in OWL2 Ontologies
Institut AIFB, KIT., Archiv Nummer: 3020 Karlsruhe, Technical Report, Dezember, 2011
(Details)

Markus Krötzsch, Sebastian Rudolph
Second-Order Queries for Rule-Based Data Access
Institut AIFB, KIT, Archiv Nummer: 3019 Karlsruhe, Technical Report, November, 2011
(Details)

Anees ul Mehdi, Sebastian Rudolph
Revisiting Semantics for Epistemic Extensions of Description Logics
Institut AIFB, KIT, Archiv Nummer: 3015 Karlsruhe, August, 2011
(Details)

Birte Glimm, Sebastian Rudolph, Johanna Völker
Integrated Metamodeling and Diagnosis in OWL 2
Institut AIFB, KIT, Archiv Nummer: 3006 Karlsruhe, September, 2010
(Details)

Anees ul Mehdi, Sebastian Rudolph, Stephen Grimm
Epistemic Queries for OWL
Institut AIFB, KIT, Archiv Nummer: 3009 Karlsruhe, Dezember, 2010
(Details)

Birte Glimm, Sebastian Rudolph
Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend!
Oxford University, Archiv Nummer 2000, 2009
(Details)

Markus Krötzsch, Sebastian Rudolph
Finding the Largest Datalog Fragment of Description Logic
Institute AIFB, KIT, Archiv Nummer: 3002, (3002), November, 2009
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
Institut AIFB, Universität Karlsruhe, Archiv Nummer 1753, April, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
OBDD-based Tbox Reasoning in SHIQ
Universität Karlsruhe, Archiv Nummer 1751, Januar, 2008
(Details)

Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
What Is Approximate Reasoning?
Institute AIFB, University of Karlsruhe, Archiv Nummer 1731, März, 2008
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Expressive Tractable Description Logics based on SROIQ Rules
Universität Karlsruhe (TH), Archiv Nummer 1724, Februar, 2008
(Details)

Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with SCREECH
Institute AIFB, University of Karlsruhe, Archiv Nummer 1729, März, 2008
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
Institut AIFB, Universität Karlsruhe (TH), Archiv Nummer 1752, April, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
Universität Karlsruhe (TH), Archiv Nummer 1767, Mai, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
Institut AIFB, KIT, Archiv Nummer: 3007 Karlsruhe, Februar, 2008
(Details)

Sebastian Rudolph
Generalized Domain-Range Restrictions
Institute AIFB, University of Karlsruhe, Archiv Nummer 1516, Juli, 2007
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity of Horn Description Logics
Instistute AIFB, Universität Karlsruhe, Archiv Nummer 1432, Februar, 2007
(Details)

↑ top

deliverable
Zhisheng Huang, Annette ten Teije, Frank van Harmelen, Gaston Tagni, Hansjorg Neth, Lael Schooler, Sebastian Rudolph, Pascal Hitzler, Tuvshintur Tserendorj, Yi Huang, Danica Damljanovic, Angus Roberts
D1.4.1 Initial Framework for Measuring and Evaluating Heuristic Problem Solving
Vrije Universiteit AmsterdamLarKC Project Deliverable, September, 2009
(Details)

Pascal Hitzler, Peter Dolog, Perry Groot, Michel Klein, Malgorzata Mochol, Lyndon Nixon, Linda Peelen, Sebastian Rudolph, Stefan Schlobach, Heiner Stuckenschmidt, Denny Vrandecic, Holger Wache
Report on realizing practical approximate and distributed reasoning for ontologies
AIFB, University of KarlsruheKnowledgeWeb Deliverable D2.1.2.2v2, Dezember, 2006
(Details)

Peter Haase, Sebastian Rudolph, Yimin Wang, Saartje Brockmans, Raul Palma, Jérôme Euzenat, Mathieu d'Aquin
D1.1.1 Networked Ontology Model
Universität Karlsruhe (TH), (D1.1.1), NeOn Project Deliverable, November, 2006
(Details)

Peter Haase, Pascal Hitzler, Sebastian Rudolph, Guilin Qi, Marko Grobelnik, Igor Mozetic, Damjan Bojadziev, Jérôme Euzenat, Mathieu d'Aquin, Aldo Gangemi, Carola Catenacci
D3.1.1 Context Languages - State of the Art
Universität Karlsruhe (TH), (D3.1.1), NeOn Project Deliverable, August, 2006
(Details)

↑ top