Presentation by Jan L G Dietz, Delft University of Technology, Chair of Information System Design, j.l.g.dietz@ewi.tudelft.nl
Abstract: A language is proposed for specification of the ontology of a world. Contrary to current ontology languages, it includes the transition space of a world, in addition to its state space. For the sake of a clear and deep understanding of the difference between state space and transition space, two kinds of facts are distinguished: stata (things that are just the case) and facta (things that are brought about). The application of the language is demonstrated using a library as the example case.
The paper is available from R. Meersman et al. (Eds.) OTM Workshops 2005, LNCS 3672, pp. 688-699, 2005. Springer Verlag Berlin Heidelberg 2005