Lukas Westhofen

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Conjunctive Queries

Top Venues

Publications

Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider
Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains. TACAS (1) (2024)
Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider
Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries. NFM (2024)