Wissensrepräsentation und logisches Schließen

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

Wissensrepräsentation und logisches Schließen

Die Ars Magna (ca. 1305) des mallorquinischen Gelehrten Ramon Llull gilt als eines der frühesten Beispiele für strukturierte WIssensrepräsentation und automatisches Schließen
Das Forschungsgebiet Wissensrepräsentation und logisches Schließen befasst sich mit der Darstellung von menschlichem Wissen in Computersystemen und mit der Berechnung logischer Konsequenzen aus diesem Wissen. Durch logische Deduktion leiten solche Systeme implizites Wissen aus den gegebenen Informationen ab. Damit spielt die formale Wissensrepräsentation eine wichtige Rolle zur Konstruktion intelligenter Computersysteme. Aber auch in Anwendungen, in denen große Wissensbasen erstellt werden, werden diese Technologien eingesetzt, da logisches Schließen helfen kann, Redundanz zu vermeiden und Fehler zu entdecken.


Die meisten modernen Ansätze in der Wissensrepräsentation beruhen auf formaler Logik, wobei Beschreibungslogiken und regelbasierte Formalismen die wichtigsten Sprachfamilien darstellen. In vielen Anwendungen sind Wissensbasen die Grundlage für Ontologien, so dass Wissensrepräsentation in enger Beziehung zu anderen Forschungegebieten steht, zum Beispiel zu semantischen Technologien. Obwohl das Grundgerüst der Wissensrepräsentation die theoeretische Forschung auf der formalen Logik ist, umfasst die Forschung in diesem Gebiet auch viele angewandte Fragestellungen, so z.B. die Entwicklung effizienter Tools zum automatischen Schließen.

Artikel in Fachzeitschriften

Markus Krötzsch, Tomáš Masopust, Michaël Thomazo
Complexity of Universality and Related Problems for Partially Ordered NFAs
Information and Computation, 255(1):177-192, August 2017
Details Download

Markus Krötzsch, Sebastian Rudolph
Is Your Database System a Semantic Web Reasoner?
KI, 30(2):169-176, 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

Yevgeny Kazakov, Markus Krötzsch, František Simančík
The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies
J. Autom. Reasoning, 53(1):1-61, 2014
Details Download

Markus Krötzsch, František Simančík, Ian Horrocks
Description Logics
IEEE Intelligent Systems, 29(1):12-19, 2014
Details

Despoina Magka, Markus Krötzsch, Ian Horrocks
A rule-based ontological framework for the classification of molecules
J. Biomedical Semantics, 5:17, 2014
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

Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
J. Artif. Intell. Res. (JAIR), 47:741-808, 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

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


