Nguyen Dieu Thu | 6 Apr 11:46 2005

concept description allowed in SHIQ?

Hi all,
I've learned that the terminology (TBox) in SHIQ includes a finite set of GCI (general concept inclusion) of the form C \sqsubseteq D and of concept definitions of the form C \equiv D.
So I wonder if I can declare a concept description without \sqsubseteq and \equiv in TBox of SHIQ?
For example, I want to define a concept "a man who is married", is it acceptable in the Tbox of SHIQ the description: "Man \sqcap \exists married" ?
If it is acceptable, can you show me a document which states that?
Thank you very much,
powerloom-forum mailing list
powerloom-forum <at>