headers
Nguyen Dieu Thu | 6 Apr 2005 11:46
Picon
Picon
Favicon

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
powerloom-forum <at> isi.edu
http://mailman.isi.edu/mailman/listinfo/powerloom-forum
Permalink | Reply | 0 comments |

Gmane