ontology-summit
[Top] [All Lists]

Re: [ontology-summit] [Quality] What means

To: Ontology Summit 2008 <ontology-summit@xxxxxxxxxxxxxxxx>, Ontology Summit 2008 <ontology-summit@xxxxxxxxxxxxxxxx>
From: Barry Smith <phismith@xxxxxxxxxxx>
Date: Fri, 21 Mar 2008 13:02:42 -0400
Message-id: <20080321170431.ZLJN10451.mta10.adelphia.net@xxxxxxxxxxxxxxxxxxxxxxx>
No disagreement here.
BS    (01)

At 10:35 AM 3/21/2008, John F. Sowa wrote:
>Barry,
>
>Syntax attracts inflammatory tirades, and that proposal is more
>controversial than any other:
>
> > I hope that one OBO Foundry criterion, at least, is non-controversial
> > to Patrick, this is the criterion to the effect that the ontologies
> > use a common syntax. Currently this may be either OBO or OWL, but we
> > would be happy to extend it to FOL / CL, and I personally would
> > welcome the creation of FOL-based bio-ontologies.
>
>The stated goal of Common Logic was to avoid or at least mitigate
>such controversies by using an *abstract syntax* that brings a
>large number of concrete syntaxes under a common semantic
>umbrella.
>
>With CL, it becomes possible to provide automatic translators among
>all syntaxes that are compatible with the common semantics.  That
>includes OWL and RDF(S), whose model-theoretic foundation is compatible
>with CL.  In fact, Pat Hayes was one of the co-authors of the documents
>for the semantics of both Common Logic and RDF(S).
>
>John
>
>
>_________________________________________________________________
>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/OntologySummit2008/
>Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2008
>Community Portal: http://ontolog.cim3.net/    (02)



_________________________________________________________________
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/OntologySummit2008/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2008 
Community Portal: http://ontolog.cim3.net/    (03)
<Prev in Thread] Current Thread [Next in Thread>