描述逻辑TBox：模型论刻画与可重写性
Description Logic TBoxes: Model-theoretic Characterizations and Rewritability
摘要：
我们描述的描述逻辑（DL）TBox的表达能力，无论是表达DL，如ALC和ALCQIO和轻量级DL，如DL-Lite和EL。我们的刻画是相对于一阶逻辑，基于广泛的语义概念，如互模拟，等模拟，不相交的工会，和直接产品。我们首先研究了以下一类新的决策问题：给定一个在DL L中表示的TBox T，决定T是否可以等价地重写为L的片段L'中的TBox。
英文摘要：
We characterize the expressive power of description logic (DL) TBoxes, both for expressive DLs such as ALC and ALCQIO and lightweight DLs such as DL-Lite and EL. Our characterizations are relative to first-order logic, based on a wide range of semantic notions such as bisimulation, equisimulation, disjoint union, and direct product. We exemplify the use of the characterizations by a first study of the following novel family of decision problems: given a TBox T formulated in a DL L, decide whether T can be equivalently rewritten as a TBox in the fragment L' of L.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
