#### Filter Results:

- Full text PDF available (17)

#### Publication Year

2006

2017

- This year (2)
- Last 5 years (14)
- Last 10 years (20)

#### Publication Type

#### Co-author

#### Publication Venue

#### Data Set Used

#### Key Phrases

Learn More

Recent years have seen the advent of large and complex ontologies, most notably in the medical domain. As a consequence, structuring mechanisms for ontolo-gies are nowadays viewed as an indispensible tool. A basic such mechanism is the automatic decomposition of the vocabulary of an ontology into independent parts. In this paper, we study decompositions… (More)

- Gregor Behnke, Denis K. Ponomaryov, +4 authors Susanne Biundo-Stephan
- IJCAI
- 2015

The integration of the various specialized components of cognitive systems poses a challenge, in particular for those architectures that combine planning , inference, and human-computer interaction (HCI). An approach is presented that exploits a single source of common knowledge contained in an ontology. Based upon the knowledge contained in it, specialized… (More)

- Evgenii Vityaev, Alexander V. Demin, Denis K. Ponomaryov
- Programming and Computer Software
- 2012

An inductive probabilistic approach to formal concept analysis (FCA) is proposed in which probability on formal contexts is considered; probabilistic formal concepts that have predictive force are defined: nonclassified objects can be assigned to earlier found probabilistic formal concepts; random attributes are eliminated from probabilistic formal… (More)

- Denis Ponomaryov
- 2014

The research on applied logic in the mid 2000s has brought important method-ological and algorithmic results on modularization of finitely axiomatizable logical theories. In particular, the research has been focused on the question whether logical theories have an inherent modular structure which could allow one to identify, in some sense, independent "… (More)

- Denis Ponomaryov
- 2008

We prove that each elementary theory has a unique decomposition into indecomposable components and formulate a decomposability criterion. Definition 1 A theory T of signature Σ is called decomposable, if T is the deductive closure in the predicate calculus of signature Σ of all sentences of some theories S 1 and S 2 with the disjoint signatures Σ 1 and Σ 2… (More)

- Alexander V. Demin, Denis K. Ponomaryov, Evgenii Vityaev
- Ershov Memorial Conference
- 2011

We generalize the main notions of Formal Concept Analysis with the ideas of the semantic probabilistic inference. We demonstrate that under standard restrictions, our definitions completely correspond to the original notions of Formal Concept Analysis. From the point of view of applications, we propose a method of recovering concepts in formal contexts in… (More)

- Denis Ponomaryov
- 2009

In the paper, a natural class of logical calculi is fixed for which we formulate the notion of a ∆–decomposable set of formulas. We demonstrate that the property of uniqueness of signature decom-positions holds in those calculi of this class that have the Craig interpolation property. In conclusion, we give a sufficient condition for the ∆–decomposability… (More)

- Pavel G. Emelyanov, Denis K. Ponomaryov
- Programming and Computer Software
- 2015

AND-decomposition of a boolean formula means finding two (or several) formulas such that their conjunction is equivalent to the given one. Decomposition is called disjoint if the component formulas do not have variables in common. In the paper, we show that deciding AND-decomposability is intractable for boolean formulas given in CNF or DNF and prove… (More)

- Denis K. Ponomaryov, Mikhail Soutchanski
- AAAI
- 2013

In many tasks related to reasoning about consequences of a logical theory, it is desirable to decompose the theory into a number of components with weakly-related or independent signatures. This facilitates reasoning when the signature of a query formula belongs to only one of the components. However , an initial theory may be subject to change due to… (More)

- Denis K. Ponomaryov, Dmitry Vlasov
- Description Logics
- 2013

It is known that in Description Logics explicit concept defin-ability is directly related to concept interpolation. The problem to decide whether a concept is definable under a TBox wrt a signature usually reduces to entailment in the underlying logic. If an explicit definition exists , then it can be found as a concept interpolant for a concept inclusion… (More)