Keys for free in description logics

DLR is an expressive Description Logic (DL) with n-ary relations, particularly suited for modeling database schemas and queries. Although DLR has constituted one of the crucial steps for applying DL technology to data management, there is one important asp

ÌÓ

ÔÔ

ÖÒÈÖÓºÓ¾¼¼¼ÁÒغÏÓÖ×ÓÔÓÒ

×ÖÔØÓÒÄÓ

×´

ľ¼¼¼µ

ÃÝ×ÓÖÖÒÓ

×ÖÔØÓÒÄÓ×

ÐÚÒ׸Ù×ÔÔÓÑÓ¸ÅÙÖÞÓÄÒÞÖÒÔÖØÑÒØÓÁÒÓÖÑØË×ØÑ×ØÍÒÚÖ×ØÊÓÑÄËÔÒÞÎËÐÖ½½¿¸¼¼½ÊÓѸÁØÐÝ

ÐÚÒ׸ÓÑÓ¸ÐÒÞÖÒ׺ÙÒÖÓѽºØ

×ØÖØÔÖØÙÐÖÐÝ×ÙØØÓØ

ÄÊ

×

Ò

ÜÔÖ××ÚÓÖÑÓÖÓÒÓØ

×ÖÔØÓÒÄÓÐÒ×ÓÒØÝ×ØÖÙ××

´ÄµÛØÑ×ÒÔÔÐÝÒ

Ò¹ÖÝÖÐØÓÒ׸ÐØÓÙ×Ñ×ݺÚÄØÒÓÐÓÝØ×ÒÓØÓÒÓÒ×ØÐÐ

ÄÊØ

ÕÙÖ׺

×ÓÒ×ØØÙØÑÒÄ׸ÒÐÙ×ÔÔÖÛ××ÓÒ

Ð×ØÔ×ÓÖ

Ø

ÑÒظØ

ÁÒØ

×ÓÛØØÖ

Äʸ

ÑÔÓÖØÒØÖÓÖÖ

×ÔØÓÒ

ÓÒÓØÔØÙÖÒÛ

ÝظÒÑÐÝØÝ×ØÓ

Ö××ØÈÌÁÅÒ×ÙØ×ÑÝ׺

ÓÐÐÓÛÒ

ÕÙ×ØÓÒ×ÓÒÒ

Äʺ

ØÒÕÙ×

ËÓÑÛ

ÄÊ

ÁÒÔÖØÙÐÖ¸Û

Ò×ÛÖÔÓ×ØÚÐݸÛÝØØÖ

Ý×ÓÛÒ×ÓÒÒÓÒ

ÓÛØÓ

ÛÓÖ×ع×

ÓÑÔÙØØÓÒÐÓÑÔÐÜØÝ

ÄÊ×

ÔØØ

ÑÛØ

ÄÊÖ

Ø×ÙÖÔÖ×ÒÐÝÛ×ÓÒÒ×ÐÓÖØÑÓÒÛØÛØÓÙØ

Ý×Ò

×ÓÖØ

½ÁÒØÖÓÙØÓÒÁÒØÐ×ØÝÖ׸×ÖÔØÓÒÄÓ×´Ä×µÚÒ×Ù

××ÙÐÐÝÔÔÐØÓØÑÒÑÒؽ¼¸¾¸½¿¸ ºÇÒÓØ××ÒÔÔÐÝÒÄ×ØÓØÑÒÑÒØ×ØØØ××Ñ×ÒÜÔÖ×××ÄÒÓÛÐ×׸×ÓØØÄÖ×ÓÒÒØÒÕÙ×ÒÙ×Ò×ÚÖÐÛÝ×ØÓÖ×ÓÒÓÙØØ×ѺÁÒ¸ ¸ÛÒØÖÓÙÚÖÝÜÔÖ××ÚÄÛØÒ¹ÖÝÖÐØÓÒ׸ÐиÒ×ÓÛÓÛØ××Ñ×ÒÔØÙÖÝØ×ÐÓ´×Ð×Ó µºÐ×Ó¸Û¬Ò×ÙØÐÑÒ×Ñ×ÓÖÜÔÖ××ÒÕÙÖ×ÓÚÖ×Ñ׸Ò×ÒØÒÕÙ×ÓÖÖ×ÓÒÒÓÚÖÕÙÖ× ºÆÓØÐݸØÒÚ×ØØÓÒÓÒ×ÐØÓØ×ÒÓÒÛÄ×Ý×ØÑ׫ØÚÐÝÑÔÐÑÒØÒÔÓÛÖÙÐÖ×ÓÒÒØÒÕÙ×½½ ºÐØÓÙØÓÚÑÒØÓÒÛÓÖ×ÒØÖÙÐ×ØÔÓÖÔÔÐÝÒÄØÒÓÐÓÝØÓØÑÒÑÒظØÖ×ÓÒÑÔÓÖØÒØ×ÔØÓØ×ÄÊÄÊÄÊ

搜索“diyifanwen.net”或“第一范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，第一范文网，提供最新小学教育Keys for free in description logics全文阅读和word下载服务。