Concepedia

Jean Christoph Jung

JC

10

Publications

282

Citations

10

H-Index

2010

Active since

Affiliations

University of Bremen(Current)

University of Liverpool

Jean Christoph Jung is an author at University of Bremen specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceSemanticsDescription LogicsLinguisticsSemantic WebFormal VerificationKnowledge Compilation

Publications per year

2010–2020

10

Publications

10

Probabilistic Description Logics for Subjective Uncertainty

Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz et al. · Journal of Artificial Intelligence Research · 2017 · 121 citations · Full text

New Family, Probabilistic Ontology, Engineering +15

Temporalized EL ontologies for accessing temporal data: complexity of atomic queries

Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov · ORCA Online Research @Cardiff (Cardiff University) · 2016 · 28 citations

Engineering, Semantic Web, Semantics +22

Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies

Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek · 2018 · 27 citations · Full text

Engineering, Semantic Search, Knowledge Extraction +22

A closer look at the probabilistic description logic prob- EL

Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz et al. · ORCA Online Research @Cardiff (Cardiff University) · 2011 · 22 citations

Lightweight description logics and branching time: a troublesome marriage

Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider · ORCA Online Research @Cardiff (Cardiff University) · 2014 · 19 citations

Rows per page

1–5 of 10