A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is
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
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