The least common subsumer (lcs) w.r.t general EL-TBoxes does not need to exists in general due to cyclic axioms. In this report we present an algorithm for computing role-depth bounded EL-lcs based on the completion algorithm for EL. We extend this computation algorithm to a recently introduced probabilistic variant of EL: Prob-EL.

An algorithm is constructed for recognizing the circulant graphs and finding a canonical labeling for them in polynomial time. This algorithm also yields a cycle base of an arbitrary solvable permutation group. The consistency of the algorithm is based on a new result on the structure of Schur rings over a finite cyclic group. §

The cyclic entropy of a real virtual friendship network provides an insight on the degree of its robustness. Cyclic entropy depends on counting the number of cycles of different sizes in the network, in which a probability distribution function is resulted. Counting the number of cycles in the network is an NP problem. In this work we used a polynomial time approximation algorithm to count the ...

in this paper, direct numerical simulation of two-phase incompressible gas-liquid flow for simulation of bubble motion in a microtube is presented. microtube radius is 10 µm. the interface is tracked using volume of fluid (vof) method with continuous surface force (csf) model. the flow is solved using a finite volume scheme, based on piso algorithm. numerical simulation is performed on a axisym...

In this paper, a new procedure for decoding cyclic and BCH codes up to their actual minimum distance is presented. Previous algebraic decoding procedures for cyclic and BCH codes such as the Peterson decoding procedure and our procedure using nonrecurrent syndrome dependence relations can be regarded as special cases of this new decoding procedure. With the aid of a computer prokram, it has bee...

Consider a closed cyclic queueing model that consists of two nodes and total M customers. Each node buffer can accommodate all id="M2"> Node 1 has id="M3"> N ≤ servers, each having an exponential service time with rate id="M4"> λ . The second single server general distribution function id="M5">...

Inheritance is the main theme of schema design for the object-oriented software and object-oriented database. This notion supports the class hierarchy design and captures the is-a relationship between a class and its subclass. It contributes to good properties of modularity, reusability and incremental design Cox86][Meyer88]. self-inheritance. Unfortunately, for a class hierarchy with cyclic in...

this paper presents the results of a series of monotonic and post-cyclic triaxial tests carried out on a clay specimen and three types of clay-sand mixed specimens. the focus of the paper is on the post-cyclic mechanical behavior of the mixed specimens, as compared to their monotonic behavior. analyses of the tests results show that cyclic loading degrade undrained shear strength and deformatio...