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

时间:2021-10-19 18:05:46

I have read the formal definition of a "concrete domain", but I still don't quite get it.

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

Could someone explain it to me in simpler terms, preferably with some examples?

有人可以用更简单的术语向我解释,最好用一些例子吗?

The definition is available in Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution by Ullrich Hustadt, Boris Motik, Ulrike Sattler. Page 1, Definition 1.

该定义可在Ullrich Hustadt,Boris Motik,Ulrike Sattler的分辨率框架中的具有混凝土领域的描述逻辑中的推理中获得。第1页,定义1。

1 个解决方案

#1


I'm not very good with the predicate logic myself but became intrigued by your question so I read up and got a fairly good overview of the concept of concrete domains from the part 6.2.1 in "The Description Logic Handbook", it had some examples also.

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

I'm a new user and can't post links but you will find the book by searching for "concrete domains" on Google (look for books.google.com).

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

I hope it helps, I found the formal definition hard to get as well! The beginning of part 6.2.1 is good for introduction in the book.

我希望它有所帮助,我发现正式的定义很难得到!第6.2.1部分的开头有利于本书的介绍。

Good luck!

#1


I'm not very good with the predicate logic myself but became intrigued by your question so I read up and got a fairly good overview of the concept of concrete domains from the part 6.2.1 in "The Description Logic Handbook", it had some examples also.

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

I'm a new user and can't post links but you will find the book by searching for "concrete domains" on Google (look for books.google.com).

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

I hope it helps, I found the formal definition hard to get as well! The beginning of part 6.2.1 is good for introduction in the book.

我希望它有所帮助,我发现正式的定义很难得到!第6.2.1部分的开头有利于本书的介绍。

Good luck!