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!