Sentence examples for qualified number from inspiring English sources
The concept constructors (ge n,R.C) and (le n,R.C) are called qualified number restrictions.
The constructors ({ge }h,R.C) and (qualified number restrictions.
We will consider DL-features denoted by I (inverse roles), (Q_k) (qualified number restrictions with numbers bounded by a constant k), and (mathsf {Self}) (local reflexivity of a role).
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).
We prove that any concept in any description logic that extends (mathcal {ALC}) with some features amongst I (inverse roles), (Q_k) (qualified number restrictions with numbers bounded by a constant k), and (mathsf {Self}) (local reflexivity of a role) can be learned correctly if the training information system (specified as a finite interpretation) is good enough.
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).
The musician, who has sold 10 million albums worldwide, spent only six months training for the Games and qualified as number 2,253 in the world.
Most of the women participants qualified the number of care providers present fairly (67.5%), and some qualified it too high (12.1%).
"Bodies come in different shapes and sizes, and the very idea that there is a concrete qualifying number, and if someone can match it they're considered healthy, is wrong," she says.
Respondents were asked about their job role, number of years since qualifying, number of years in current post, degree of expertise in the area of postnatal depression and the percentage of their patients who are women of child-bearing age.
The number of specimens is frequently qualified by the number in the lot that were examined and/or the number that were prepared differently (e.g. cleared and stained for bone and/or cartilage, radiographed, dry skeleton, muscles, alcohol-preserved).
