V. Haarslev, C. Lutz, and R. Moller. Dened topological relations in description logics. In Proc. of KR'98, pp. 112-124, Trento, Italy, 1998. Morgan Kaufmann Publ., 1998.  Home/Search   Document Not in Database   Summary   Related Articles

....Error u 9time; next time: u 8next:8(9(time) time) Error where Error is a concept, time is a concrete feature and next is an abstract feature. This concept is unsatis able since every domain object satisfying it would have to be both in Error and :Error which is impossible. In [7], it is proved that satis ability of ALCRP(D) concepts is undecidable. However, as shown in [8] there exists a decidable fragment of ALCRP(D) that is still a useful extension of ALC(D) In the following, we introduce an analogous fragment of the logic ALCRPI(D) De nition 7 (Restricted ....

V. Haarslev, C. Lutz, and R. Moller. Dened topological relations in description logics. In Proc. of KR'98, pp. 112-124, Trento, Italy, 1998. Morgan Kaufmann Publ., 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC