Publikationen von Sebastian Rudolph

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Publikationen von Sebastian Rudolph


Artikel in Fachzeitschriften

Sebastian Rudolph
Succinctness and tractability of closure operator representations
Theoretical Computer Science, 658, Part B:327 - 345, January 2017
Details Download

Markus Krötzsch, Sebastian Rudolph
Is Your Database System a Semantic Web Reasoner?
KI, 30(2):169-176, 2016
Details Download

José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph
Concept lattices with negative information: A characterization theorem
Information Sciences, Volume 369:51–62, November 2016
Details Download

Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
A Closer Look at the Semantic Relationship between Datalog and Description Logics
Semantic Web Journal, 6(1):63-79, 2015
Details Download

Nadeschda Nikitina, Sebastian Rudolph
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ
Artificial Intelligence, 215:120-140, October 2014
Details Download

Giorgo Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases
Journal of Artificial Intelligence Research, 51:645-705, December 2014
Details Download

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexities of Horn Description Logics
ACM Trans. Comput. Log., 14(1):2, 2013
Details Download

Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang
Report on the Sixth Conference on Artificial General Intelligence
AI Magazine, 34(4):9-125, 2013
Details

Thanh Tran, Günter Ladwig, Sebastian Rudolph
Managing Structured and Semistructured RDF Data Using Structure Indexes
IEEE Transactions on Knowledge and Data Engineering, 25(9):2076-2089, 2013
Details Download

Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach
Applied Artificial Intelligence, 26(1-2):6-57, February 2012
Details Download

Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Stream reasoning and complex event processing in ETALIS
Semantic Web, 3(4):397-407, 2012
Details Download

Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Interactive ontology revision
Journal of Web Semantics, 12:118-130, April 2012
Details Download

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), 2012
Details Download

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

Sebastian Rudolph, Birte Glimm
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend!
Journal of Artificial Intelligence Research, 39:429-481, October 2010
Details Download

Denny Vrandečić, 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):18-27, April 2010
Details Download

Jörg Meier, Sebastian Rudolph, Tom Schanz
Effective algorithm for parameter back calculation - Geotechnical applications
Bautechnik, 86(S1):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):470--481, July 2006
Details


Artikel in Tagungsbänden

David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase
In Benny Kimelfeld and Yael Amsterdamer, eds., Proceedings of the 21st International Conference on Database Theory (ICDT 2018), volume 98 of Leibniz International Proceedings in Informatics (LIPIcs), 12:1--12:19, March 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Details Download

David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
On the Ontological Modeling of Trees
In Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra, eds., Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 6th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21, 2017., volume 2043, February 2018. CEUR Workshop Proceedings
Details Download

Sebastian Rudolph, Lukas Schweizer
Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
In Oliveira Eugénio, Gama João, Vale Zita, Lopes Cardoso Henrique, eds., Progress in Artificial Intelligence: Proceedings of the 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal,, volume 10423 of Lecture Notes in Computer Science, 695-708, September 2017. Springer
Details

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Wolpertinger: A Fixed-Domain Reasoner
In Nadeschda Nikitina, Dezhao Song, eds., ISWC 2017 Posters & Demonstration Track, October 2017
Details Download

Sebastian Rudolph, Lukas Schweizer
Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
In Alessandro Artale, Birte Glimm and Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics, volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download

Shima Asaadi, Sebastian Rudolph
On the Correspondence between Compositional Matrix-Space Models of Language and Weighted Automata
Proceedings of the ACL Workshop on Statistical Natural Language Processing and Weighted Automata (StatFSM 2016), August 2016
Details

Stathis Delivorias, Sebastian Rudolph
Revisiting Grounded Circumscription in Description Logics
In Magdalena Ortiz, Stefan Schlobach, eds., Proceedings of the 10th International Conference on Web Reasoning and Rule Systems, volume 9898 of LNCS, 46-60, September 2016. Springer
Details Download

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, eds., Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), volume 285 of Frontiers in Artificial Intelligence and Applications, 819 - 827, September 2016. IOS Press
Details Download

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download

Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
Efficient Axiom Pinpointing in EL using SAT Technology
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download

