{SPAM ?} Re: FW: Semantics of Preconditions and Effects

I believe that (2) should override all other definitions, as it seems to 
me the most logical and reliable way out of all the others.

Jeff Lansing wrote:

> Here's a simple OWL question, that all of these tools seem to answer 
> in a different way: What is the connection between the physical URI of 
> an ontology definition document and the logical URI that is used for 
> the owl:Classes defined in that document?
>
> Here are some possible answers for what the logical URI is:
>
> 1) It's the same as the physical URI.
>
> 2) It's the default namespace of the definition document (the 
> xmlns="namespace").
>
> 3) It's the value of the rdf:about attribute of the owl:Ontology element.
>
> 4) It's not even in the document, but has to be supplied by a 
> "LogicalURIResolver", which somehow has access to a database of 
> logical/physical mappings.
>
> 5) None of the above, so you had better hard code it in the definition 
> of  every single class.
>
> The published OWL Guide/Reference appear to me to be using (2), but 
> nothing explicitly says that that's how it should be. Any guidance?
>
> Thanks,
>
> Jeff
>
>
> Ian Horrocks wrote:
>
>>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>
>>>    
>>>
>>
>>
>>  
>>
>

-- 
**>><<**>><<**>><<**>><<**>><<**>><<**>><<**
Monika Solanki
Software Technology Research Laboratory(STRL)
De Montfort University
Hawthorn building, H00.18
The Gateway
Leicester LE1 9BH, UK

phone: +44 (0)116 250 6170 intern: 6170
email: monika@dmu.ac.uk
web: http://www.cse.dmu.ac.uk/~monika
**>><<**>><<**>><<**>><<**>><<**>><<**>><<**

Received on Friday, 12 September 2003 13:02:07 UTC