2 Hits in 1.2 sec

Terminological Default Reasoning about Spatial Information: A First Step [chapter]

Ralf Möller, Michael Wessel
1999 Lecture Notes in Computer Science  
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena.  ...  Based on this description logic language called ALCRP(S2), which is briefly introduced, we discuss algorithms for computing so-called extensions ("possible worlds") of a world description and a set of  ...  Furthermore, thanks go to Anni-Yasmin Turhan and Omar Nuri for their work on the implementation of the ALCRP(S 2 ) consistency checker and the default reasoning substrate, respectively.  ... 
doi:10.1007/3-540-48384-5_13 fatcat:tvetipg55vehjgdgz5ic7pgdiq

Towards computer vision with description logics: some recent progress

R. Moller, B. Neumann, M. Wessel
Proceedings Integration of Speech and Image Understanding  
nets, thus providing the logical foundations for knowledge-based inferences.  ...  Typical inference services offered by a DL system are • subsumption check, • consistency check, • classification, • abstraction.  ...  Furthermore, thanks go to Omar Nuri for his work on the implementation of the default reasoning substrate. All deficiencies are due to our own faults, of course.  ... 
doi:10.1109/isiu.1999.824868 fatcat:mk53zncp7bghboun6g4qifpwpy