Alina Petrova, Sebastian Rudolph
Web-Mining Defeasible Knowledge from Concessional Statements
In Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker, eds., Proceedings of the 22nd International Conference on Conceptual Structures (ICCS 2016), volume 9717 of LNCS, 191-203, July 2016. Springer
Details Download

Sebastian Rudolph
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download

Sebastian Rudolph, Michaël Thomazo
Expressivity of Datalog Variants - Completing the Picture
In Subbarao Kambhampati, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'16), 1230-1236, July 2016. AAAI Press
Details Download

Sebastian Rudolph
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics
In Chitta Baral, James P. Delgrande, Frank Wolter, eds., Proc. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), 247-257, 2016. AAAI Press
Details Download

Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
Schema-Agnostic Query Rewriting for OWL QL
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics, volume 1350 of CEUR Workshop Proceedings, 2015. CEUR-WS.org
Details Download

Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Reasonable Highly Expressive Query Languages
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2826-2832, 2015. AAAI Press
Details Download

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Bound Your Models! How to Make OWL an ASP Modeling Language
In Stefan Ellmauthaler, Claudia Schulz, eds., International Workshop on User-Oriented Logic Programming (IULP), November 2015
Details

Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks
In Qiang Yang and Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), AAAI Press, 2985--2991, July 2015. AAAI Press
Details Download

Sebastian Rudolph, Christian Sacarea, Diana Troancă
Membership Constraints in Formal Concept Analysis
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3186-3192, July 2015. AAAI Press
Details Download

Sebastian Rudolph, Christian Săcărea, Diana Troancă
Reduction in Triadic Data Sets
Workshop FCA4AI „What cand FCA do for Artificial Intelligence?”, pp.55-62, July 2015
Details Download

Sebastian Rudolph, Christian Săcărea, Diana Troancă
Towards a Navigation Paradigm for Triadic Concepts
Proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2015, pp. 252-267, 2015. Springer
Details Download