Artikel in Tagungsbänden

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
In Clare Dixon, Marcelo Finger, eds., Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), volume 10483 of Lecture Notes in Computer Science, 60--76, September 2017. Springer
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules
In Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin, eds., Proceedings of the 16th International Semantic Web Conference (ISWC'17), volume 10587 of LNCS, 2017. Springer
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Restricted chase (non)termination for existential rules with disjunctions
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 922-928, 2017. International Joint Conferences on Artificial Intelligence
Details Download

Markus Krötzsch
Ontologies for Knowledge Graphs?
In Alessandro Artale, Birte Glimm, Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics (DL 2017), volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Reasoning with Attributed Description Logics
In Alessandro Artale, Birte Glimm, Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics (DL 2017), Montpellier, France, July 18-21, 2017, volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Ontologies for Knowledge Graphs
In Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin, eds., Proceedings of the 16th International Semantic Web Conference (ISWC'17), volume 10587 of LNCS, 418--435, October 2017. Springer
Details Download

Maximilian Marx, Markus Krötzsch, Veronika Thost
Logic on MARS: Ontologies for generalised property graphs
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 1188-1194, 2017. International Joint Conferences on Artificial Intelligence
Details Download

David Carral, Cristina Feier, Pascal Hitzler
A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies
In Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flock, Yolanda Gil, eds., The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan. Proceedings, Part I, volume 9981 of LNCS, 70-85, October 2016. Springer
Details Download

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

Markus Krötzsch, Veronika Thost
Ontologies for Knowledge Graphs: Breaking the Rules
In Yolanda Gil, Elena Simperl, Paul Groth, Freddy Lecue, Markus Krötzsch, Alasdair Gray, Marta Sabou, Fabian Flöck, Hideaki Takeda, eds., Proceedings of the 15th International Semantic Web Conference (ISWC 2016), volume 9981 of LNCS, 376-392, 2016. Springer
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

Jacopo Urbani, Ceriel Jacobs, Markus Krötzsch
Column-Oriented Datalog Materialization for Large Knowledge Graphs
In Dale Schuurmans, Michael P. Wellman, eds., Proceedings of the 30th AAAI Conference on Artificial Intelligence, 258-264, 2016. AAAI Press
Details Download

Jacopo Urbani, Ceriel Jacobs, Markus Krötzsch
VLog: A Column-Oriented Datalog System for Large Knowledge Graphs
In Takahiro Kawamura, Heiko Paulheim, eds., Proceedings of the 15th International Semantic Web Conf. (ISWC'16), Posters and Demos, volume 1690 of CEUR Workshop Proceedings, 2016. CEUR-WS.org
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

Stephan Böhme, Marcel Lippmann
Decidable Contextualized DLs with Rigid Roles
Proceedings of the 28th International Workshop on Description Logics (DL-2015), CEUR Workshop Proceedings, to appear. CEUR-WS.org
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

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
P ≠ P: Why Some Reasoning Problems Are More Tractable Than Others
Proc. 8th International Conference on Web Reasoning and Rule Systems (RR'14), volume 8741 of LNCS, 1-22, September 2014. Springer
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

Markus Krötzsch, Despoina Magka, Ian Horrocks
Concrete Results on Abstract Rules
Proc. 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13), 414-426, September 2013. Springer
Details Download

Despoina Magka, Markus Krötzsch, Ian Horrocks
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling
Proc. 26th International Workshop on Description Logics (DL'13), 390-402, July 2013. CEUR Workshop Proceedings
Details Download

Despoina Magka, Markus Krötzsch, Ian Horrocks
Computing Stable Models for Nonmonotonic Existential Rules
Proc. 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 1031-1038, August 2013. AAAI Press
Details Download

Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
Acyclicity Conditions and their Application to Query Answering in Description Logics
Proc. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 243–253, June 2012. AAAI Press
Details Download

Yevgeny Kazakov, Markus Krötzsch, František Simančík
ELK Reasoner: Architecture and Evaluation
Proc. of the OWL Reasoner Evaluation Workshop 2012, July 2012. CEUR Workshop Proceedings
Details Download

Yevgeny Kazakov, Markus Krötzsch, František Simančík
Practical Reasoning with Nominals in the EL Family of Description Logics
Proc. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 264–274, June 2012. AAAI Press
Details Download

Markus Krötzsch
OWL 2 Profiles: An Introduction to Lightweight Ontology Languages
Reasoning Web Summer School 2012, 112-183, September 2012. Springer
Details Download

Markus Krötzsch
The Not-So-Easy Task of Computing Class Subsumptions in OWL RL
Proc. 11th International Semantic Web Conference (ISWC'11), 279-294, 2012. Springer
Details Download

Yevgeny Kazakov, Markus Krötzsch, František Simančík
Concurrent Classification of EL Ontologies
In Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Noy, Eva Blomqvist, eds., Proc. 10th International Semantic Web Conference (ISWC'10), volume 7032 of LNCS, 305-320, October 2011. Springer
Details Download

Yevgeny Kazakov, Markus Krötzsch, František Simančík
Unchain My EL Reasoner
Proc. 24th International Workshop on Description Logics (DL'11), July 2011. CEUR Workshop Proceedings
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

Markus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies
Proc. 20th International Conference on World Wide Web (WWW'11), 645-654, March 2011. ACM
Details Download

Markus Krötzsch
Efficient Rule-Based Inferencing for OWL EL
Proc. 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), 2668-2673, July 2011. AAAI Press
Details Download

Markus Krötzsch, Sebastian Speiser
ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web
Proc. 10th International Semantic Web Conference (ISWC'11), 354-369, October 2011. Springer
Details Download

Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler
Nominal Schemas for Integrating Rules and Description Logics
In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds., Proc. 24th International Workshop on Description Logics (DL'11), volume 745 of CEUR Workshop Proceedings, July 2011. CEUR-WS.org
Details Download

František Simančík, Boris Motik, Markus Krötzsch
Fixed Parameter Tractable Reasoning in DLs via Decomposition
In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds., Proc. 24th International Workshop on Description Logics (DL'11), volume 745 of CEUR Workshop Proceedings, 400-410, July 2011. CEUR-WS.org
Details Download

Birte Glimm, Markus Krötzsch
SPARQL Beyond Subgraph Matching
In Peter F. Patel-Schneider, Yue Pan, Birte Glimm, Pascal Hitzler, Peter Mika, Jeff Pan, Ian Horrocks, eds., Proceedings of the 9th International Semantic Web Conference (ISWC 2010), volume 6496 of LNCS, 241-256, 2010. Springer
Details Download

Markus Krötzsch
Efficient Inferencing for OWL EL
In Tomi Janhunen, Ilkka Niemelä, eds., Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA'10), volume 6341 of LNAI, 234-246, 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

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

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

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

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

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
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

Markus Krötzsch, Pascal Hitzler, Denny Vrandečić, Michael Sintek
How to reason with OWL in a logic programming system
In Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens, eds., Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006, 17--26, November 2006. IEEE Computer Society
Details Download

Denny Vrandečić, Markus Krötzsch
Reusing Ontological Background Knowledge in Semantic Wikis
In Max Völkel and Sebastian Schaffert and Stefan Decker, eds., Proceedings of the First Workshop on Semantic Wikis -- From Wikis to Semantics, June 2006
Details Download


Bücher

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
语义Web技术基础
世界著名计算机教材精选. Tsinghua University Press, 2012
Details

Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen
Synchron Publishers Heidelberg, 2011
Details


Herausgegebene Tagungsbände

Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Markus Krötzsch, Maria Maleshkova, Ruben Verborgh, Federico M. Facca, Michael Mrissa
Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops
Volume 1783 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details

Paul T. Groth, Elena Simperl, Alasdair J. G. Gray, Marta Sabou, Markus Krötzsch, Freddy Lécué, Fabian Flöck, Yolanda Gil
Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part I
Volume 9981 of LNCS, 2016. Springer
Details

Paul T. Groth, Elena Simperl, Alasdair J. G. Gray, Marta Sabou, Markus Krötzsch, Freddy Lécué, Fabian Flöck, Yolanda Gil
Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part II
Volume 9982 of LNCS, 2016. Springer
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

Kostis Kyzirakos, Cory A. Henson, Matthew Perry, Dalia Varanka, Rolf Grütter, Jean-Paul Calbimonte, Irene Celino, Emanuele Della Valle, Daniele Dell'Aglio, Markus Krötzsch, Stefan Schlobach
Joint Proceedings of the 1st Joint International Workshop on Semantic Sensor Networks and Terra Cognita (SSN-TC 2015) and the 4th International Workshop on Ordering and Reasoning (OrdRing 2015)
Volume 1488 of CEUR Workshop Proceedings, 2015. CEUR-WS.org
Details

Irene Celino, Emanuele Della Valle, Markus Krötzsch, Stefan Schlobach
Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013
Volume 1059 of CEUR Workshop Proceedings, 2013. CEUR-WS.org
Details

Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch
Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 201
Volume 1014 of CEUR Workshop Proceedings, 2013. CEUR-WS.org
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

Markus Krötzsch, Umberto Straccia
Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceeding
Volume 7497 of Lecture Notes in Computer Science, 2012. Springer
Details


Dissertationen

Sarah Alice Gaggl
A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation
Phd thesis, TU Wien, 2013/03/04
Details Download

Markus Krötzsch
Description Logic Rules
Phd thesis, KIT, 2010/09/11
Details Download


Technische Berichte

Markus Krötzsch, Veronika Thost
Ontologies for Knowledge Graphs: Breaking the Rules
Technical Report, TU Dresden, April 2016
Details Download

Stephan Böhme, Marcel Lippmann
Description Logics of Context with Rigid Roles Revisited
Technical Report, Chair of Automata Theory, TU Dresden, volume 15-04, May 2015. LTCS-Report
Details Download

Markus Krötzsch, Frantisek Simancik, Ian Horrocks
A Description Logic Primer
Technical Report, arXiv.org, volume CoRR abs/1201.4089, January 2012
Details Download


Vorträge und Sonstiges

Maximilian Marx, Markus Krötzsch
The New SQID: Improving Wikidata Made Easy
Presentation at WikidataCon 2017, 2017
Details Download

Sarah Alice Gaggl, Norbert Manthey
ASPARTIX-D Ready for the Competition
Presentation at Argumentation Spring Meeting 2015, Leipzig, April 2015
Details Download

Markus Krötzsch
Morphisms in Logic, Topology, and Formal Concept Analysis
Master's thesis, Technische Universität Dresden, February 2005
Details Download

Cfaed.jpg

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

DIAMOND-Logo.png

DIAMOND
Datenintegration und -abfrage durch die Zusammenführung von Ontologien und Datenbanken

DeciGUT-logo-final.png

DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation

HAEC Logo.png

HAEC
Highly Adaptive Energy-Efficient Computing (Sonderforschungsbereich 912)

HAEC Logo.png

HAEC B02
Semantic Technology for Context Awareness (HAEC Project B02)

HAEC Logo.png

HAEC B08
High-Capacity Knowledge Processing Pipeline (HAEC Teilprojekt B08)