Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » Modeling (top-level project) » EMF reasoner for temporal description logics?
EMF reasoner for temporal description logics? [message #582458] Tue, 07 November 2006 16:46
Eclipse UserFriend
Originally posted by:


What about implementing some reasoner for temporal description logics (at
least - for some fragment of simpler logics) along with OWL and RDF
reasoners, and what about tailoring these reasoner for use not only with
semantic web btu for UML diagrams as well. There is effort to
formalization of UML and this can be contribution.

What about object model standard which can treat behavioral/collaborative
aspects as well - as XMI is for class diagrams.

I posted the more exaustive thread what I am trying to do at: roup=eclipse.newcomer#12267

Sorry for this - initially I had not idea that I have access to threads
beoynd newcomers as well.
Previous Topic:MoDisco: a new component under eclipse.modeling.gmt
Next Topic:EMF reasoner for temporal description logics?
Goto Forum:

Current Time: Tue Jun 19 18:48:58 GMT 2018

Powered by FUDForum. Page generated in 0.01424 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top