2 citations · 2 across the 7 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.LO2018
DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies
Denis Ponomaryov, Stepan Yakovenko
We introduce an extension to the Protege ontology editor, which allows for discovering concept definitions, which are not explicitly present in axioms, but are logically implied by…
cs.DM2018★ 2 cited
On A Polytime Factorization Algorithm for Multilinear Polynomials Over F2
Pavel Emelyanov, Denis Ponomaryov
In 2010, A. Shpilka and I. Volkovich established a prominent result on the equivalence of polynomial factorization and identity testing. It follows from their result that a multili…
cs.DM2018
A Polynomial Time Delta-Decomposition Algorithm for Positive DNFs
Denis Ponomaryov
We consider the problem of decomposing a positive DNF into a conjunction of DNFs, which may share a (possibly empty) given set of variables Delta. This problem has interesting conn…