я і неформальній частині визначення (коментаря). З літератури відомо наступне властивість:
зв'язність (internal coherence): для понять, визначених неформально, таких як описані природною мовою в документації та прикладах. Якщо пропозиція, яка може виводитися з аксіом, обмежує (contradicts) визначення або приклад, даний неформально, то онтологія незв'язна. p align="justify"> Оцінювання такої властивості особливо актуально для "наукових" онтологій, написаних на досить важкому для сприйняття мовою, такому як мова прикладної логіки і оцінюваних тому експертом, як правило, за коментарями. Для таких онтологій важливо встановити і вміти оцінювати внутрішні властивості моделі онтології, що "поза компетенцією" експерта.
Прикладами назв інших властивостей з є: гомогенність (homogeneity), явность (expliciteness), простота правил (rule simplisity), однозначність (ontological ambiguity), розмір (size), модульність (modularity) документованість формальних визначень , синтаксична коректність (Correctness), мінімальні онтологічні зобов'язання (minimal ontological commitment), однаковість правил (rule uniformity).
Внутрішні властивості моделей онтологій. Таким чином, доступні літературні джерела дають деякий "орієнтир" в питаннях оцінювання властивостей та якості онтологій. Однак, "література" не дає "керівництва" для оцінювання важливих для "наукових" онтологій властивостей. Наводяться несуворі визначення бажаних властивостей онтологій (і концептуальних моделей), і зустрічаються докладні описи конкретних випадків порушення бажаних властивостей у конкретних моделях онтологій. Ці "випадки порушення" також строго не визначені, а представлені на конкретних прикладах (а приклади - на конкретній мові). Часто методи оцінювання властивостей онтологій залежать від мови подання (хоча самі властивості не залежать від мови) і описані в літературі нестрого. p align="justify"> Класифікація властивостей за принципом зовнішнє-внутрішнє досить скрутна. Можливо, більш корисним було б розрізняти властивості онтологій і властивості моделей онтологій, і відстежувати, як існуючі властивості онтології "переростають" у властивості моделі онтології в процесі її проектування. Корисним видається виділення з усього безлічі властивостей тих, які можуть бути оцінені об'єктивно, особливо для "наукових" онтологій, написаних на досить важкому для сприйняття формальній мові. А "об'єктивні" властивості корисно класифікувати за їх "типовості - специфічності".
Тому важливо встановити ті внутрішні властивості, які придатні для оцінювання на практиці в процесі створення онтологій, та оцінювання яких є об'єктивним (і може бути автоматизоване). Об'єктивне оцінювання узгодженості понять [моделі] онтології і зв'язків між ними на етапі розробки та модифікування онтології дало б можливість своєчасно вия...
