Eclipse Community Forums: MDT (Model Development Tools) » An Approach for Detecting and Resolving Inconsistency Using DL Rules for OWL Generation from UML Mod

Home » Modeling » MDT (Model Development Tools) » An Approach for Detecting and Resolving Inconsistency Using DL Rules for OWL Generation from UML Mod(how to detect inconsistency in UML class diagram)

Show: Today's Messages :: Show Polls :: Message Navigator

An Approach for Detecting and Resolving Inconsistency Using DL Rules for OWL Generation from UML Mod [message #803234]

Mon, 20 February 2012 23:12

nisha sondarajan
Messages: 1
Registered: February 2012

Junior Member

hello,

My project is "An Approach for Detecting and Resolving Inconsistency Using DL Rules for OWL Generation from UML Models". Here i have mentioned the work we have to done.
1)construct UML class diagram.
2)detect inconsistency.
3)resolve the inconsistency.
4)convert into OWL.

MY IMPLEMENTATION PART:

Initially UML class diagram is constructed using topcased tool in eclipse and need to find the inconsistency in UML class diagram
But i have some problem in detecting inconsistency in class diagram .i just want to know "how to use pellet or any other reasoner for detecting inconsistency ".

please kindly give me some solution to further proceed my project.thanks in advance.

Report message to a moderator

Previous Topic:	3rd Biannual Eclipse/OMG Workshop on March 25
Next Topic:	[BPMN2] Constant validation error

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Tue May 28 15:18:25 EDT 2013