2 citations · 2 across the 7 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2020
On Termination of Transactions over Semantic Document Models
Andrei Mantsivoda, Denis Ponomaryov
We consider the framework of Document Modeling, which lays the formal basis for representing the document lifecycle in Business Process Management systems. We formulate document mo…
cs.LO2020
The Expressiveness of Looping Terms in the Semantic Programming
Sergey Goncharov, Sergey Ospichev, Denis Ponomaryov +1
We consider the language of -formulas with list terms interpreted over hereditarily finite list superstructures. We study the complexity of reasoning in extensions of the lang…
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…