[BibTeX] [RIS]
CASL Specifications of Qualitative Calculi
Type of publication: Inproceedings
Citation: WoelflMossakowski05
Booktitle: Conference on Spatial Information Theory
Series: Lecture Notes in Computer Science
Volume: 3693
Year: 2005
Pages: 200-217
Publisher: Springer; Berlin
ISBN: 3-540-28964-X
URL: http://www.springerlink.com/(b...
Abstract: In AI a large number of calculi for efficient reasoning about spatial and temporal entities have been developed. The most prominent temporal calculi are the point algebra of linear time and Allen's interval calculus. Examples of spatial calculi include mereotopological calculi, Frank's cardinal direction calculus, Freksa's double cross calculus, Egenhofer and Franzosa's intersection calculi, and Randell, Cui, and Cohn's region connection calculi. These calculi are designed for modeling specific aspects of space or time, respectively, to the effect that the class of intended models may vary widely with the calculus at hand. But from a formal point of view these calculi are often closely related to each other. For example, the spatial region connection calculus RCC5 may be considered a coarsening of Allen's (temporal) interval calculus. And vice versa, intervals can be used to represent spatial objects that feature an internal direction. The central question of this paper is how these calculi as well as their mutual dependencies can be axiomatized by algebraic specifications. This question will be investigated within the framework of the Common Algebraic Specification Language (CASL), a specification language developed by the Common Framework Initiative for algebraic specification and development (CoFI). We explain scope and expressiveness of CASL by discussing the specifications of some of the calculi mentioned before.
Userfields: bdsk-url-1={http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,1,1;}, pdfurl={http://www.informatik.uni-bremen.de/~till/papers/CASL-Cosit.pdf}, project={I4-SPIN}, status={Reviewed},
Keywords:
Authors Wölfl, Stefan
Mossakowski, Till
Editors Cohn, A. G.
Mark, D. M.
Attachments
  • http://www.springerlink.com/(b...
  • http://www.informatik.uni-brem...
Notes
    Topics