具體的域名究竟能用來描述什麼？

Question

我已閱讀「具體領域」的正式定義，但我仍然不完全明白。

難道有人能以更簡單的方式向我解釋嗎，最好有一些例子嗎？

該定義在Ullrich Hustadt，Boris Motik，Ulrike Sattler的 Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution中可用。第1頁，定義1.

Answer 1

我對自己的謂詞邏輯不是很好，但對你的問題很感興趣，所以我閱讀並從6.2.1部分得到了一個相當好的概念， 「描述邏輯手冊」，它也有一些例子。

我是新用戶，無法發佈鏈接，但您可以通過在Google上搜索「具體域名」（查找books.google.com）來找到該書。

我希望它有幫助，我發現正式的定義很難得到！本書第6.2.1部分的開頭部分對本書的介紹很有幫助。

祝你好運！