Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Komplexitätstheorie

Aus Aifbportal

Wechseln zu: Navigation, Suche

Komplexitätstheorie


Beteiligte Personen
Dr. Lukas König



Veröffentlichungen zum Forschungsgebiet

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

↑ top

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

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)

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)

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)

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)

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)

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)

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)

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

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)

Detlef Seese, Frank Schlottmann
Large grids and local information flow as a reason for high complexity
In Frizelle, Gerry; Richards, Huw (eds.), Tackling industrial complexity: the ideas that make a difference, Proceedings of the 2002 Conference of the Manufacturing Complexity Network, April 9-10 2002, University of Cambridge, Seiten: 193-207, -
(Details)

↑ top

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

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)

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

↑ top

misc
Detlef Seese, Frank Schlottmann
The building blocks of complexity: a unified criterion and selected applications in risk management
Complexity 2003: Complex Behaviour in Economics Conference, Aix-en-Provence, France, Mai, 2003
(Details)

↑ top
-->