August 20th, 2010

Sharge
  • vvagr

Инженерно-онтологический вопрос

Так как мы не завели отдельного места для такого, запощу сюда.

Допустим, по спецификациям (или стандартам) у нас есть два класса насосов:

Pump Class A - развивает давление от 0 до 20 бар

Pump Class B - развивает давление от 0 до 10 бар

Вопрос 1, инженерный. Является ли Pump Class B подклассом Pump Class A? Вроде как по заводским спецификациям или каталогам - не является, хотя с точки зрения взаимозаменяемости - можно считать подклассом.

Вопрос 2, онтологический. Допустим, эти два класса отмоделированы по отдельности. То есть для обоих построены OIM на языке части 2, отражающие такие вот интервалы параметра. Можно ли логически вывести факт взаимозаменяемости, что для этого надо сделать? Написать программу на логическом языке? Какой степени общности можно написать такую программу - чтобы обрабатывала интервалы, отдельные значения, пересекала интервалы по нескольким параметрам?