2006 | OriginalPaper | Chapter
A World Ontology Specification Language
Publisher: Springer Berlin Heidelberg
In this chapter we present and explain a language for the specification of world ontologies, in conformity with the definition provided in Chap. 4. The scope of this language, which is called WOSL (World Ontology Specification Language), is limited to the theory and methodology presented in this book. So, although, in principle, the language may have a broader scope of application, we will use it only for the specification of the state model (see Chap. 19). Therefore, it contains only those constructs that we need for that purpose. These conditions justify the development of our own language, instead of using an existing one, like DOGMA [45, 58] and GOL [13].
