From post

A Multi-reasoner, Justification-Based Approach to Reasoner Correctness.

, , , и . International Semantic Web Conference (2), том 9367 из Lecture Notes in Computer Science, стр. 393-408. Springer, (2015)

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.

 

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

Interview with Uli Sattler., и . Künstliche Intell., 34 (3): 429-432 (2020)Saturation-Based Uniform Interpolation for Multi-Modal Logics., , и . AiML, стр. 37-57. College Publications, (2022)Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and beyond)., , , и . CoRR, (2023)Ontology-based n-ball Concept Embeddings Informing Few-shot Image Classification., , и . MLSMKG@PKDD/ECML, том 2997 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)ReAD: Delegate OWL Reasoners for Ontology Classification with Atomic Decomposition., , и . JOWO, том 2708 из CEUR Workshop Proceedings, CEUR-WS.org, (2020)Comparing Ontologies with ecco., , и . ISWC (Posters & Demos), том 1035 из CEUR Workshop Proceedings, стр. 49-52. CEUR-WS.org, (2013)Syntactic Regularities Based on Language Abstractions., , и . WOP (Book), том 51 из Studies on the Semantic Web, стр. 312-330. IOS Press, (2021)The Manchester OWL Repository: System Description., , , и . ISWC (Posters & Demos), том 1272 из CEUR Workshop Proceedings, стр. 285-288. CEUR-WS.org, (2014)Detecting Influences of Ontology Design Patterns in Biomedical Ontologies., , и . Description Logics, том 2373 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)Avoiding Subsumption Tests During Classification Using the Atomic Decomposition., , и . Description Logics, том 2373 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)