Frank Wolter
21 papers · 2013–2024 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (13) π Academic Marathon Β· Half π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Gold π£ Hot Topic Early Bird
π€
Dynamic Duo
(14)
π
Keyword Champion
(2)
β‘
Prolific Year Β· Productive
π₯
Unstoppable Β· Bronze
β
The Questioner
(2)
π
Century Club Β· Bronze
π
Conference Pioneer
π
Trend Setter
Venues
Top co-authors
Research topics
Keywords
description logic
(8)
knowledge representation
(3)
ontology-mediated querying
(3)
linear temporal logic
(3)
ontology-mediated query
(2)
ontology approximation
(2)
horn logic
(2)
conjunctive queries
(2)
query rewriting
(2)
concept learning
(2)
membership query
(1)
conjunctive query
(1)
instance query
(1)
first-order logic
(1)
constraint satisfaction
(1)
temporal data
(1)
constraint satisfaction problem
(1)
equivalence query
(1)
negative example
(1)
database query
(1)
Papers
Extremal Separation Problems for Temporal Instance Queries
IJCAI 2024
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies
IJCAI 2023
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)
IJCAI 2022
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions
AAAI 2021
A Journey into Ontology Approximation: From Non-Horn to Horn
IJCAI 2020
Least General Generalizations in Description Logic: Verification and Existence
AAAI 2020
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?
IJCAI 2019
Ontology Approximation in Horn Description Logics
IJCAI 2019
Exact Learning of Lightweight Description Logic Ontologies
JMLR 2018
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying
IJCAI 2018
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying
IJCAI 2018
Conservative Rewritability of Description Logic TBoxes
IJCAI 2016
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
IJCAI 2016
Efficient Query Rewriting in the Description Logic EL and Beyond
IJCAI 2015
First-Order Rewritability of Temporal Ontology-Mediated Queries
IJCAI 2015
Ontology-Mediated Queries with Closed Predicates
IJCAI 2015
Schema.org as a Description Logic
IJCAI 2015
When Are Description Logic Knowledge Bases Indistinguishable?
IJCAI 2015
First-Order Rewritability of Atomic Queries in Horn Description Logics
IJCAI 2013
Ontology-Based Data Access with Closed Predicates Is Inherently Intractable (Sometimes)
IJCAI 2013
Temporal Description Logic for Ontology-Based Data Access
IJCAI 2013