Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch
English
 

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel in Konferenzband
Autor: Stefan Wölfl, Till Mossakowski
Herausgeber: A. G. Cohn, D. M. Mark
Titel: CASL Specifications of Qualitative Calculi
Buch / Sammlungs-Titel: Conference on Spatial Information Theory
Band: 3693
Seite(n): 200 – 217
Serie / Reihe: Lecture Notes in Computer Science
Erscheinungsjahr: 2005
Verleger: Springer, Berlin
Abstract / Kurzbeschreibung: 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.
ISBN: 3-540-28964-X
Internet: http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,1,1;
PDF Version: http://www.informatik.uni-bremen.de/~till/papers/CASL-Cosit.pdf
Status: Reviewed
Letzte Aktualisierung: 31. 01. 2006

 Zurück zum Suchergebnis
 
   
Autor: Automatisch generierte Seite
 
  AG BKB 
Zuletzt geändert am: 23. Februar 2006   impressum