Предполагается, что вычислительная онтология разрешима и разрешима, чем еще она отличается от философской онтологии?
Существует ли рецензируемое объяснение сходств и различий между вычислительными и философскими онтологиями?
Существуют ли примеры онтологий, которые неразрешимы и неразрешимы?
Что такое вычислительная онтология?
Онтология идентифицирует объекты и их отношения, которые имеют отношение к определенной области исследования. Типичным примером являются онтологии в области медицины.
Философские онтологии стремятся охватить наиболее общие типы сущностей, актуальные для всех научных областей. Изучение таких онтологий было начато Аристотелем, введшим десять категорий (= типов сущностей).
Если я рассматриваю «вычислительную онтологию» как имеющую дело с онтологиями в области компьютерных наук, это будет обозначать методы создания онтологий для моделирования.
Уже несколько десятилетий прототип такого рода вычислительной онтологии называется « моделирование сущности-отношения (ERM)». Он касается таких понятий, как тип объекта, экземпляр типа объекта, возможные атрибуты типа объекта, жизненный цикл типов объектов, отношения между типами объектов, кардинальность таких отношений и т. д.
Последователем ERM является class-modeling , который обогащает ERM операциями, используемыми для обработки данного объекта. Формализацией моделирования классов является диаграмма классов унифицированного языка моделирования (UML).
Для общей ссылки на онтологию см. http://ontology.buffalo.edu/
Томас Климпель