нэвтрэх
Энэхүү нийтлэл нь онтологийн тухай ойлголтыг наад зах нь анхан шатны түвшинд мэддэг хүмүүст зориулагдсан болно. Хэрэв та онтологийн талаар сайн мэдэхгүй бол онтологийн зорилго, ялангуяа энэ нийтлэл танд тодорхойгүй байх магадлалтай. Энэ өгүүллийг уншиж эхлэхээсээ өмнө энэ үзэгдэлтэй танилцахыг би танд зөвлөж байна (магадгүй Википедиагийн нийтлэл хангалттай байх болно).
Ийм байна Онтологи - энэ нь авч үзэж буй тодорхой сэдвийн талаархи дэлгэрэнгүй тайлбар юм. Ийм тайлбарыг тодорхой томъёолсон хэлээр өгөх ёстой. Онтологийг тайлбарлахын тулд та арсеналдаа 5 хэлтэй IDEF2 аргачлалыг ашиглаж болно.
- IDEF5 схемийн хэл. Энэ хэл нь харааны шинж чанартай бөгөөд график элементүүдийг ашигладаг.
- IDEF5 текст хэл. Энэ хэл нь бүтэцлэгдсэн текст хэлбэрээр илэрхийлэгддэг.
Энэ нийтлэлд эхний сонголт болох схемийн хэлийг авч үзэх болно. Бид дараагийн нийтлэлүүдэд текстийн талаар ярих болно.
Обьектууд
Өмнө дурьдсанчлан бүдүүвч хэлээр график элементүүдийг ашигладаг. Эхлээд бид энэ хэлний үндсэн элементүүдийг авч үзэх хэрэгтэй.
Ихэнхдээ онтологи нь ерөнхий объектууд болон тодорхой объектуудыг хоёуланг нь ашигладаг. Ерөнхий нэгж гэж нэрлэдэг зүйл. Тэдгээрийг дотор нь шошго (объектийн нэр) бүхий тойрог хэлбэрээр дүрсэлсэн болно.
Зүйлүүд нь тухайн зүйлийн бие даасан сорьцуудын цуглуулга юм. Өөрөөр хэлбэл, "Машин" гэх мэт үзэл бодол нь бүхэл бүтэн автомашины цуглуулгыг илэрхийлж болно.
Шиг хуулбар Энэ төрөл нь тодорхой машин, тодорхой төрлийн тоног төхөөрөмж, эсвэл тодорхой брэнд байж болно. Энэ бүхэн контекст, сэдвийн талбар, түүний нарийвчилсан түвшингээс хамаарна. Жишээлбэл, автомашины засварын газрын хувьд бие махбодийн хувьд тодорхой машинууд чухал байх болно. Автомашины дилерийн борлуулалтын талаархи зарим статистик мэдээллийг хадгалахын тулд тодорхой загвар гэх мэт зүйлс чухал байх болно.
Зүйлийн бие даасан тохиолдлуудыг тухайн зүйлтэй ижил төстэй байдлаар тэмдэглэсэн бөгөөд зөвхөн тойргийн доод хэсэгт цэгээр тэмдэглэгдсэн байдаг.
Мөн объектын хэлэлцүүлгийн хүрээнд ийм объектуудыг дурдах нь зүйтэй үйл явц.
Хэрэв харагдац болон тохиолдлууд нь статик объект гэж нэрлэгддэг (цаг хугацааны явцад өөрчлөгддөггүй) бол процессууд нь динамик объектууд юм. Энэ нь эдгээр объектууд тодорхой хатуу тогтоосон хугацаанд оршин байдаг гэсэн үг юм.
Жишээлбэл, бид машин үйлдвэрлэх үйл явц гэх мэт объектыг ялгаж салгаж болно (учир нь бид тэдний тухай ярьж байна). Энэ объект нь зөвхөн энэ машиныг бодитоор үйлдвэрлэх явцад (хатуу тодорхойлогдсон хугацаа) байдаг нь ойлгомжтой. Энэ тодорхойлолт нь нөхцөлт гэдгийг санах нь зүйтэй, учир нь машин гэх мэт объектууд нь өөрийн гэсэн ашиглалтын хугацаа, хадгалах хугацаа, оршин тогтнох гэх мэт зүйлтэй байдаг. Гэсэн хэдий ч философи руу орохоо больё, ихэнх сэдвийн хүрээнд бид тохиолдлууд, тэр ч байтугай төрөл зүйл үүрд оршдог гэдгийг хүлээн зөвшөөрч чадна.
Процессуудыг процессын шошго (нэр) бүхий тэгш өнцөгт хэлбэрээр дүрсэлсэн болно.
Процессуудыг нэг объектыг нөгөө рүү шилжүүлэх схемд ашигладаг. Үүнийг доор дэлгэрэнгүй авч үзэх болно.
Процессоос гадна ийм схемийг ашигладаг логик операторууд. Предикат, Булийн алгебр эсвэл програмчлалын талаар мэддэг хүмүүст энд бүх зүйл маш энгийн байдаг. IDEF5 нь гурван үндсэн логик оператор ашигладаг:
- логик БА (БА);
- логик OR (OR);
- онцгой OR (XOR).
IDEF5 стандарт (http://idef.ru/documents/Idef5.pdf - энэ эх сурвалжаас авсан мэдээллийн ихэнх нь) логик операторуудын дүрсийг жижиг тойрог хэлбэрээр (харагдах байдал, тохиолдлуудтай харьцуулахад) дүрс дээр тэмдэглэсэн шошготойгоор тодорхойлдог. тэмдгийн хэлбэр. Гэсэн хэдий ч бидний хөгжүүлж буй IDEF5 график орчинд бид олон шалтгааны улмаас энэ дүрмээс холдсон. Тэдний нэг нь эдгээр операторуудыг тодорхойлоход хэцүү байдаг. Тиймээс бид таних дугаар бүхий операторуудын бичвэрийн тэмдэглэгээг ашигладаг.
Магадгүй бид энд байгаа объектуудыг дуусгах болно.
Харилцаа холбоо
Объектуудын хооронд харилцаа холбоо байдаг бөгөөд энэ нь онтологи нь объект хоорондын харилцан үйлчлэлийг тодорхойлж, шинэ дүгнэлт гаргах дүрмийг хэлдэг.
Ихэвчлэн харилцаа холбоог онтологид ашигласан схемийн төрлөөр тодорхойлдог. Энэ схем нь онтологийн объект, тэдгээрийн хоорондын харилцааны багц юм. Дараах үндсэн схемүүд байдаг.
- Зохиолын схемүүд.
- Ангиллын схемүүд.
- Шилжилтийн диаграммууд.
- Функциональ диаграммууд.
- Хосолсон схемүүд.
Мөн заримдаа ийм төрлийн схем байдаг оршин тогтнох. Экзистенциал схем нь харилцаа холбоогүй объектуудын цуглуулга юм. Ийм диаграммууд нь тодорхой субьектийн хэсэгт тодорхой багц объект байгааг харуулж байна.
За, одоо дарааллаар нь схемийн төрөл бүрийн талаар.
Зохиолын схемүүд
Энэ төрлийн диаграммыг объект, систем, бүтэц гэх мэт бүрэлдэхүүнийг дүрслэхэд ашигладаг. Ердийн жишээ бол машины эд анги юм. Хамгийн томруулсан хэлбэрээрээ машин нь их бие, дамжуулалтаас бүрддэг. Хариуд нь бие нь хүрээ, хаалга болон бусад хэсгүүдэд хуваагддаг. Энэ задралыг цаашид үргэлжлүүлж болно - энэ бүхэн энэ тодорхой даалгаварт шаардлагатай нарийвчлалын түвшингээс хамаарна. Ийм схемийн жишээ:
Зохиолын харилцааг төгсгөлд нь сумны үзүүртэй сум хэлбэрээр харуулдаг (жишээлбэл, сумны үзүүр нь сумны эхэнд байгаа ангилалын хамаарлаас ялгаатай, доор дэлгэрэнгүй). Ийм харилцааг зураг (хэсэг) дээр үзүүлсэн шиг шошготойгоор тэмдэглэж болно.
Ангиллын схемүүд
Ангиллын схемүүд нь зүйлийн тодорхойлолт, тэдгээрийн дэд зүйл, зүйлийн жишээг илэрхийлэх зорилготой. Жишээлбэл, машин нь машин, ачааны машин байж болно. Өөрөөр хэлбэл, "Машин" үзэл нь хоёр дэд төрөлтэй. VAZ-2110 нь "Суудлын автомашин" дэд төрлийн тодорхой жишээ бөгөөд GAZ-3307 нь "Ачааны машин" дэд төрөл юм.
Ангиллын схем дэх харилцаа (дэд зүйл эсвэл тодорхой жишээ) нь эхэнд үзүүртэй сум хэлбэртэй бөгөөд найрлагын схемийн нэгэн адил харилцааны нэр бүхий шошготой байж болно.
Шилжилтийн схемүүд
Энэ төрлийн схемүүд нь тодорхой үйл явцын нөлөөн дор объектуудын нэг төлөвөөс нөгөөд шилжих үйл явцыг харуулахад шаардлагатай байдаг. Жишээлбэл, улаан будгаар будсаны дараа хар машин улаан өнгөтэй болно.
Шилжилтийн харилцааг төгсгөлд нь толгой, голд нь тойрог бүхий сумаар заана. Диаграмаас харахад процессууд нь объект биш харин харилцааг илэрхийлдэг.
Зурагт үзүүлсэн ердийн шилжилтээс гадна хатуу шилжилт байдаг. Энэ нь тухайн нөхцөл байдалд шилжих нь тодорхойгүй тохиолдолд хэрэглэгддэг боловч үүнийг онцлон тэмдэглэх нь бидний хувьд чухал юм. Жишээлбэл, автомашины угсралтын үйл явцыг дэлхийн хэмжээнд авч үзвэл автомашинд арын толин тусгал суурилуулах нь тийм ч чухал ажил биш юм. Гэсэн хэдий ч зарим тохиолдолд энэ үйлдлийг салгах шаардлагатай:
Хатуу шилжилт нь ердийн шилжилттэй адил тэмдэглэгдсэн байдаг бөгөөд төгсгөлд нь давхар феррул байдаг.
Ердийн болон хатуу шилжилтийг мөн агшин зуурын гэж тэмдэглэж болно. Үүнийг хийхийн тулд төв тойрог дээр гурвалжин нэмнэ. Шуурхай шилжилтийг шилжилтийн хугацаа маш богино байх тул авч үзэж буй сэдвийн хүрээнд огт ач холбогдолгүй (хамгийн бага хугацаанаас бага) тохиолдолд ашигладаг.
Жишээлбэл, машинд өчүүхэн ч гэсэн гэмтэл гарсан бол түүнийг эвдэрсэн гэж үзэж үнэ нь огцом буурдаг. Гэсэн хэдий ч ихэнх гэмтэл нь хөгшрөлт, элэгдлээс ялгаатай нь тэр даруй тохиолддог.
Жишээ нь хатуу шилжилтийг харуулсан боловч та ердийн шилжилтийг шуурхай болгон ашиглаж болно.
Функциональ диаграммууд
Ийм диаграммыг объектуудын харилцан үйлчлэлийн бүтцийг зааж өгөхөд ашигладаг. Жишээлбэл, авто засварчин нь тээврийн хэрэгслийн засвар үйлчилгээ хийдэг бөгөөд автомашины үйлчилгээний менежер засварын хүсэлтийг хүлээн авч, автомашины засварчинд шилжүүлдэг.
Функциональ харилцааг оройгүй шулуун шугамаар дүрсэлсэн ч заримдаа харилцааны нэр болох шошготой байдаг.
Хосолсон схемүүд
Хосолсон схемүүд нь өмнө нь хэлэлцсэн схемүүдийн хослол юм. Зөвхөн нэг төрлийн схемийг ашигладаг онтологи нь ховор байдаг тул IDEF5 аргачлалын ихэнх схемүүд хосолсон байдаг.
Бүх загварууд нь ихэвчлэн логик операторуудыг ашигладаг. Тэдгээрийг ашигласнаар гурав, дөрөв ба түүнээс дээш объектын хоорондын харилцааг хэрэгжүүлэх боломжтой. Логик оператор нь процесс явагдаж байгаа эсвэл бусад харилцаанд оролцож буй зарим ерөнхий объектыг илэрхийлж болно. Жишээлбэл, та өмнөх жишээнүүдийг дараах байдлаар нэгтгэж болно.
Тодорхой тохиолдолд хосолсон схемд найрлага схем (толин тусгал + тольгүй машин = толин тусгалтай машин) болон шилжилтийн схемийг (улаан будгийн үйл явцын нөлөөн дор толин тусгалтай машин улаан машин болдог) ашигладаг. Түүнээс гадна толин тусгалтай машиныг тодорхой илэрхийлээгүй - оронд нь AND логик операторыг зааж өгсөн болно.
дүгнэлт
Энэ нийтлэлд би IDEF5 аргачлалын үндсэн объект, харилцаа холбоог тайлбарлахыг оролдсон. Би автомашины домэйныг жишээ болгон ашигласан, учир нь тэдний жишээг ашиглан диаграмм бүтээх нь илүү хялбар болсон. Гэсэн хэдий ч IDEF5 схемийг бусад мэдлэгийн салбарт ашиглаж болно.
Онтологи ба домэйн мэдлэгийн шинжилгээ нь нэлээд өргөн хүрээтэй бөгөөд цаг хугацаа шаардсан сэдэв юм. Гэсэн хэдий ч IDEF5-ийн хүрээнд бүх зүйл тийм ч хэцүү биш болж хувирав, наад зах нь энэ сэдвийн үндсийг маш энгийнээр сурсан. Миний нийтлэлийн зорилго бол график хэл гэх мэт энгийн IDEF5 хэрэгслээр дамжуулан мэдлэгийн шинжилгээний асуудалд шинэ үзэгчдийг татах явдал юм.
График хэлний асуудал бол түүний тусламжтайгаар онтологийн зарим харилцааг (аксиом) тодорхой томъёолох боломжгүй юм. Үүний тулд IDEF5 текст хэл байдаг. Гэсэн хэдий ч эхний шатанд график хэл нь онтологийн анхны шаардлагуудыг боловсруулах, IDEF5 текст хэл эсвэл бусад хэрэглүүр дээр илүү нарийвчилсан онтологи боловсруулах векторыг тодорхойлоход маш их хэрэгтэй байж болно.
Энэ нийтлэл нь энэ чиглэлээр эхлэгчдэд, магадгүй онтологийн шинжилгээний асуудлыг удаан хугацаанд шийдэж байсан хүмүүст хэрэг болно гэж найдаж байна. Энэ нийтлэл дэх бүх үндсэн материалыг миний өмнө дурдсан IDEF5 стандартаас орчуулж, тайлбарласан болно (). Мөн NOU INTUIT-ийн зохиолчдын гайхалтай номноос санаа авсан.).
Эх сурвалж: www.habr.com