Jean Christoph Jung

17 publications

7 venues

H Index8

Affiliation

University of Bremen, Institute of Computer Science, Germany

Links

Name Venue Year Citations
Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming. CIKM 2019 1
Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage. IJCAI 2017 0
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies. IJCAI 2018 13
Answering Regular Path Queries over SQ Ontologies. AAAI 2018 1
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes. IJCAI 2015 10
On Metric Temporal Description Logics. ECAI 2016 18
Number Restrictions on Transitive Roles in Description Logics with Nominals. AAAI 2017 4
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. IJCAI 2019 0
Complexity of Branching Temporal Description Logics. ECAI 2012 17
A Closer Look at the Probabilistic Description Logic Prob-EL. AAAI 2011 19
Query Conservative Extensions in Horn Description Logics with Inverse Roles. IJCAI 2017 6
Quantified Markov Logic Networks. KR 2018 0
Lightweight Description Logics and Branching Time: A Troublesome Marriage. KR 2014 18
Ontology-Based Access to Probabilistic Data with OWL QL. ISWC 2012 40
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. IJCAI 2016 15
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. IJCAI 2019 0
Probabilistic Description Logics for Subjective Uncertainty. JAIR 2017 0
Copyright ©2019 Universit├Ąt W├╝rzburg
Website created in context of the REGIO Project
Impressum | Privacy | FAQ