The KL-ONE concept langu age provides role-value ma.ps (RVMs) as a concept forming operator that compares sets of role fillers. This is a useful means to specify structural properties of concepts. Recently, it has been shown that concept languages providing RVMs together with some other common concept-forming operators induce an undecidable subsumption problem. Thus, RVMs have been restricted t...

Abstract: The solution to problem of an orthotropic long cylinder subjected to torsional loading is first obtained by means of separation valuables. The cylinder is twisted by two lateral shear tractions and the ends of the cylinder surface of the cylinder are stress-free. First, the domain under consideration is weakened by an axisymmetric rotational Somigliana ring dislocation. The dislocatio...

In this paper, experimentally derived correlations of heat transfer and pressure drop are used in a Pareto based Multi-Objective Optimization (MOO) approach to find the best possible combinations of heat transfer and pressure drop of TiO2-water nanofluid flow in tubes fitted with multiple twisted tape inserts in different arrangement. In this study there are four independent design variables: t...

We extend the description logic EL with reflexive roles and range restrictions, and show that subsumption remains tractable if a certain syntactic restriction is adopted. We also show that subsumption becomes PSpace-hard (resp. undecidable) if this restriction is weakened (resp. dropped). Additionally, we prove that tractability is lost when symmetric roles are added: in this case, subsumption ...

The inclusion-exclusion principle is a well-known mathematical principle used to count the number of elements in the union of a collection of sets in terms of intersections of sub-collections. We present an algorithm for counting the number of solutions of a given k-SAT formula using the inclusion-exclusion principle. The key contribution of our work consists of a novel subsumption pruning tech...

seed deterioration is loss of seed quality, viability and vigor due to effect of adverse environmental factors. many of our crops are reproduced through seeds, and throughout the world large quantities are produced, stored and transported. seed ageing during storage may cause retardation of field establishment, and may eventually result in seedling abnormalities or even failure of emergence. du...

[no abstract available]