Frank Wolter
21 papers · 2013–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+11 more ↓ Show less ↑
π Academic Marathon (11) π Conference Polyglot (3) π§ Keyword Pioneer π Interdisciplinary Bridge π Cross-Pollinator (7)
π
Cross-Pollinator
(7)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(13)
π€
Dynamic Duo
(14)
π
Keyword Champion
(2)
β‘
Prolific Year
(5)
π
Conference Pioneer
π
Trend Setter
π
Century Club
(21)
π₯
Unstoppable
(7)
β
The Questioner
(2)
Conferences
IJCAI (18)
AAAI (2)
JMLR (1)
Top co-authors
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 datum
(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
Ontology-Mediated Queries with Closed Predicates
IJCAI 2015
When Are Description Logic Knowledge Bases Indistinguishable?
IJCAI 2015
Schema.org as a Description Logic
IJCAI 2015
Efficient Query Rewriting in the Description Logic EL and Beyond
IJCAI 2015
First-Order Rewritability of Temporal Ontology-Mediated Queries
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