[DL] incoherence in DL semantics?
Rod Moten
rod at cs.colgate.edu
Fri Jun 28 22:23:07 CEST 2002
I am a new student to Description Logics. My background is in type theory.
In my endeavors to learn Description Logics, I came across an issue on which I
would like some clarification. Suppose someone defines a knowledge base with
Description Logic in which Meters and Centimeters are concepts. Whether
Meters and
Centimeters are defined concepts are primitive concepts is immaterial.
Naturally,
we expect Meters and Centimeters should be related, i.e. minimally Meters
should
subsume Centimeters, which I write as Centimeters < Meters. If this is true
then
for every interpretation I, I(Centimeters) is a subset of I(Meters), written
I(Centimeters) subseteq I(Meters), This is where I am having a problem.
I(Centimeters) subseteq I(Meters) means that every element of
I(Centimeters) is an element of I(Meters). However, each element in
I(Centimeters) has a different meaning in I(Meters). For example, 200 cm
is not the same as 200 m, but 200 cm is 2 m. How do you reconcile this
problem of incoherence in Description Logics? Is there something about DL I
missed?
Rod
Rod
*************************************
* Make affirming your wife a top priority. *
* - David Rollinson *
*************************************
More information about the dl
mailing list