Dear Paola, (01)
You are missing the point. Logic is just one formalism that what
relationships are can be expressed in. Logic is not inherently built in to
them, only what can be expressed in logic (or other means). (02)
Regards (03)
Matthew West
Information Junction
Tel: +44 560 302 3685
Mobile: +44 750 3385279
matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
http://www.matthew-west.org.uk/ (04)
This email originates from Information Junction Ltd. Registered in England
and Wales No. 6632177.
Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
Hertfordshire, SG6 3JE. (05)
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-
> bounces@xxxxxxxxxxxxxxxx] On Behalf Of paola.dimaio@xxxxxxxxx
> Sent: 23 January 2009 11:46
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] Next steps in using ontologies as
> standards
>
> Hi Matthew
>
> relationships (hence the logic they rely upon for their existence)
> exist irrespective of the formalism they are expressed with
> the formalism is merely a representation
> even natural language relies on logic for its structure
>
>
> p
>
>
>
> On Fri, Jan 23, 2009 at 6:32 PM, Matthew West
> <dr.matthew.west@xxxxxxxxx> wrote:
> > Dear Paola,
> >
> >> >I do not see how it gets you to saying ontology includes logic.
> >>
> >> It looks to me that logic is inherent, intrinsic to what there is,
> >> therefore to ontology, as a description of it. I am not sure
> >> 'includes' is the best way to say it, but surely, its part of the
> glue
> >> that builds the conceptual scaffolding
> >
> > [MW] This would be true if logic was the only possible formalism that
> > ontology could be expressed in, but as I explained earlier it isn't.
> At
> > least category theory is an alternative.
> >>
> >> If you take out the logic that makes up the relationships between
> all
> >> the elements and components of an ontology, all we end up with is a
> >> pile of conceptual scrap
> >
> > [MW] First, I don't think that is true, but if you take logic away
> you have
> > to consider what you are going to use to express what is commonly
> expressed
> > in logic, but there are other options than logic.
> >
> > Regards
> >
> > Matthew West
> > Information Junction
> > Tel: +44 560 302 3685
> > Mobile: +44 750 3385279
> > matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
> > http://www.matthew-west.org.uk/
> >
> > This email originates from Information Junction Ltd. Registered in
> England
> > and Wales No. 6632177.
> > Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
> > Hertfordshire, SG6 3JE.
> >
> >
> >
> >
> >
> > _________________________________________________________________
> > Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> > Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-
> forum/
> > Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> > Shared Files: http://ontolog.cim3.net/file/
> > Community Wiki: http://ontolog.cim3.net/wiki/
> > To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> > To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> >
> >
>
>
>
> --
> Paola Di Maio
> **********************************
>
> Forthcoming
>
> i-Semantics 2009, 2 - 4 September 2009, Graz, Austria. www.i-
> semantics.tugraz.at
>
> SEMAPRO 2009, Malta
> http://www.iaria.org/conferences2009/RegistrationSEMAPRO09.html
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)
|