Lukas Schweizer

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 12

Top Topics

Description Logics

Semantic Web Ontologies

Top Venues

Description Logics

Publications

Jinsong Guo, Aditya Jami, Markus Kröll, Lukas Schweizer, Sergey Paramonov, Eric Aichinger, Stefano Sferrazza, Mattia Scaccia, Stéphane Reissfelder, Eda Cicek, Giovanni Grasso, Georg Gottlob
When Automatic Filtering Comes to the Rescue: Pre-Computing Company Competitor Pairs in Owler. Proc. ACM Manag. Data 1 (2) (2023)
Georg Gottlob, Jinsong Guo, Aditya Jami, Markus Kröll, Stéphane Reissfeldee, Lukas Schweizer, Eric Aichinger, Stefano Sferrazza
CompeGen: Computing Company Competitor Pairs By Knowledge Based Inference Combined With Empirical Validation. Datalog (2022)
Tobias Philipp, Valentin Roland, Lukas Schweizer
Smoke Test Planning using Answer Set Programming. Int. J. Interact. Multim. Artif. Intell. 6 (5) (2021)
Sebastian Rudolph, Lukas Schweizer, Zhihao Yao
SPARQL Queries over Ontologies Under the Fixed-Domain Semantics. PRICAI (1) (2019)
Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer
Faceted Answer-Set Navigation. RuleML+RR (2018)
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics. RuleML+RR (2018)
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract. AMW (2017)
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Wolpertinger: A Fixed-Domain Reasoner. ISWC (Posters, Demos & Industry Tracks) (2017)
Sebastian Rudolph, Lukas Schweizer
Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics. Description Logics (2017)
Sebastian Rudolph, Lukas Schweizer
Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics. EPIA (2017)
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics. Description Logics (2016)
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics. ECAI (2016)
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Bound Your Models! How to Make OWL an ASP Modeling Language. CoRR (2015)
Steffen Hölldobler, Lukas Schweizer
Answer Set Programming and CLASP - A Tutorial. YSIP (2014)