Re: FW: Semantics of Preconditions and Effects

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>
>>    
>>
>
>
>  
>

Received on Friday, 12 September 2003 12:53:22 UTC