Concepedia

František Simančík

FS

13

Publications

719

Citations

12

H-Index

2007

Active since

Affiliations

University of Oxford(Current)

Google (United States)

František Simančík is an author at University of Oxford specializing in formal methods, automated reasoning, and semantic web.

Top concepts

SemanticsEngineeringSemantic WebFormal MethodsAutomated ReasoningDescription LogicsOntology EngineeringLogic ProgrammingFormal VerificationSyntax

Publications per year

2007–2018

13

Publications

13

The Incredible ELK

Yevgeny Kazakov, Markus Krötzsch, František Simančík · Journal of Automated Reasoning · 2013 · 233 citations

Archaeology, Wildlife Management, Incredible Elk +2

Concurrent Classification of EL Ontologies

Yevgeny Kazakov, Markus Krötzsch, František Simančík · Oxford University Research Archive (ORA) (University of Oxford) · 2011 · 122 citations · Full text

Consequence-based reasoning beyond horn ontologies

František Simančík, Yevgeny Kazakov, Ian Horrocks · International Joint Conference on Artificial Intelligence · 2011 · 82 citations

Non-classical Logic, Horn Ontology Languages, Engineering +14

Description Logics

Markus Krötzsch, František Simančík, Ian Horrocks · 2014 · 65 citations

Engineering, Dl Sroiq, Semantic Web Service +11

ELK Reasoner: Architecture and Evaluation.

Yevgeny Kazakov, Markus Krötzsch, František Simančík · 2012 · 53 citations

Ontology (Information Science), Ontology Matching, Engineering +26

Rows per page

1–5 of 13