ФОРМАЛЬНАЯ ОНТОЛОГИЯ
ОТ БАРРИ СМИТА В ПЕРЕВОДЕ АЛЕКСЕЯ ШУХОВА (alisarin@lj)



1. Принцип вразумительности: поддерживающая возможность всеобщего использования онтология должна быть понятна тем знатокам онтологических разработок, кто готов положить разумные усилия на освоение её документации.

2. Принцип открытости: онтология должна быть открыта и доступна для использования всякому потенциальному пользователю без каких-либо ограничений, помимо того, что (1) основываться на подтверждённом источнике и (2) не претерпевать изменений и последующих введений под другим именем. В дополнение онтология требует (3) объяснения способами, обеспечивающими её содержанию понятность в смысле человеческого бытия и (4) реализовываться способами, обеспечивающими её содержанию компьютерную доступность.

3. Принцип простого инструментария: онтология представляет собой некий артефакт, созданный с целью поддержки информационного обмена, например, через границы предметных дисциплин; она не место для испытания тех новейших элементов математики, о чем вы узнали за последнюю неделю.

4. Принцип повторного использования доступных ресурсов: если некоторая онтология систематическим образом работает с сущностями и операторами уже весьма успешно работающими с некоторыми прошедшими отождествление ресурсами ещё и используемыми разработчиками другой онтологии, то ей следует воспользоваться подобными ресурсами.

5. Принцип терминологической сдержанности: стараться насколько возможно приблизиться к уже используемым вашей целевой аудиторией понятиям и уже принятым там значениям. Используйте лишь понятия, для которых либо (1) существует обоснованная надежда, что они необходимы целевым пользователям онтологии или (2) подобные понятия необходимы для закрытия прорех в данной онтологии ради создания замкнутой иерархии.

6. Принцип внятных определений: пользуйтесь определениями, которые как (1) человечески доступны (исключают ошибки при использовании и сопровождении людьми) и (2) формально специфицируются (по мере возможности посредством поддержки тем или иным стандартным типом программного обеспечения).

7. Принципа терминологической связности: для всякого используемого в некоторой онтологии выражения "E" оно будет означать только E.



8. Принципу конструирования композиционного понятия: если некая онтология систематически использует понятия вида "a † b" (где "†" обозначает некий понятийно-связывающий оператор наподобие "относящийся к" или "вместе с"), то ей следует включать и соответствующие понятия a и b (или ей следует их связывать с операциями некоей другой стандартной онтологии).

9. Принцип типов и экземпляров: от онтологии требуется совершенно чёткое указание, способно ли данное выражение соотносится с типами (универсалиями, видами, общностями) или экземплярами (отдельностями, отличительностями, индивидуальностями).

10. Принципе исключения логического круга: добротной онтологии следует выделять различие между определяемыми и примитивными понятиями; ей следует не допускать определения, ссылающиеся сами на себя: и, в особенности, ей следует исключать HL7-подобные бессмысленные определения вида: "некое a представляет собой b, относящееся к некоему a", или " некое a представляет собой некое a, которое является b".

11. Принципа конкретных существительных: присущие некоторой онтологии понятия должны формулироваться как конкретные, и в сопровождающей онтологию документации следует уделить внимание различию между конкретными и многозначными существительными и требованиям согласованности существительных и глаголов.

12. Принцип согласованности использования родовых понятийно-выстроенных операторов: если в некоторой онтологии систематически используются понятия вида "a † b" (где "†", напомним, обозначает некий понятийно-связывающий оператор наподобие "относящийся к" или "вместе с"), то ей следует ясно определить синтаксис "†", позволяющий зафиксировать значение выражения вида "a † b" в понятиях значений "a" и "b", что могло бы унифицировать использование подобных выражений.

13. Принцип устранения субъективности определения: при создании определений исключить использование вносящих субъективную интерпретацию фраз типа "что способно ...", "что индицирует ...", "... характеризующий ...", "некий аспект ...".

14. Принцип безизбыточных определений: в определения не следует включать пункты, не играющие никакой роли при их использовании.

http://nounivers.narod.ru/gmf/idio.htm