[DL] From DL to FOL

[Rodolfo Rieckhof]

Hello,
I am new to this so this question maybe fairly trivial.  I want to transform
the DL Formulas that represent Domain and Range in Fist order Logic. What i
have:
The two DL sentences
[image: \exists] isManufacteredBy.T [image: \sqsubseteq] Product
(Domain)
T [image: \sqsubseteq] [image: \forall] isManufacteredBy.Manufaterer
(Range)

In FOL ?
[image: \forall]x( [image: \exists] y. isManufacteredBy(x,y) -> Product
(x))                             (Domain)
[image: \forall]x ( T -> [image: \forall]y( isManufacteredBy(x,y) [image:
\land] Manufacterer(y) ) )      (Range)

I am not really sure about the transformation in FOL beacause i dont know
how to translate the T to FOL. Could any tell me how this should be done.

Regards,
Rodolfo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20101121/be34f1af/attachment.htm>