logic - 具体的なドメインを使用して正確に何を説明できますか?

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の冒頭は、本の紹介に適しています。

幸運を！