[DL] About the domain of an Interpretation

[Maurizio Lenzerini]

The notion of domain of interpretation in DL is exactly the notion of 
domain of interpretation in first-order logic: it is a non-empty set.

Cheers.

longo at dmi.unict.it wrote:
> Dear dl readers, it is not clear to me if the domain of an 
> interpretation (with the descriptive semantic) is just a set or may be a 
> class or something else.
> 
> Thank you in advance,
> Cristiano Longo
> 
> ----------------------------------------------------------------
> This message was sent using IMP, the Internet Messaging Program.
> 
> ---
> **  You received this mail via the description logic mailing list; for 
> more  **
> **  information, visit the description logic homepage at 
> http://dl.kr.org/.  **

-- 
Maurizio


-----------------------------------------------------------------------------
Prof. Maurizio Lenzerini
Dipartimento di Informatica e Sistemistica Antonio Ruberti
Sapienza Università di Roma
Via Ariosto 25, I-00185 Roma, Italy
Tel:       +39 - 06 - 77274008
Fax:      +39 - 06 - 77274002
E-mail:    lenzerini at dis.uniroma1.it
Home page: http://www.dis.uniroma1.it/~lenzerini