( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automated Benchmarking of Description Logic Reasoners.

, , и . Description Logics, том 189 из CEUR Workshop Proceedings, CEUR-WS.org, (2006)

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.

Dmitry Sveshnikov

Dmitry Suslov

Dmitry Varentsov

Dmitry Chigrin

Dmitry Ivanov

 

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

*-CFQ: Analyzing the Scalability of Machine Learning on a Compositional Task., , , , , и . CoRR, (2020)Divide et Impera: Metareasoning for Large Ontologies., и . OWLED, том 849 из CEUR Workshop Proceedings, CEUR-WS.org, (2012)Computed Knowledge Base for Description of Information Resources of Water Spectroscopy., , , и . OWLED, том 614 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)Using Vampire to Reason with OWL., , , и . ISWC, том 3298 из Lecture Notes in Computer Science, стр. 471-485. Springer, (2004)Optimised Classification for Taxonomic Knowledge Bases., и . Description Logics, том 147 из CEUR Workshop Proceedings, CEUR-WS.org, (2005)Optimizing Terminological Reasoning for Expressive Description Logics., , и . J. Autom. Reason., 39 (3): 277-316 (2007)Instrumenting Atomic Decomposition: Software APIs for OWL., , и . OWLED, том 1080 из CEUR Workshop Proceedings, CEUR-WS.org, (2013)Efficient Reasoning with Range and Domain Constraints., и . Description Logics, том 104 из CEUR Workshop Proceedings, CEUR-WS.org, (2004)Automated Benchmarking of Description Logic Reasoners., , и . Description Logics, том 189 из CEUR Workshop Proceedings, CEUR-WS.org, (2006)Incremental and Persistent Reasoning in FaCT++.. ORE, том 1207 из CEUR Workshop Proceedings, стр. 16-22. CEUR-WS.org, (2014)