The Temporal Description Logic TL-SI and its Decidability Algorithm.

Kun Hu Xueli Yu Zhi Li HongKang Zhu

Published in: CASoN (2010)

Keyphrases

description logics
optimal solution
computational properties
knowledge base
np hard
artificial intelligence
relational databases
query processing
owl dl
concept descriptions