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 #378374] Tue, 07 November 2006 11:46 Go to next message
Eclipse User
Originally posted by: vincent_kwinsey.yahoo.com

Hi,

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:

http://www.eclipse.org/newsportal/article.php?id=12267&g roup=eclipse.newcomer#12267

Sorry for this - initially I had not idea that I have access to threads
beoynd newcomers as well.
Re: EMF reasoner for temporal description logics? [message #378375 is a reply to message #378374] Tue, 07 November 2006 13:20 Go to previous message
Ed Merks is currently offline Ed Merks
Messages: 26014
Registered: July 2009
Senior Member
Vincent,

This would probably be of interest to the UML and the EODM folks.


Vincent Kwinsey wrote:

> Hi,
>
> 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:
> http://www.eclipse.org/newsportal/article.php?id=12267&g roup=eclipse.newcomer#12267
>
>
> Sorry for this - initially I had not idea that I have access to
> threads beoynd newcomers as well.
>
Re: EMF reasoner for temporal description logics? [message #582483 is a reply to message #378374] Tue, 07 November 2006 13:20 Go to previous message
Ed Merks is currently offline Ed Merks
Messages: 26014
Registered: July 2009
Senior Member
Vincent,

This would probably be of interest to the UML and the EODM folks.


Vincent Kwinsey wrote:

> Hi,
>
> 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:
> http://www.eclipse.org/newsportal/article.php?id=12267&g roup=eclipse.newcomer#12267
>
>
> Sorry for this - initially I had not idea that I have access to
> threads beoynd newcomers as well.
>
Previous Topic:EMF reasoner for temporal description logics?
Next Topic:MDT Project Provisioned
Goto Forum:
  


Current Time: Mon Sep 01 09:57:34 EDT 2014

Powered by FUDForum. Page generated in 0.01849 seconds