Automatic knowledge base enrichment methods rely critically on candidate axiom scoring. The most popular scoring heuristics proposed in the literature are based on statistical inference. We argue that such a probability-based framework is not always completely satisfactory and propose a novel, alternative scoring heuristics expressed in terms of possibility theory, whereby a candidate axiom rec...

Virtually all previously known axiom sets for the classical equivalential calculus, EQ, are D-incomplete: not all theorems derivable by substitution and detachment can be derived using the rule D of condensed detachment alone. The only exception known to the author is Wajsberg’s base {EEpEqrErEqp, EEEpppp}. This axiom set, albeit inorganic since one of its members contains a theorem of EQ as a ...

In this paper, a new class of generalized separation axioms (briefly, g-Tg-separation axioms) whose elements are called g-Tg,K, g-Tg,F, g-Tg,H, g-Tg,R, g-Tg,N-axioms is defined in terms sets g-Tg-sets) topological spaces Tg-spaces) and the properties characterizations Tg-space endowed with each such discussed. The study shows that g-Tg,F-axiom implies g-Tg,K-axiom, g-Tg,H-axiom g-Tg,F-axiom, g-...

Absorptions are generally employed in Description Logics (DL) reasoners in a uniform way regardless of the structure of an input knowledge base. In this paper we present an approach to encode some state-of-the-art absorption techniques into a state space planner, aiming to achieve a better solution. The planner applies appropriate operators to general axioms and produces a solution with a minim...

A matroid has been one of the most important combinatorial structures since it was introduced by Whitney as an abstraction linear independence. As property a matroid, can be characterized several different (but equivalent) axioms, such augmentation, base exchange, or rank axiom. supermatroid is generalization defined on lattices. Here, central question whether equivalent axioms similar to matro...

The definition of Milnor-Witt cycle modules in [5] can easily be adapted over general regular base schemes. However, there are simple examples (see (2.9)) to show that Gersten complex fails exact for if the is not a field. goal this article that, restricted class an excellent DVR satisfying extra axiom, called here as R5, expected properties exactness and A1-invariance hold. Moreover R5 vacuous...

the knowledge of bygone times of a nation and the discovery of the way through which their thought and culture and civilization developed throughout ages, are of great important for the next generations of that nation and their success in future ways of development. unquestionably, the literary works contain the greatest part of the cultural and mental products and legacy of a nation and deserv...

we introduce some new concepts of topological spaces which say α − separable topologicalspace and o-topological group, α − first axiom, α − second axiom, and we find some relations betweenthem with some applications in normed spaces.