Аннотация
this paper we present a logical framework for the TOVE Enterprise Model. We first review ourprocess for engineering an ontology. We then describe our logical framework which is based onReiter's solution of the frame problem Reiter 91 and Pinto's formalization of occurrence and theincorporation of time within the situation calculus Pinto & Reiter 93. We then provide an ontotologyfor activity and extensions for resource spoilage. This is followed by example queries thatthe ontology...
Пользователи данного ресурса
Пожалуйста,
войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)