Sentence examples for number restriction from inspiring English sources

This language contains such additional features like negation, minimal number restriction, and unary external checkable predicates.

We consider some DL-features denoted by (I) (inverse), (O) (nominal), (F) (functionality), (N) (unqualified number restriction), (Q) (qualified number restriction), (U) (universal role), (mathsf {Self}) (local reflexivity of a role).

In addition, the LBE is valid for near incompressible flows with low-Mach number restriction Ma < 0.3, while the GKS is valid for fully compressible flows.

We allow additional features like negation, the minimal number restriction and unary external checkable predicates to occur at the left-hand side of concept inclusion axioms.

It allows all role constructors of (mathcal {ALC}_{reg}) (a variant of propositional dynamic logic) plus (I) (inverse) and (U) (universal role), and all concept constructors of (mathcal {ALC}_{reg}) plus (O) (nominal), (F) (functionality), (N) (unqualified number restriction), (Q) (qualified number restriction) and (mathsf {Self}) (local reflexivity of a role).

It is noted that the separation process cannot only resist the interference of noise and other signals, but also solve the problem of source number restriction in many traditional DOA estimators.

The constructors ({ge }h,R.C) and (number restrictions.

The concept constructors (ge n,R) and (le n,R) are called unqualified number restrictions.

The concept constructors (ge n,R.C) and (le n,R.C) are called qualified number restrictions.

The algorithm combines and simplifies the ideas developed for the treatment of qualified number restrictions and of general terminological axioms.

In comparison with [22], we allow also data roles and the concept constructors "functionality" and "unqualified number restrictions".