Alessandro Artale and Enrico Franconi (2001). Temporal Description Logics.pdf

文档介绍：
ÔØÖ Ò ÀÒ Ó Ó Ó Ì
Ñ Ò Ì ÑÔ ÓÖ Ð Ê  ×ÓÒ
Ò
Ò  ÖØ
¬
Ð ÁÒØÐ Ð
Ò  ¸ Ø  ÝÓ Ú Ý ¸
Å Ð ×Ö Ò ÄÐÙ× Îи ÅÁÌ ÈÖ×׸µº ´ÓÖØÓÑÒ
Ì ÑÔ ÓÖÐ ×ÖÔØÓÒ ÄÓ×

Ð××ÒÖÓ
ÖØÐ
Ôغ Ó ÓÑÔÙØØÓÒ¸ ÍÅÁË̸ ÍÃ

ÖØ
ÐÓºÙÑ× Øº
 ºÙ 
ÒÖÓ  ÖÒÓÒ
Ôغ Ó ÓÑÔÙØÖ ËÒ¸ ÍÒÚº Ó ÅÒ ×ØÖ¸ ÍÃ
Ö
ÒÓÒ׺Ñ
Òº
 ºÙ 
ØØÔ»»ÛÛÛº׺ Ñ
Òº
º Ù »
 Ö
Ò ÓÒ »
´Î Ö×ÓÒ ÁÁ¸ ÖØ Ó ÆÓ Ú Ñ "Ö ½¸ ¾¼¼¼µ

×ØÖØ
Ì ÑÔ ÓÖÐ ÜØÒ×
ÓÒ× Ó ×Ö
ÔØ
ÓÒ ÄÓ
× ´ĵ Ö ÖÐÚ Ò Ø ØÓ
ÔØÙÖ Ø Ú ÓÐÚ
Ò  Ú
ÓÙÖ Ó ÝÒÑ
 ÓÑ
Ò׸ Ò ØÝ  Ú 
Ò ÜØÒ×
Ú ÐÝ ÓÒ×
Ö
Ò Ø Ð
ØÖØÙÖº ËÚ ÖÐ ÔÔÖÓ × ÓÖ
ÖÔÖ×Ò Ø
Ò Ò Ö×ÓÒ
Ò Û
Ø Ø
Ñ Ô ÒÒ Ø ÓÒÔØ×  Ú  Ò
ÔÖÓÔ Ó׺ ÁÒ Ø
× ÔØÖ  ×ÙÑÑÖÝ Ó Ø ØÑÔ ÓÖÐ ÐÓ
 ×
ÔÔÖÓ × Ò Ó Ø &#211