Jung, Jean Christoph

1. Logical Separability of Labeled Data Examples under Ontologies
   2020/07/03 by Jean Christoph Jung, Carsten Lutz, Jung, Jean Christoph +5 · 7 citations
   Computer Science · #Advanced Database Systems and Queries #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
2. Separating Data Examples by Description Logic Concepts with Restricted\n Signatures
   2021/07/12 by Jean Christoph Jung, Carsten Lutz, Jung, Jean Christoph +5 · 6 citations
   Computer Science · #03B70 #Advanced Database Systems and Queries #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Semantic Web and Ontologies
3. Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
   2020/07/06 by Alessandro Artale, Jean Christoph Jung, Artale, Alessandro +7 · 5 citations
   Computer Science · #03B70 #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
4. Towards Ontology Construction with Language Models
   2023/09/18 by Maurice Funk, Simon Hosemann, Funk, Maurice +5 · 3 citations
   Computer Science · #Semantic Web and Ontologies #Natural Language Processing Techniques #Advanced Database Systems and Queries
5. On the non-efficient PAC learnability of conjunctive queries
   2022/08/22 by Cate, Balder ten, Funk, Maurice, Jung, Jean Christoph +1 · 2 citations
   #Artificial Intelligence (cs.AI) #Databases (cs.DB) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
6. SAT-Based PAC Learning of Description Logic Concepts
   2023/05/15 by Balder ten Cate, Maurice Funk, Cate, Balder ten +5 · 2 citations
   Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #Biomedical Text Mining and Ontologies #FOS: Computer and information sciences #Natural Language Processing Techniques #Semantic Web and Ontologies
7. Modal Separability of Fixpoint Formulae
   2024/06/03 by Jean Christoph Jung, Jędrzej Kołodziejski, Jung, Jean Christoph +1 · 2 citations
   Engineering · #03B70 #Advanced Control Systems Optimization #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)