( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models.

, , , и . RuleML+RR, том 13752 из Lecture Notes in Computer Science, стр. 167-182. Springer, (2022)

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.

Patrick Koopmann

Walter Koopmann

Jürgen Koopmann

Rüdiger Koopmann

Regine Koopmann

 

Другие публикации лиц с тем же именем

Planning with Ontology-Enhanced States using Problem-Dependent Rewritings., и . PLATO@ICAPS, том 3493 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Evonne: Interactive Proof Visualization for Description Logics (System Description)., , , , , и . IJCAR, том 13385 из Lecture Notes in Computer Science, стр. 271-280. Springer, (2022)Towards Ontology-Based Realtime Behaviour Interpretation., , , и . Human Behavior Recognition Technologies, IGI Global, (2013)Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair., , , , и . Description Logics, том 2663 из CEUR Workshop Proceedings, CEUR-WS.org, (2020)First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions., , и . Description Logics, том 2663 из CEUR Workshop Proceedings, CEUR-WS.org, (2020)Efficient Computation of General Modules for ALC Ontologies (Extended Abstract)., , , и . Description Logics, том 3515 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)., , , , и . Description Logics, том 3263 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Practical Query Rewriting for DL-Lite with Numerical Predicates., , и . GCAI, том 65 из EPiC Series in Computing, стр. 15-27. EasyChair, (2019)Combining Proofs for Description Logic and Concrete Domain Reasoning., , , , и . RuleML+RR, том 14244 из Lecture Notes in Computer Science, стр. 54-69. Springer, (2023)Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources., , , , и . (августа 2023)