RE: FW: Semantics of Preconditions and Effects

On September 4, Sheshagiri, Mithun writes:
> Dear John,
>                    To the best of my knowledge there is no specific tool
> that lets you build DAML-S ontologies. However, DAML-S/OWL-S is similar to
> any other DAML/OWL ontology and there are several tools you could use.
>  
> 1. Protege <http://protege.stanford.edu/ <http://protege.stanford.edu/> > is
> a general purpose tool has good support (plug-ins) for DAML and OWL. 
> 2. Infered is a tool by Intellidimension <http://www.intellidimension.com/
> <http://www.intellidimension.com/> >
> 3. There is also a DAML mode for emacs
> http://openmap.bbn.com/burstein/daml-emacs/
> <http://openmap.bbn.com/burstein/daml-emacs/> 
> 4. However, I find a (XML-aware) text editor most useful.

You should also take a look at OilEd [1] which supports DAML/OWL and
includes and integrated reasoner which can compute the class hierarchy
and check for inconsistencies. This has, e.g., been used to detect
errors in the OWL Guide (wines) ontology. IMHO, building anything
other than toy ontologies without such support amounts to recklessness.

Ian

[1] http://img.cs.man.ac.uk/oil


>  
> You will find several tools at http://www.daml.org/tools/
> <http://www.daml.org/tools/> 
>  
> hopt this helps!
> mithun
> http://www.cs.umbc.edu/~mits1 <http://www.cs.umbc.edu/~mits1>  
> 
> -----Original Message-----
> From: John Langley [mailto:johnlangley22@yahoo.co.uk] 
> Sent: Thursday, September 04, 2003 8:15 AM
> To: 'Www-Ws' (E-mail)
> Subject: RE: FW: Semantics of Preconditions and Effects
> 
> 
> Hi,
>  
> Could anybody from the DAML-S Consortium let me know which tool was used to
> build the DAML-S ontologies ? 
>  
> Thanks,
> John
> 
> 
> 
> 
>   _____  
> 
> Want to chat instantly with your online friends?
> <http://uk.rd.yahoo.com/mail/tagline_messenger/*http://uk.messenger.yahoo.co
> m/> Get the FREE Yahoo! Messenger
> 
> <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
> <HTML><HEAD>
> <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii">
> <TITLE>Message</TITLE>
> 
> <META content="MSHTML 6.00.2800.1170" name=GENERATOR></HEAD>
> <BODY>
> <DIV><SPAN class=337415209-04092003><FONT face=Arial color=#0000ff size=2>Dear 
> John,</FONT></SPAN></DIV>
> <DIV><SPAN class=337415209-04092003><FONT face=Arial color=#0000ff 
> size=2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
> To the best of my knowledge there is no specific tool that lets you build DAML-S 
> ontologies. However, DAML-S/OWL-S is similar to any other DAML/OWL ontology and 
> there are several tools you could use.</FONT></SPAN></DIV>
> <DIV><SPAN class=337415209-04092003><FONT face=Arial color=#0000ff 
> size=2></FONT></SPAN>&nbsp;</DIV>
> <DIV><SPAN class=337415209-04092003><FONT face=Arial color=#0000ff size=2>1. 
> Protege &lt;<A 
> href="http://protege.stanford.edu/">http://protege.stanford.edu/</A>&gt;&nbsp;is 
> a general purpose tool has good support (plug-ins) for DAML and 
> OWL.</FONT>&nbsp;</SPAN></DIV>
> <DIV><SPAN class=337415209-04092003><FONT face=Arial color=#0000ff size=2>2. 
> Infered is a tool by Intellidimension &lt;<A 
> href="http://www.intellidimension.com/">http://www.intellidimension.com/</A>&gt;</FONT></SPAN></DIV>
> <DIV><SPAN class=337415209-04092003><FONT face=Arial color=#0000ff size=2>3. 
> There is also a DAML mode for emacs <A 
> href="http://openmap.bbn.com/burstein/daml-emacs/">http://openmap.bbn.com/burstein/daml-emacs/</A></FONT></SPAN></DIV>
> <DIV><FONT face=Arial><FONT color=#0000ff><FONT size=2><SPAN 
> class=337415209-04092003>4. However, I find a (XML-aware) text editor most 
> useful.</SPAN></FONT></FONT></FONT></DIV>
> <DIV><FONT face=Arial><FONT color=#0000ff><FONT size=2><SPAN 
> class=337415209-04092003></SPAN></FONT></FONT></FONT>&nbsp;</DIV>
> <DIV><FONT face=Arial><FONT color=#0000ff><FONT size=2><SPAN 
> class=337415209-04092003>You will find several tools at <A 
> href="http://www.daml.org/tools/">http://www.daml.org/tools/</A></SPAN></FONT></FONT></FONT></DIV>
> <DIV><FONT face=Arial><FONT color=#0000ff><FONT size=2><SPAN 
> class=337415209-04092003></SPAN></FONT></FONT></FONT>&nbsp;</DIV>
> <DIV><FONT face=Arial><FONT color=#0000ff><FONT size=2><SPAN 
> class=337415209-04092003>hopt this helps!</SPAN></FONT></FONT></FONT></DIV>
> <DIV><FONT face=Arial><FONT color=#0000ff><FONT size=2><SPAN 
> class=337415209-04092003>mithun</SPAN></FONT></FONT></FONT></DIV>
> <DIV><FONT face=Arial><FONT color=#0000ff><FONT size=2><SPAN 
> class=337415209-04092003><A 
> href="http://www.cs.umbc.edu/~mits1">http://www.cs.umbc.edu/~mits1</A>&nbsp;</SPAN></FONT></FONT></FONT></DIV>
> <BLOCKQUOTE 
> style="PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: #0000ff 2px solid; MARGIN-RIGHT: 0px">
>   <DIV></DIV>
>   <DIV class=OutlookMessageHeader lang=en-us dir=ltr align=left><FONT 
>   face=Tahoma size=2>-----Original Message-----<BR><B>From:</B> John Langley 
>   [mailto:johnlangley22@yahoo.co.uk] <BR><B>Sent:</B> Thursday, September 04, 
>   2003 8:15 AM<BR><B>To:</B> 'Www-Ws' (E-mail)<BR><B>Subject:</B> RE: FW: 
>   Semantics of Preconditions and Effects<BR><BR></FONT></DIV>
>   <DIV>Hi,</DIV>
>   <DIV><FONT face=Arial color=#0000ff size=2></FONT>&nbsp;</DIV>
>   <DIV>Could anybody from the DAML-S Consortium let me know which tool was used 
>   to build the DAML-S ontologies ? </DIV>
>   <DIV>&nbsp;</DIV>
>   <DIV>Thanks,</DIV>
>   <DIV>John<BR></DIV>
>   <P>
>   <HR SIZE=1>
>   <FONT face=Arial size=2>Want to chat instantly with your online 
>   friends?&nbsp;<A 
>   href="http://uk.rd.yahoo.com/mail/tagline_messenger/*http://uk.messenger.yahoo.com/"><B>Get 
>   the FREE Yahoo! Messenger</B></A></FONT></BLOCKQUOTE></BODY></HTML>

Received on Wednesday, 10 September 2003 20:33:50 UTC