Yevgeny Kazakov und František Simančík - Info zur Person

(1 - 11 von 11

)

ECAI 2016: 22nd European Conference on Artificial Intelligence,

books.google.ae

Yevgeny Kazakov, Markus Kr ̈otzsch, and František Simancık, 'Practical reasoning with nominals in the EL family of description logics', in Proceedings of the ...

Foundations of Fuzzy Logic and Semantic Web Languages - Umberto...

books.google.no

Yevgeny Kazakov. RIQ and SROIQ are harder than SHOIQ. In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR-08), pages 274–284, Yevgeny Kazakov, Markus Kroetzsch, and Frantisek Simancik. Practical reasoning with nominals in the EL family ...

Schriftenreihe des Fachbereichs Informatik der Fachhochschule...

books.google.no

State of the LOD Cloud, August Online: http://lod-cloud.net/state/ Zuletzt besucht: Yevgeny Kazakov, Markus Kr ̈otzsch und František Simancık. Concurrent Classification of EL Ontologies. In Proceedings of the 10th International Conference on Semantic Web, ISWC'11, Seiten 305–320, Berlin, Heidelberg ...

Practical Reasoning with Nominals in the EL Family of Description...

iccl.inf.tu-dresden.de

Yevgeny Kazakov, Markus Krötzsch, František Simančík Practical Reasoning with Nominals in the EL Family of Description Logics Proc. 13th International Conference ...

ELK Reasoner: Architecture and Evaluation – International ...iccl.inf.tu-dresden.de › web › Inproceedings4013

iccl.inf.tu-dresden.de

Yevgeny Kazakov, Markus Krötzsch, František Simančík ELK Reasoner: Architecture and Evaluation Proc. of the OWL Reasoner Evaluation Workshop 2012, ...

From Polynomial Procedures to Efficient Reasoning with ℰℒ ...iccl.inf.tu-dresden.de › web › Article4004

iccl.inf.tu-dresden.de

Yevgeny Kazakov, Markus Krötzsch, František Simančík. The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies. J. Autom.

ELK: A Reasoner for OWL EL Ontologies - korrekt.org

www.korrekt.org

Yevgeny Kazakov, Markus Krötzsch, František Simančík. ELK: A Reasoner for OWL EL Ontologies. In Technical Report @techreport{KKS12:elkimpl,

ELK Reasoner - korrekt.org

www.korrekt.org

ELK is joint work with Yevgeny Kazakov, Pavel Klinov, and František Simančík. See the ELK homepage for a up-to-date list of contributors.

Kazakov

www.aaai.org

Practical Reasoning with Nominals in the EL Family of Description Logics. Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik ...

Grants and awards - korrekt.org

www.korrekt.org

... and EL realisation at the OWL Reasoner Evaluation Workshop 2015, the third year in a row (with Yevgeny Kazakov, Pavel Klinov, and Frantisek Simancik); Medal of the Kurt Gödel Society for the achievements of the ELK reasoner at the OWL Reasoner Evaluation Workshop (with Yevgeny Kazakov, ...

Alle Infos zum Namen "Yevgeny Kazakov"

Verwandte Suchanfragen zu Yevgeny Kazakov

Domenico Lembo
Ulrike Sattler
Birte Glimm

Ernesto Jiménez-Ruiz
Konstantin Korovin
Thorsten Liebig

Vincent Vialard

Personen
Vorname "Yevgeny" (16)
Name "Kazakov" (68)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Yevgeny Kazakov und František Simančík Person-Info