To this end, we introduce description logic programs (or dl-programs), which consist of a description logic knowledge base L and a finite set P of description logic rules (or dl-rules).
At every opportunity, she introduces descriptions of bodily fluids, to which she knows he has an aversion.
The document repository can be managed and enriched by their curators, who may introduce descriptions and add new content descriptors.
Postareff et al. introduced the description 'consonance or dissonance in the description of teaching' [ 22].
Altogether, the introduced device description approach provides a formal, extensible, manufacturer-independent, and machine-readable specification format, as it is required for design automation.
In the pre-coated experiments, HA is pre-equilibrated with the Al-oxide sorbent for 4 days before Fe(II) is introduced (see description of coating procedure in the "Materials and methods" section).
We estimated thresholds Ta,1 and Ta,2 by minimizing a posteriori risk, in accordance with rule of decision-making introduced in 'Description of geomagnetic field variations on the basis of wavelets' subsection.
The two key parameters of the gas entry pressure Pentry and the gas induced-dilatancy pressure Pdilatancy are introduced for description of gas migration with respect to the capillary pressure and the mechanical stress effects, respectively.
In this way, the newly introduced geometric description automatically inherits any pre-existing CAD tools, and it can interact in a natural way with the other geometric representations supported by the CAD system.
With the previously introduced algebraic description of the search space, we can evaluate the complexity of each coordinate function as the ratio between its total degree and Φ (the upper bound for the monomial support).
