[DL] DL for conceptual modelling

[Yi Choong-ho]

Dear DL friends,

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:

* Class, Specialisation, Aggregation, Association, Cardinality.

In order to describe a Meta Model for these models, it is required that among others:

* A Class is not only a set of objects, but also it can be a member of another  (higher order) Class.

I think DL should provide sufficient expressive power (for the structuring concepts above) and reasoning power (to check consistency, interoperability requirements etc).

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.


Kind regards,
Choong-ho


Choong-ho Yi
Systems Engineer, PhD

Combitech AB
SE-BOX 6011 * 171 06 Solna * Sweden
Visiting address: Landsvägen 50 A
Phn +46 8 5808 6062 * Mobile +46 73 437 6062 * Fax +46 8 82 1967
choong-ho.yi at combitech.se * www.combitech.se<http://www.combitech.se/>


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. Please notify the above of any such misdirection.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20091208/e6705ea0/attachment.htm>