Lukas Schweizer

From International Center for Computational Logic

M.Sc. Lukas Schweizer

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Computational Logic

About Me

I am a research assistant at the Institute for Artificial Intelligence, in the Computational Logic group. I am working on description logics, investigating non-standard semantics, their corresponding computational properties and potential practical reasoning.

Since April 2016, I am an associate doctoral student in the research training group QuantLA.

Awards

Newest Publications

View full publication list

Sebastian Rudolph, Lukas Schweizer, Zhihao Yao
SPARQL Queries over Ontologies Under the Fixed-Domain Semantics
In Abhaya C. Nayak, Alok Sharma, eds., PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I, volume 11670 of Lecture Notes in Computer Science, 486--499, August 2019. Springer
Details Download

Christian Al-Rabaa, Sebastian Rudolph, Lukas Schweizer
Faceted Answer-Set Navigation
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 211--225, September 2018. Springer
Details

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 185--200, September 2018. Springer
Details

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract
In Juan L. Reutter, Divesh Srivastava, eds., Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017, volume 1912 of CEUR Workshop Proceedings, June 2017. CEUR-WS.org
Details Download

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

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

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

View full publication list

Courses


Completed Theses

Quantla-logo.png

QuantLA
Quantitative Logics and Automata

Wolpert-github.png

Wolpertinger
Wolpertinger is a fixed-domain reasoner