Sebastian Rudolph, Michaël Thomazo
Characterization of the Expressivity of Existential Rule Queries
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3193-3199, 2015. AAAI Press
Details Download

Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
Schema-Agnostic Query Rewriting in SPARQL 1.1
In Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig A. Knoblock, Denny Vrandečić, Paul T. Groth, Natasha F. Noy, Krzysztof Janowicz, Carole A. Goble, eds., Proc. 13th International Semantic Web Conference (ISWC'14), volume 8796 of LNCS, 584-600, October 2014. Springer
Details Download

Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
How to Best Nest Regular Path Queries
Proc. 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 404-415, July 2014. CEUR-WS.org
Details Download

David Carral, Adila Krisnadhi, Sebastian Rudolph, Pascal Hitzler
All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles
In Maria Keet, Valentina Tamma, eds., Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on {(ISWC} 2014), Riva del Garda, Italy., volume 1265 of CEUR Workshop Proceedings, 97--108, October 2014. CEUR-WS.org
Details Download

Georg Gottlob, Sebastian Rudolph, Mantas Simkus
Expressiveness of guarded existential rule languages
In Richard Hull, Martin Grohe, eds., Proc. 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'14), 27-38, June 2014. ACM
Details Download

Markus Krötzsch, Sebastian Rudolph
Nominal Schemas in Description Logics: Complexities Clarified
In Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, eds., Proc. 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 308-317, July 2014. AAAI Press
Details Download

Markus Krötzsch, Sebastian Rudolph
Complexities of Nominal Schemas
Proc. 27th International Workshop on Description Logics (DL'14), 270-273, July 2014. CEUR Workshop Proceedings
Details Download

Sebastian Rudolph
The Two Views on Ontological Query Answering
In Georg Gottlob, Jorge Pérez, eds., Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, volume 1189 of CEUR Workshop Proceedings, June 2014. CEUR
Details Download

Sebastian Rudolph
On the Succinctness of Closure Operator Representations
In Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea, eds., Proc. 12th International Conference on Formal Concept Analysis (ICFCA 2014), volume 8478 of LNCS, 15-36, June 2014. Springer
Details

Michaël Thomazo, Sebastian Rudolph
Mixing Materialization and Query Rewriting for Existential Rules
Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), 897-902, 2014. IOS Press
Details Download

Sebastian Rudolph, Markus Krötzsch
Flag & Check: Data Access with Monadically Defined Queries
Proc. 32nd Symposium on Principles of Database Systems (PODS'13), 151-162, June 2013. ACM
Details Download

Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
Modeling in OWL 2 without Restrictions
OWLED, 2013
Details

Isabelle Augenstein, Sebastian Padó, Sebastian Rudolph
LODifier: Generating Linked Data from Unstructured Text
ESWC, 210-224, 2012
Details

Jürgen Bock, Sebastian Rudolph, Michael Mutter
More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation
FoIKS, 71-90, 2012
Details

Madalina Croitoru, Sebastian Rudolph
Exclusivity-based allocation of knowledge
AAMAS, 1249-1250, 2012
Details

Sébastien Ferré, Sebastian Rudolph
Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints
EKAW, 42-56, 2012
Details

Anees Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
On Integrating Description Logics and Rules under Minimal Hypotheses
RR, 242-245, 2012
Details

Nadeschda Nikitina, Sebastian Rudolph
ExpExpExplosion: Uniform Interpolation in General EL Terminologies
ECAI, 618-623, 2012
Details

Sebastian Rudolph
Some Notes on Managing Closure Operators
ICFCA, 278-291, 2012
Details

Sebastian Rudolph, Madalina Croitoru
Multi-Agent Knowledge Allocation
SGAI Conf., 165-178, 2012
Details

Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
A Generic Querying Algorithm for Greedy Sets of Existential Rules
Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR'12), 2012. AAAI
Details Download

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, eds., Proceedings of the 20th International Conference on World Wide Web, WWW 2011, 635-644, 2011. ACM
Details Download

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

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, eds., 5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML 2011), volume 6826 of LNCS, 138-153, July 2011. Springer
Details Download

Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo
Walking the Complexity Lines for Generalized Guarded Existential Rules
In Toby Walsh, eds., Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 712-717, July 2011. IJCAI/AAAI
Details Download

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

Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Proceedings of the 22nd International Joint Conference on Artificial Intelligence, July 2011. IJCAI 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), 2011. CEUR Workshop Proceedings
Details

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

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

Sebastian Rudolph, Michael Schneider
Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies
In Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar, eds., Conceptual Structures for Discovering Knowledge, Proceedings of ICCS 2011, volume 6828 of LNCS, 19-34, July 2011. Springer
Details Download

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

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

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

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, eds., Web Reasoning and Rule Systems - Fourth International Conference, volume 6333 of LNCS, 42-57, September 2010. Springer
Details Download

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

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, eds., Proceedings of the 9th International Semantic Web Conference, volume 6496 of LNCS, 257-272, November 2010. Springer
Details Download

Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
On the Semantic Relationship between Datalog and Description Logics
In Pascal Hitzler, Thomas Lukasiewicz, eds., Proceedings of the 4th International Conference on Web Reasoning and Rule Systems (RR 2010), volume 6333 of LNCS, 88-102, September 2010. Springer
Details Download

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), volume 573 of CEUR Workshop Proceedings, May 2010. CEUR-WS.org
Details Download

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, eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), 269-279, May 2010. AAAI Press
Details Download

Sebastian Rudolph, Eugenie Giesbrecht
Compositional Matrix-Space Models of Language
Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics, 907-916, July 2010. Association for Computational Linguistics
Details Download

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, eds., Proceedings of the 18th International Conference on Conceptual Structures, volume 6208 of LNCS, 203-206, July 2010. Springer
Details Download

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, eds., Proceedings of the DL Workshop 2009, Oxford, UK, volume 477, July 2009. CEUR Workshop Proceedings
Details Download

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

