Sentence examples for finite interpretation from inspiring English sources

Note that the standard model of (mathcal {KB}) is a finite interpretation.

An information system over (Sigma ) is defined to be a finite interpretation over (Sigma ).

Setting 3  Given a finite interpretation (mathcal {I}) and sets (E^+) and (E^-) of individuals, learn a concept C in L such that: 1. (mathcal {I}models C a)) for all (a in E^+), and   2.

We have proved 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 if the training information system (specified as a finite interpretation) is good enough.

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.

In this paper, we prove that any concept in any description logic that extends the basic DL (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 if the training information system (specified as a finite interpretation) is good enough.

In our framework, concepts are clausal theories and examples are finite interpretations.

Let (Sigma ) and (Sigma ^dag ) be DL-signatures such that (Sigma ^dag subseteq Sigma ), let (Phi ) and (Phi ^dag ) be sets of DL-features such that (Phi ^dag subseteq Phi ), and let (mathcal {I}) and (mathcal {I}') be finite interpretations in (mathcal {L}_{Sigma,Phi }).

The finite element interpretation is discussed of two load tests carried out on instrumented vibro-piles in a granular deposit.

An ABox is a finite Herbrand interpretation.

There exists a finite universal interpretation with respect to (mathcal {L}_{Sigma,Phi,d,}), which can effectively be constructed.