2009-05-23 41 views
2

我已阅读“具体领域”的正式定义,但我仍然不完全明白。具体的域名究竟能用来描述什么?

难道有人能以更简单的方式向我解释吗,最好有一些例子吗?

该定义在Ullrich Hustadt,Boris Motik,Ulrike Sattler的 Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution中可用。第1页,定义1.

+1

链接到您声称已阅读的那些正式定义将是一个加号。 – 2009-05-23 12:40:32

回答

2

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

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

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

祝你好运!

+0

谢谢。我还没有完全得到它,但书中的信息是有帮助的。 Buuut,我想我仍然会将问题留给开放;) – Exander 2009-06-09 21:53:53