Jean Christoph Jung

24 publications

7 venues

H Index 9

Name Venue Year citations
Separating Data Examples by Description Logic Concepts with Restricted Signatures. KR 2021 0
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. IJCAI 2021 0
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. AAAI 2021 2
On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. KR 2020 3
Conservative Extensions in Horn Description Logics with Inverse Roles. JAIR 2020 4
Least General Generalizations in Description Logic: Verification and Existence. AAAI 2020 9
Logical Separability of Incomplete Data under Ontologies. KR 2020 8
Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming. CIKM 2019 3
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. IJCAI 2019 5
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. IJCAI 2019 0
Answering Regular Path Queries over SQ Ontologies. AAAI 2018 4
Quantified Markov Logic Networks. KR 2018 1
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies. IJCAI 2018 19
Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage. IJCAI 2017 0
Query Conservative Extensions in Horn Description Logics with Inverse Roles. IJCAI 2017 8
Number Restrictions on Transitive Roles in Description Logics with Nominals. AAAI 2017 5
Probabilistic Description Logics for Subjective Uncertainty. JAIR 2017 0
On Metric Temporal Description Logics. ECAI 2016 34
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. IJCAI 2016 28
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes. IJCAI 2015 17
Lightweight Description Logics and Branching Time: A Troublesome Marriage. KR 2014 23
Complexity of Branching Temporal Description Logics. ECAI 2012 20
Ontology-Based Access to Probabilistic Data with OWL QL. ISWC 2012 52
A Closer Look at the Probabilistic Description Logic Prob-EL. AAAI 2011 22
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