"Making use of a modi ed Hadamard product or convolution harmonic functions with varying arguments, combined an integral operator, we study when these belong to given class. Following idea U. Bednarz and J. Sokol de ne the order consistence three classes determine it for certain arguments ned using operator."

The lack of consistence and convergence is often considered as a major drawback of smoothed particle hydrodynamics (SPH). Here, we analysis two errors introduced by typical conservative SPH approximations of the gradient of a scalar field: one (smoothing error) is due to smoothing of the gradient by an integration associated with a kernel function; the other (integration error) is due to approx...

Ontology formal model and ontology checking recently are still under hot discussion. In this paper, an ontology concept model is constructed using Description Logics. Based on model, the issue on Consistency checking of the extended ontology model is studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivale...