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...
%0 Generic
%1 gruninger96logic
%A Gruninger, M.
%A Fox, M.
%D 1996
%K research.bizInt.ea science.math.logic cites.goarch research.is
%T The logic of enterprise modelling
%U http://citeseer.ist.psu.edu/gruninger96logic.html
%X 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...
@misc{gruninger96logic,
abstract = {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...},
added-at = {2009-06-25T16:49:27.000+0200},
author = {Gruninger, M. and Fox, M.},
biburl = {https://www.bibsonomy.org/bibtex/29d9f2b1b93aef0e9f6f0a18cc58e14df/msn},
file = {gruninger96logic.pdf:papers\\gruninger96logic.pdf:PDF},
id = {607524},
interhash = {a6ca2780732f1b4ca15a18beb36daa44},
intrahash = {9d9f2b1b93aef0e9f6f0a18cc58e14df},
keywords = {research.bizInt.ea science.math.logic cites.goarch research.is},
priority = {2},
timestamp = {2009-06-25T16:49:27.000+0200},
title = {The logic of enterprise modelling},
url = {http://citeseer.ist.psu.edu/gruninger96logic.html},
year = 1996
}