[Top] [All Lists]

Re: [ontology-summit] first draft of the Ontology Summit 2007 Communique

To: Ontology Summit 2007 Forum <ontology-summit@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Tue, 24 Apr 2007 06:54:40 -0500
Message-id: <121EBBAF-651D-4549-AE56-266543A16772@xxxxxxxx>
On 23 Apr, at 10:23 , Olivier Bodenreider wrote:
> We just posted the first draft of the Communique on the Ontology  
> Summit
> 2007 wiki:
> http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2007_Communique
> The draft will be discussed and refined tomorrow morning.
> Please send your feedback to the list.    (01)

Couple of quick comments re:    (02)

   Thus a simple taxonomy, e.g., a tree, may be encoded in RDF,
   a description logic language such as OWL-DL, or first order
   logic, e.g., Common Logic.    (03)

"RDF" there should probably be "RDFS", as a standard taxonomy  
requires the RDFS constructs "rdfs:Class" and "rdfs:subClassOf" that  
are not available in RDF.    (04)

Second, while I hope the reference to Common Logic remains :-) the  
'e.g.' there isn't quite accurate.  While most users only avail  
themselves of the first-order fragment of CL, full CL includes  
"sequence markers" (more or less the sequence variables of KIF, but  
with a more rigorous semantics), which bump its expressiveness up to  
that of a weak infinitary logic.    (05)

Finally, I notice that a few paragraphs down from the paragraph  
containing the quote above first-order logic is referred to regally  
as "First Order Logic", in contrast to the humbler "first order  
logic" above.  Much as I think the regal label is appropriate and  
well-deserved :-) I think the humbler moniker is grammatically more  
correct.  (Also, I myself prefer to hyphenate 'first-order', but I  
don't think there is any sort of consensus on that.)    (06)

-chris    (07)

Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/ 
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/  
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2007/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2007
Community Portal: http://ontolog.cim3.net/    (08)
<Prev in Thread] Current Thread [Next in Thread>