Intelligent Systems Lecture Notes
14 December 2011 • Description Logic
If
e
\(\sqsubseteq\)
d
, then every constant in
e
is also in
d
. Because
c
is in
e
(from
c
\(\rightarrow\)
e
), it must be that
c
is also in
d
, and so
c
\(\rightarrow\)
d
.
This page last modified on 2006 January 24.