<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.2900.5890" name=GENERATOR></HEAD>
<BODY>
<DIV><FONT face=Arial size=2><SPAN class=001360214-08122009>Dear DL friends,
</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN
class=001360214-08122009></SPAN></FONT> </DIV>
<DIV><FONT face=Arial size=2><SPAN class=001360214-08122009>I am involved in a
project commissioned by the Swedish Defence Materiel Administration
(FMV) where my responsibility is to check the consistency of/among the
models produced from the project. This kind of models are
usually called "conceptual models", expressed by UML-like notation
including typical structuring mechanisms such as: </SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN
class=001360214-08122009></SPAN></FONT> </DIV>
<DIV><FONT face=Arial size=2><SPAN class=001360214-08122009>* Class,
Specialisation, Aggregation, Association, Cardinality.
</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN
class=001360214-08122009></SPAN></FONT> </DIV>
<DIV><FONT face=Arial size=2><SPAN class=001360214-08122009>In order to describe
a </SPAN></FONT><FONT face=Arial size=2><SPAN class=001360214-08122009>Meta
Model </SPAN></FONT><FONT face=Arial size=2><SPAN class=001360214-08122009>for
these models, it is required that among others: </SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN
class=001360214-08122009></SPAN></FONT> </DIV>
<DIV><FONT face=Arial size=2><SPAN class=001360214-08122009>* A Class is
not only a set of objects, but also it can be a member of another (higher
order) Class. </SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN
class=001360214-08122009></SPAN></FONT> </DIV>
<DIV><FONT face=Arial size=2><SPAN class=001360214-08122009>I think DL should
provide sufficient expressive power (for the structuring concepts above) and
reasoning power (to check consistency, interoperability requirements etc).
</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN
class=001360214-08122009></SPAN></FONT> </DIV>
<DIV><FONT face=Arial size=2><SPAN class=001360214-08122009>But I do not know
which DL is suitable for this purpose, and which DL Prover and Editor to
choose. I would appreciate if you could give me some Starter information,
especially if you kindly share your experience with using DL for conceptual
modelling. I have relatively good background in logic, but I have no
experience with DL. </SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN
class=001360214-08122009></SPAN></FONT> </DIV>
<DIV><FONT face=Arial size=2><SPAN
class=001360214-08122009></SPAN></FONT> </DIV>
<DIV><FONT face=Arial size=2><SPAN class=001360214-08122009>Kind regards,
</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN class=001360214-08122009>Choong-ho
</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN
class=001360214-08122009></SPAN></FONT> </DIV>
<DIV><FONT face=Arial size=2></FONT> </DIV>
<DIV align=left>
<P class=MsoNormal dir=ltr style="MARGIN: 0cm 0cm 0pt" align=left><B
style="mso-bidi-font-weight: normal"><SPAN lang=EN-GB
style="FONT-SIZE: 10pt; COLOR: navy; FONT-FAMILY: Arial; mso-ansi-language: EN-GB">Choong-ho
Yi<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office"
/><o:p></o:p></SPAN></B></P>
<P class=MsoNormal style="MARGIN: 0cm 0cm 0pt"><SPAN lang=EN-GB
style="FONT-SIZE: 9pt; FONT-FAMILY: Arial; mso-ansi-language: EN-GB">Systems
Engineer, PhD <o:p></o:p></SPAN></P>
<P class=MsoNormal style="MARGIN: 0cm 0cm 0pt"><SPAN lang=EN-GB
style="FONT-SIZE: 9pt; FONT-FAMILY: Arial; mso-ansi-language: EN-GB"><o:p></o:p></SPAN></P>
<P class=MsoNormal style="MARGIN: 0cm 0cm 0pt"><?xml:namespace prefix = st1 ns =
"urn:schemas-microsoft-com:office:smarttags" /><st1:place w:st="on"><st1:City
w:st="on"><SPAN lang=EN-GB
style="FONT-SIZE: 10pt; COLOR: navy; FONT-FAMILY: Arial; mso-ansi-language: EN-GB"><FONT
size=1></FONT></SPAN></st1:City></st1:place> </P>
<P class=MsoNormal style="MARGIN: 0cm 0cm 0pt"><st1:place w:st="on"><st1:City
w:st="on"><B style="mso-bidi-font-weight: normal"><SPAN lang=EN-GB
style="FONT-SIZE: 10pt; COLOR: navy; FONT-FAMILY: Arial; mso-ansi-language: EN-GB">Combitech</SPAN></B></st1:City><B
style="mso-bidi-font-weight: normal"><SPAN lang=EN-GB
style="FONT-SIZE: 10pt; COLOR: navy; FONT-FAMILY: Arial; mso-ansi-language: EN-GB">
<st1:State w:st="on">AB</st1:State></SPAN></B></st1:place><B
style="mso-bidi-font-weight: normal"><SPAN lang=EN-GB
style="FONT-SIZE: 10pt; COLOR: navy; FONT-FAMILY: Arial; mso-ansi-language: EN-GB"><o:p></o:p></SPAN></B></P>
<P class=MsoNormal style="MARGIN: 0cm 0cm 0pt"><SPAN lang=EN-GB
style="FONT-SIZE: 9pt; FONT-FAMILY: Arial; mso-ansi-language: EN-GB">SE-BOX 6011
• <st1:City w:st="on">171 06 Solna </st1:City>• <st1:place
w:st="on"><st1:country-region
w:st="on">Sweden</st1:country-region></st1:place><o:p></o:p></SPAN></P>
<P class=MsoNormal style="MARGIN: 0cm 0cm 0pt"><SPAN lang=EN-GB
style="FONT-SIZE: 9pt; FONT-FAMILY: Arial; mso-ansi-language: EN-GB">Visiting
address: Landsvägen 50 A<o:p></o:p></SPAN></P>
<P class=MsoNormal style="MARGIN: 0cm 0cm 0pt"><SPAN lang=EN-GB
style="FONT-SIZE: 9pt; FONT-FAMILY: Arial; mso-ansi-language: EN-GB">Phn +46 8
5808 6062 <o:p></o:p>• Mobile +46 73 437 6062 <o:p></o:p>• Fax +46 8 82 1967
</SPAN></P>
<P class=MsoNormal style="MARGIN: 0cm 0cm 0pt"><SPAN lang=EN-GB
style="FONT-SIZE: 9pt; FONT-FAMILY: Arial; mso-ansi-language: EN-GB"></SPAN><SPAN
lang=EN-GB
style="FONT-SIZE: 9pt; FONT-FAMILY: Arial; mso-ansi-language: EN-GB">choong-ho.yi@combitech.se
• <U><SPAN style="COLOR: blue"><A
href="http://www.combitech.se/">www.combitech.se</A></SPAN></U>
<o:p></o:p></SPAN></P>
<P class=MsoNormal style="MARGIN: 0cm 0cm 0pt"><SPAN lang=EN-GB
style="FONT-SIZE: 9pt; FONT-FAMILY: Arial; mso-ansi-language: EN-GB"><o:p></o:p></SPAN> </P>
<P class=MsoNormal style="MARGIN: 0cm 0cm 0pt"><SPAN lang=EN-GB
style="FONT-SIZE: 9pt; FONT-FAMILY: Arial; mso-ansi-language: EN-GB"><o:p> </o:p></SPAN></P>
<P class=MsoNormal style="MARGIN: 0cm 0cm 0pt"><SPAN lang=EN-GB
style="FONT-SIZE: 9pt; FONT-FAMILY: Arial; mso-ansi-language: EN-GB"><o:p></o:p></SPAN></P>
<P class=MsoNormal style="MARGIN: 0cm -16.7pt 0pt 0cm"><I
style="mso-bidi-font-style: normal"><SPAN lang=EN-GB
style="FONT-SIZE: 9pt; FONT-FAMILY: Arial; mso-ansi-language: EN-GB">This e-mail
is private and confidential between the sender and the addressee. In the event
of misdirection, the recipient is prohibited from using, copying or
disseminating it or any information in it. </SPAN></I><I
style="mso-bidi-font-style: normal"><SPAN
style="FONT-SIZE: 9pt; FONT-FAMILY: Arial">Please notify the above of any such
misdirection.<o:p></o:p></SPAN></I></P></DIV>
<DIV> </DIV></BODY></HTML>