In this section we formalize the me

In this section we formalize the meaning of the modeling primitives of RDF
and RDF Schema. Thus we capture the semantics of RDF and RDFS.
The formal language we use is predicate logic, universally accepted as the
foundation of all (symbolic) knowledge representation. Formulas used in the
formalization are referred to as axioms.
By describing the semantics of RDF and RDFS in a formal language like
logic we make the semantics unambiguous and machine accessible. Also, we
provide a basis for reasoning support by automated reasoners manipulating
logical formulas.

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

ในส่วนนี้ เรา formalize ความหมายของการนำโมเดลของ RDFและ RDF Schema ดังนั้น เราสามารถจับความหมายของ RDF RDFSภาษาเป็นทางที่เราใช้เป็นตรรกะบท การยอมรับกันแพร่หลายเป็นรากฐานของตัวแทน (สัญลักษณ์) ความรู้ทั้งหมด สูตรที่ใช้ในการformalization อย่างเป็นสัจพจน์โดยอธิบายความหมายของ RDF RDFS เป็นภาษาทางการเช่นเราให้ความหมายชัดเจน และเครื่องสามารถเข้าถึง ยัง เราใช้เป็นข้อมูลพื้นฐานสำหรับการใช้เหตุผลสนับสนุนโดยอัตโนมัติ reasoners เปลี่ยนแปลงสูตรตรรกศาสตร์

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

ในส่วนนี้เราทำพิธีตามความหมายของพื้นฐานการสร้างแบบจำลองของ RDF
และ RDF Schema ดังนั้นเราจับความหมายของ RDF และ RDFS ได้.
ภาษาอย่างเป็นทางการเราใช้ตรรกะคำกริยาได้รับการยอมรับในระดับสากลว่าเป็นรากฐานของทั้งหมด (สัญลักษณ์) แทนความรู้ สูตรที่ใช้ในทางการจะเรียกว่าสัจพจน์. โดยอธิบายความหมายของ RDF และ RDFS ในภาษาที่เป็นทางการเช่นตรรกะเราจะทำให้ความหมายที่ชัดเจนและสามารถเข้าถึงเครื่อง นอกจากนี้เรายังเป็นเกณฑ์ในการให้เหตุผลสนับสนุนโดยอัตโนมัติ reasoners จัดการสูตรตรรกะ

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

ในส่วนนี้เราทำให้เป็นรูปเป็นร่างความหมายของแบบจำลองของ RDF และ primitives
ข้อมูลสคีมา ดังนั้น เรายึดความหมายของขยะ และ rdfs .
เป็นทางการภาษาเราใช้ตรรกะภาคแสดง ขอประกาศยอมรับเป็น
พื้นฐานทั้งหมด ( สัญลักษณ์ ) แทนความรู้ สูตรที่ใช้ใน
ความเป็นทางการจะเรียกว่าสัจพจน์ .
โดยการอธิบายและความหมายของข้อมูล rdfs ในภาษาที่เป็นทางการ เช่น
ตรรกะเราให้ความหมายชัดเจนและเครื่องที่สามารถเข้าถึงได้ นอกจากนี้เรา
ให้พื้นฐานสำหรับเหตุผลสนับสนุนโดยอัตโนมัติ reasoners จัดการ
สูตรเชิงตรรกะ