2 citations · 2 across the 7 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.AI2017
On the Complexity of Semantic Integration of OWL Ontologies
Yevgeny Kazakov, Denis Ponomaryov
We propose a new mechanism for integration of OWL ontologies using semantic import relations. In contrast to the standard OWL importing, we do not require all axioms of the importe…
cs.AI2017
Progression of Decomposed Local-Effect Action Theories
Denis Ponomaryov, Mikhail Soutchanski
In many tasks related to reasoning about consequences of a logical theory, it is desirable to decompose the theory into a number of weakly-related or independent components. Howeve…