j R 2 le(x; y)g for every role name

j R 2 le(x; y)g for every role name R a IG i = xi for every object name ai Figure 4.1 shows a tableau for the concept from Example 4.1.3. 4.2 Tableau for P LT L In this section we describe Wolper's (=-=Wolper, 1985-=-) tableau algorithm for PLT L satisfiability. Informally speaking, it attempts to construct a model for the input formula ' by generating a finite sequence of states (corresponding to time points) whi

ผลลัพธ์ (ไทย) 1:

ชื่อ R j R 2 g เลอ (x, y) สำหรับทุกบทบาทใน IG ฉัน = xi สำหรับทุกวัตถุชื่อ ai รูป 4.1 แสดงฉากสำหรับแนวคิดจากตัวอย่าง 4.1.3 4.2 ฉากสำหรับ P LT L ในส่วนนี้เราอธิบาย Wolper ของ (=-รหัส Wolper, 1985 รหัส) ฉากอัลกอริทึมสำหรับ PLT L satisfiability พูดอย่าง ก็พยายามที่จะสร้างแบบจำลองสำหรับสูตรอินพุต ' โดยการสร้างลำดับของอเมริกา (ตรงกับจุดเวลา) เพื่อจำกัด

ผลลัพธ์ (ไทย) 2:

J R 2 le (x; y) G สำหรับทุกบทบาทชื่ออา IG i = Xi สำหรับชื่อวัตถุออกฤทธิ์ทุกรูปที่ 4.1 แสดงให้เห็นฉากสำหรับแนวคิดจากตัวอย่างที่ 4.1.3 4.2 Tableau สำหรับ P น้อยกว่า L ในส่วนนี้เราจะอธิบาย Wolper ของ (= - = Wolper 1985 - = -) อัลกอริทึมสำหรับฉาก PLT L satisfiability ทางการพูดก็พยายามที่จะสร้างแบบจำลองสำหรับสูตรการป้อนข้อมูล 'โดยการสร้างลำดับ จำกัด ของสหรัฐอเมริกา (ตรงกับจุดเวลา) WHI

ผลลัพธ์ (ไทย) 3:

J R 2 เลอ ( X ; Y ) g สำหรับทุกชื่อ R IG = Xi สำหรับวัตถุทุกชื่อ ไอรูปที่ 4.1 แสดงฉากสำหรับแนวคิดจากตัวอย่าง 4.1.3 . 4.2 ฉากสำหรับ p น้อยกว่าผม ในส่วนนี้เราจะอธิบายโวลเปอร์ ( = - = - = - โวลเปอร์ , 1985 ) ฉากขั้นตอนวิธี PLT L ความสอดคล้อง . ทางการพูด มันพยายามที่จะสร้างรูปแบบการป้อนข้อมูลสูตร ' โดยการสร้างลำดับจำกัดของรัฐ ( ตรงกับเวลาจุด ) WHI