Jean Christoph Jung
Jean Christoph Jung
Verifierad e-postadress på informatik.uni-bremen.de - Startsida
Titel
Citeras av
Citeras av
År
Ontology-Based Access to Probabilistic Data with OWL QL
JC Jung, C Lutz
ISWC, 2012
532012
On Metric Temporal Description Logics
V Gutiérrez-Basulto, JC Jung, A Ozaki
ECAI, 2016
302016
A closer look at the probabilistic description logic Prob-EL
V Gutiérrez-Basulto, JC Jung, C Lutz, L Schröder
Proc. of the 25th AAAI Conf. on Artif. Intell.(AAAI11). AAAI Press, 2011
26*2011
Probabilistic Description Logics for Subjective Uncertainty
V Gutiérrez-Basulto, JC Jung, C Lutz, L Schröder
Journal of Artificial Intelligence Research 58 (1), 1-66, 2017
242017
Lightweight Description Logics and Branching Time: a Troublesome Marriage
V Gutiérrez-Basulto, JC Jung, T Schneider
KR, 2014
242014
Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries
V Gutierrez Basulto, JC Jung, R Kontchakov
222016
Complexity of Branching Temporal Description Logics
V Gutiérrez-Basulto, JC Jung, C Lutz
ECAI, 2012
212012
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes
V Gutiérrez-Basulto, JC Jung, T Schneider
IJCAI, 2015
18*2015
The complexity of decomposing modal and first-order theories
S Göller, JC Jung, M Lohrey
ACM Transactions on Computational Logic (TOCL) 16 (1), 1-43, 2015
172015
Two encodings of DNNF theories
JC Jung, P Barahona, G Katsirelos, T Walsh
ECAI workshop on Inference methods based on Graphical Structures of Knowledge, 2008
152008
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies
V Gutiérrez-Basulto, JC Jung, L Sabellek
IJCAI-ECAI, 2018
132018
Learning description logic concepts: when can positive and negative examples be separated?
M Funk, JC Jung, C Lutz, H Pulcini, F Wolter
Description Logics, 2019
102019
Enhancing debugging of multiple missing control errors in reversible logic
JC Jung, S Frehse, R Wille, R Drechsler
Proceedings of the 20th symposium on Great lakes symposium on VLSI, 465-470, 2010
82010
Query Conservative Extensions in Horn Description Logics with Inverse Roles
JC Jung, C Lutz, M Martel, T Schneider
IJCAI, 2017
72017
Conservative Extensions in Guarded and Two-Variable Fragments
JC Jung, C Lutz, M Martel, T Schneider, F Wolter
ICALP, 2017
62017
Model comparison games for Horn description logics
JC Jung, F Papacchini, F Wolter, M Zakharyaschev
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019
52019
Querying the Unary Negation Fragment with Regular Path Expressions
JC Jung, C Lutz, M Martel, T Schneider
ICDT, 2018
52018
Number restrictions on transitive roles in description logics with nominals
V Gutierrez-Basulto, Y Ibáñez-García, JC Jung
Thirty-First AAAI Conference on Artificial Intelligence, 2017
42017
SWORD v1. 0
JC Jung, A Sülflow, R Wille, R Drechsler
Satisfiability Modulo Theories Competition, 2009
42009
Ontology-mediated queries over probabilistic data via probabilistic logic programming
T van Bremen, A Dries, JC Jung
Proceedings of the 28th ACM International Conference on Information and …, 2019
32019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20