ResultsThe ontology of VCM iconsThe

Results
The ontology of VCM icons
The ontology of VCM icons includes 609 classes, 41 relations and 3,934 axioms. It is represented with the OWL-DL language and belongs to the ALCRIQ Description Logics family. It has been shown that this DL family is decidable [33].

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

ผลลัพธ์ภววิทยาไอ VCMภววิทยาไอ VCM มีเรียน 609 สัมพันธ์ 41 และสัจพจน์ 3,934 มันมีภาษา OWL DL และสมาชิกครอบครัว Logics อธิบาย ALCRIQ มันได้ถูกแสดงว่าครอบครัวนี้ DL decidable [33]

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

ผลลัพธ์ภววิทยาของ VCM ไอคอนภววิทยาของไอคอนVCM รวมถึง 609 ชั้น 41 ความสัมพันธ์และหลักการ 3934 มันเป็นตัวแทนกับภาษา OWL DL-และเป็นคำอธิบาย ALCRIQ ครอบครัว Logics มันแสดงให้เห็นว่าครอบครัว DL นี้ decidable [33]

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

อภิปรัชญาของไอคอนเห็นผล

อภิปรัชญาของไอคอน VCM รวมถึง 609 ชั้น 41 ความสัมพันธ์และประเทศญี่ปุ่นสัจพจน์ . มันจะแสดงกับ owl-dl ภาษาและเป็นของ alcriq ตรรกะรายละเอียดครอบครัว มันได้ถูกแสดงว่ามัน DL ครอบครัว decidable [ 33 ]