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,
Nguyen

_______________________________________________
powerloom-forum mailing list
[email protected]
http://mailman.isi.edu/mailman/listinfo/powerloom-forum