具体领域到底能描述什么？

Question

我已经阅读了“具体领域”的正式定义，但我仍然不太明白。

有人可以用简单的术语向我解释，最好是用一些例子吗？

该定义可在 Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution来自Ullrich Hustadt，Boris Motik，Ulrike Sattler。第1页，定义1。

Answer 1

我自己对谓词逻辑不是很了解，但对你的问题很感兴趣，所以我读了一下，从“描述逻辑手册”第6.2.1部分中对具体域的概念进行了相当好的概述，它也有一些例子。

我是新用户，无法发布链接，但您可以通过在Google上搜索“具体网域”找到该图书（查找books.google.com）。

我希望它有所帮助，我发现很难获得正式的定义！第6.2.1部分的开头很适合在书中介绍。

祝你好运！