( en | de | ru )

 

Disambiguation of "Jung, Jean Christoph"

Author of the publication

copydeleteadd this publication to your clipboard
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.

, , , , and . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jean Christoph Jung

Christoph Jung

Christoph Jung

Christoph Jung

Christoph Jung

 

Other publications of authors with the same name

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries., , , and . CoRR, (2023)On the non-efficient PAC learnability of acyclic conjunctive queries., , , and . CoRR, (2022)Extremal Fitting CQs do not Generalize., , , and . CoRR, (2023)Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions., , , , and . ACM Trans. Comput. Log., 24 (4): 34:1-34:51 (October 2023)Answering regular path queries mediated by unrestricted SQ ontologies., , , and . Artif. Intell., (2023)More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions., , and . Description Logics, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)SAT-based PAC Learning of Description Logic Concepts (Extended Abstract)., , , and . Description Logics, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Separating Data Examples by Description Logic Concepts with Restricted Signatures., , , and . KR, page 390-399. (2021)On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions., , and . KR, page 529-538. (2020)Fitting Algorithms for Conjunctive Queries., , , and . SIGMOD Rec., 52 (4): 6-18 (December 2023)