Uta Lösch, Sebastian Rudolph, Denny Vrandečić, Rudi Studer
Tempus Fugit - Towards an Ontology Update Language
In Lora Aroyo et al., eds., 6th European Semantic Web Conference (ESWC 09), volume 5554 of Lecture Notes on Computer Science, 278--292, June 2009. Springer-Verlag
Details Download

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

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), March 2009
Details

Denny Vrandečić, Frank Dengler, Sebastian Rudolph, Michael Erdmann
RDF syntax normalization using XML validation
In Lalana Kagal, Ora Lassila, Tim Finin, eds., Proceedings of the Workshop Semantics for the Rest of Us at ISWC2009, October 2009. CEUR-WS
Details Download

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, eds., AAAI Spring Symposium - AI Meets Business Rules and Process Management, March 2008. AAAI
Details

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

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, eds., Logic and Probability for Scene Interpretation, volume 08091 of Dagstuhl Seminar Proceedings, February 2008. Dagstuhl
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, eds., Proceedings of the 7th International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS, 649-664, October 2008. Springer
Details Download

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

Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
What Is Approximate Reasoning?
In Diego Calvanese and Georg Lausen, eds., Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems (RR2008), volume 5341 of LNCS, 150-164, October 2008. Springer
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, eds., Proceedings of the International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS, 435-450, October 2008. Springer
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, eds., Proceedings of 11th European Conference on Logics in Artificial Intelligence (JELIA), volume 5293 of LNAI, 362-374, September 2008. Springer
Details

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

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
In Franz Baader, Carsten Lutz, Boris Motik, eds., Proceedings of the 21st International Workshop on Description Logics (DL2008), volume 353 of CEUR Workshop Proceedings, May 2008. CEUR-WS.org
Details Download

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

Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with Screech
In Diego Calvanese and Georg Lausen, eds., Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, volume 5341 of LNCS, 165-180, October 2008. Springer
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, 454-460, December 2008. IEEE
Details Download

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

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, eds., Proceedings of the 20th International Workshop on Description Logics (DL2007), volume 250 of CEUR Workshop Proceedings, June 2007. CEUR-WS.org
Details Download

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, eds., Proceedings of the 6th International Semantic Web Conference (ISWC 2007), volume 4825 of LNCS, 310--323, November 2007. Springer
Details Download

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity Boundaries for Horn Description Logics
Proceedings of the 22nd AAAI Conference on Artficial Intelligence, 452--457, 2007. AAAI Press
Details Download

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

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

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

Sebastian Rudolph
Some Notes on Pseudo-closed Sets
In Sergej O. Kuznetsov, Stefan Schmidt, eds., Proceedings of the 5th Conference on Formal Concept Analysis, volume 4390 of LNAI, 151 - 165, February 2007. Springer
Details Download

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, eds., Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, volume 4604 of LNAI, 464-467, July 2007. Springer
Details

Sebastian Rudolph, Johanna Völker, Pascal Hitzler
Supporting Lexical Ontology Learning by Relational Exploration
In Uta Priss, Simon Polovina, Richard Hill, eds., Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, volume 4604 of LNAI, 488-491, July 2007. Springer
Details Download

Sebastian Rudolph
Using FCA for Encoding of Closure Operators into Neural Networks
In Uta Priss, Simon Polovina, Richard Hill, eds., Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, volume 4604 of LNAI, 321 -- 332, July 2007. Springer-Verlag
Details Download

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), 523-536, November 2007. Springer
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, eds., Proceedings of the 2nd Workshop on OWL: Experiences and Directions, volume 216 of CEUR Workshop Proceedings, November 2006. CEUR
Details Download

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

Sebastian Rudolph
Exploring Relational Structures via FLE
In Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach, eds., Conceptual Structures at Work: 12th International Conference on Conceptual Structures, volume 3127 of LNCS, 196 -- 212, July 2004. Springer
Details Download

