A. Artale, E. Franconi, M. Mosurovic, F. Wolter, and M. Zakharyaschev. The DLR US temporal description logic. In Proceedings of the 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Proposal for Describing Services with DLs - Lutz, Sattler (2002) (2 citations) (Correct)
....a TDL concept (which uses only the next operator) is possible. As a consequence, decidability of the realizability of such services for ALC or DLR as the underlying description logics and general TBoxes as background knowledge bases T is an immediate consequence of the decidability results in [21, 2]. In case we want to minimize the changes w.r.t. to certain role or concept names (by not mentioning them in relaxations X) these results do not help: please note that minimization of changes of X does not mean that the extensions of X before and after the application of a service coincide. ....
A. Artale, E. Franconi, M. Mosurovic, F. Wolter, and M. Zakharyaschev. The DLR US temporal description logic. In Proceedings of the
A Proposal for Describing Services with DLs - Lutz, Sattler (2002) (2 citations) (Correct)
No context found.
A. Artale, E. Franconi, M. Mosurovic, F. Wolter, and M. Zakharyaschev. The DLR US temporal description logic. In Proceedings of the 2001.
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