Sebastian Rudolph
An FCA Method for the Extensional Exploration of Relational Data
In Bernhard Ganter, Aldo de Moor, eds., Using Conceptual Structures, Contributions to ICCS 2003, 197 -- 210, July 2003. Shaker, Aachen
Details Download

Bernhard Ganter, Sebastian Rudolph
Formal Concept Analysis Methods for Dynamic Conceptual Graphs
In Harry S. Delugach, Gerd Stumme, eds., Conceptual Structures: Broadening the Base, 9th International Conference on Conceptual Structures, volume 2120 of LNCS, 143-156, July 2001. Springer
Details Download

Sebastian Rudolph
Spatial concepts - a rule exploration
In Gerd Stumme, eds., Working with Conceptual Structures - Contributions to ICCS 2000, 284 -- 288, July 2000. Shaker, Aachen
Details Download


Bücher

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
语义Web技术基础
世界著名计算机教材精选. Tsinghua University Press, 2012
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
eXamen.press. Springer-Verlag Berlin Heidelberg, January 2008
Details

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


Buchkapitel

Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo
What Is a Reasonable Argumentation Semantics?
In Eiter, Thomas and Strass, Hannes and Truszczyński, Mirosław and Woltran, Stefan, eds., Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of Lecture Notes in Computer Science, chapter Abstract Argumentation, 309-324. Springer International Publishing, 2015
Details Download

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, eds., Reasoning in Event-Based Distributed Systems, volume 347 of Studies in Computational Intelligence, 99-124. Springer, 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, eds., Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, volume 6848 of LNCS, 76-136. Springer, 2011
Details Download

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


Herausgegebene Tagungsbände

Shima Asaadi, Sebastian Rudolph
Gradual Learning of Matrix-Space Models of Language for Sentiment Analysis
, August 2017. Proceedings of the 2nd Workshop on Representation Learning for NLP, ACL2017
Details Download

Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details

Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza Nyssen, Sebastian Rudolph
KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI
Volume 9324 of LNAI, 2015. Springer
Details

Karell Bertet, Sebastian Rudolph
Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7-10, 2014
Volume 1252 of CEUR, October 2014. CEUR Workshop Proceedings
Details

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
Volume 8323 of Lecture Notes in Computer Science, 2014. Springer
Details

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
Volume 7882 of Lecture Notes in Computer Science, 2013. Springer
Details

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
Volume 1058 of CEUR Workshop Proceedings, 2013. CEUR-WS.org
Details Download

Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang
Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings
Volume 7999 of Lecture Notes in Computer Science, 2013. Springer
Details

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
Volume 8067 of Lecture Notes in Computer Science, 2013. Springer
Details

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
Volume 7205 of Lecture Notes in Computer Science, 2012. Springer
Details

Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011
Volume 745 of CEUR, July 2011. CEUR Workshop Proceedings
Details

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

Sébastien Ferré, Sebastian Rudolph
Formal Concept Analysis: 7th International Conference, ICFCA 2009, Proceedings
Volume 5548 of LNAI, May 2009. Springer
Details

Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Conceptual Structures: Leveraging Semantic Technologies
Volume 5662 of LNCS, July 2009. Springer
Details

Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Supplementary Proceedings of ICCS'09
Volume 483 of CEUR Workshop Proceedings, July 2009. CEUR
Details

Karl Erich Wolff, Sebastian Rudolph, Sébastien Ferré
Contributions to ICFCA 2009
, May 2009. Verlag Allgemeine Wissenschaft
Details

Madalina Croitoru, Robert Jäschke, Sebastian Rudolph
Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)
Volume 352 of CEUR Workshop Proceedings, July 2008. CEUR
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
Volume 277 of CEUR Workshop Proceedings, September 2007. CEUR
Details


Technische Berichte

Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Reasonable Highly Expressive Query Languages: Extended Technical Report
Technical Report, TU Dresden, May 2015
Details Download

Sebastian Rudolph, Michaël Thomazo
Characterization of the Expressivity of Existential Rule Queries
Technical Report, TU Dresden, volume IJCAI-15-RT-RR, May 2015
Details Download

Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Query Containment for Highly Expressive Datalog Fragments
Technical Report, arXiv.org, volume CoRR abs/1406.7801, January 2014
Details Download

Sebastian Rudolph, Birte Glimm
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend
Technical Report, Technischen Universität Dresden, 2014
Details

Anees ul Mehdi, Sebastian Rudolph, Jens Wissman
EQuIKa: Epistemic Querying in OWL 2 Ontologies
Technical Report, AIFB, April 2013. Technical Report
Details Download

Markus Krötzsch, Sebastian Rudolph
Conjunctive Query Answering for Directional Rules
Technical Report, Institut AIFB, KIT, May 2012. Technical Report
Details

Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
Modeling in OWL 2 without Restriction
Technical Report, Technischen Universität Dresden, 2012
Details

Anees ul Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
On Integrating Description Logic and Rules under MH Semantics
Technical Report, Institut AIFB, KIT, July 2012. Technical Report
Details Download

Markus Krötzsch, Sebastian Rudolph
Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules
Technical Report, Institut AIFB, KIT, January 2011
Details

Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Technical Report, Institut AIFB, KIT, April 2011
Details Download

Sebastian Rudolph, Michael Schneider
On the Utility and Feasibility of Reasoning with Undecidable Semantic Web Formalisms
Technical Report, Institut AIFB, KIT, July 2011. Technical Report
Details Download

Anees ul Mehdi, Sebastian Rudolph
Revisiting Semantics for Epistemic Extensions of Description Logics
Technical Report, Institut AIFB, KIT, August 2011
Details Download

Birte Glimm, Sebastian Rudolph, Johanna Völker
Integrated Metamodeling and Diagnosis in OWL 2
Technical Report, Institut AIFB, KIT, September 2010
Details Download

Anees ul Mehdi, Sebastian Rudolph, Stephen Grimm
Epistemic Queries for OWL
Technical Report, Institut AIFB, KIT, December 2010
Details Download

Birte Glimm, Sebastian Rudolph
Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend!
Technical Report, Oxford University, volume 2000, March 2009
Details Download

Markus Krötzsch, Sebastian Rudolph
Finding the Largest Datalog Fragment of Description Logic
Technical Report 3002, Institute AIFB, KIT, November 2009
Details

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

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Expressive Tractable Description Logics based on SROIQ Rules
Technical Report, Universität Karlsruhe (TH), volume 1724, February 2008
Details

Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
What Is Approximate Reasoning?
Technical Report, Institute AIFB, University of Karlsruhe, volume 1731, March 2008
Details Download

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
OBDD-based Tbox Reasoning in SHIQ
Technical Report, Universität Karlsruhe, volume 1751, January 2008
Details

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

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
Technical Report, Institut AIFB, Universität Karlsruhe, volume 1753, April 2008
Details

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
Technical Report, Institut AIFB, KIT, February 2008
Details

Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with SCREECH
Technical Report, Institute AIFB, University of Karlsruhe, volume 1729, March 2008
Details

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity of Horn Description Logics
Technical Report, Instistute AIFB, Universität Karlsruhe, volume 1432, February 2007
Details

Sebastian Rudolph
Generalized Domain-Range Restrictions
Technical Report, Institute AIFB, University of Karlsruhe, volume 1516, July 2007
Details Download


Projektberichte

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

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

Pascal Hitzler, Peter Dolog, Perry Groot, Michel Klein, Malgorzata Mochol, Lyndon Nixon, Linda Peelen, Sebastian Rudolph, Stefan Schlobach, Heiner Stuckenschmidt, Denny Vrandečić, Holger Wache
Report on realizing practical approximate and distributed reasoning for ontologies
AIFB, University of Karlsruhe, December 2006
Details Download