Re: [ontolog-forum] symbolic equation?

James

that good to know thanks, I wonder
could you or your system help to translate algebra instructions for origami
making into
trees?
here some models
https://oriwiki.com/
here our project
https://github.com/Starborn/Origami/wiki/Origami-Rationale,-Outline


On Sun, Jun 28, 2020 at 2:52 PM 'James Davenport' via ontolog-forum <
ontolog-forum@googlegroups.com> wrote:

> OpenMath represents all mathematical expressions as trees (there is scope
> for DAGs, but this is really just space optimisation at one level),
> including equations.  Note that many people would represent a=b as
>
>     =
>
> /    \
>
> a     b
>
> OpenMath represents it as
>
>       OMA   (OpenMath application)
>
>    /   |   \
>
> =     a     b
>
> = is a node of type OMS (OpenMath symbol) with defined semantics
>
> a and b are nodes of type OMV (OpenMath variable).
>
> This way the unbounded variety of mathematical notation can be represented
> in a fixed number of node types.
>
> James
>
> *From:* ontolog-forum@googlegroups.com <ontolog-forum@googlegroups.com> *On
> Behalf Of *Paola Di Maio
> *Sent:* 28 June 2020 00:25
> *To:* ontolog-forum <ontolog-forum@googlegroups.com>
> *Cc:* W3C AIKR CG <public-aikr@w3.org>
> *Subject:* Re: [ontolog-forum] symbolic equation?
>
>
>
> *CAUTION: * This email came from outside of the University. To keep your
> account safe, only click on links and open attachments if you know the
> person who sent the email, or you expected to receive this communication.
>
>
>
> Thank you Alex
>
> as per my reply to John- it looks like the paper you point to also uses
> symbolic as in alphanumeric
>
> algebra
>
> (the question originated from a symbolic KR point of view which is
> something else entirely, I now start thinking the use of the term symbolic
> should be better disambiguated)  symbolic AI/KR is not related to
>
> algebraic notation, afaik
>
>
>
> anyway, I love the representation of equations as trees. I need to try
> that out, maybe write an exercise book to transform equations into trees,
> and vice versa,  But from my guess. not every equation can be translated to
> a tree, what do you think?
>
>
>
> It will take also an awful lot of space. I still like trees much more than
> I like equations
>
>
>
> PDM
>
>
>
> On Sun, Jun 28, 2020 at 12:32 AM Alex Shkotin <alex.shkotin@gmail.com>
> wrote:
>
> I got it
> https://groups.google.com/d/msg/ontolog-forum/MuVb2mRSACc/E2oX4krcAAAJ
> <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsg%2Fontolog-forum%2FMuVb2mRSACc%2FE2oX4krcAAAJ&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359382989&sdata=uMaQ8%2Fjn3qY9THWxMI1KM0568F0mlFzn%2Fg1ImVo3DJE%3D&reserved=0>
>
>
>
> сб, 27 июн. 2020 г. в 15:23, Paola Di Maio <paola.dimaio@gmail.com>:
>
> Yes I think I am seeing that
>
> Please share exciting examples
>
>
>
> On Sat, Jun 27, 2020 at 8:16 PM Alex Shkotin <alex.shkotin@gmail.com>
> wrote:
>
> Paola,
>
>
>
> I absolutely agree with your intention and my way would be to get from the
> authors definitions for both:-)
>
> But I am in the position that most important and even terrific is that
> they begin to train ANN with symbolic input and/or output, getting exciting
> results.
>
>
>
> сб, 27 июн. 2020 г. в 14:50, Paola Di Maio <paola.dimaio@gmail.com>:
>
> James
>
> good read, thanks for sharing
>
> well, I am familiar with equations in algebra, but did not know the other
> meanings, so I definitely learn something :-)
>
> Alex:   I am only concerned with ambiguity/misuse/undefined/misleading
> terminology
>
> In KR, afaik, symbolic representation does not include algebra, but some
> scholars include in symbolic representation some types of logical notation
> or techniques such as baesyan inference which uses algebraic notation.
> Would his symbolic equation mean this is symbolic representation (in which
> case I would disagree/not be sure/have to look further into it) would this
> symbolic equation mean something else,
>
> in a mathematical sense (this is why I asked)   if so why does it not
> exist in the encyclopedia of mathematics which is what I look up from time
> to time as a reference
>
> If its just used as a colloqualism to mean symbolic expression then note
> that even that does not exist
>
> as a term itself,(many forms of expression in algebra but symbolic
> expression is not a formal definition according to the encyclopedia)  I am
> being pedantic only because I d like to understand what people are talking
> about with these equations
>
>
> https://encyclopediaofmath.org/index.php?search=%22+expression%22&title=Special%3ASearch&profile=default&fulltext=1
> <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fencyclopediaofmath.org%2Findex.php%3Fsearch%3D%2522%2Bexpression%2522%26title%3DSpecial%253ASearch%26profile%3Ddefault%26fulltext%3D1&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359382989&sdata=gKJ8aoF8vjaWYo66%2FxXE8Pv5iqPj7WpKnj9jC9qaZUg%3D&reserved=0>
>
>
>
>
> On Sat, Jun 27, 2020 at 6:51 PM 'James Davenport' via ontolog-forum <
> ontolog-forum@googlegroups.com> wrote:
>
> There is also significant ambiguity over the meaning of the word
> ‘equation’: see
>
> Marcus,S. & Watt,S.M.,
>
> What is an Equation?.
>
> Proc. SYNASC 2012, IEEE Press, 2012, pp. 23-29,
>
> http://www.csd.uwo.ca/~watt/pub/reprints/2012-synasc-equations.pdf
> <https://eur01.safelinks.protection.outlook.com/?url=http:%2F%2Fwww.csd.uwo.ca%2F~watt%2Fpub%2Freprints%2F2012-synasc-equations.pdf&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359392986&sdata=37MshRFSgLrL38Wa%2FS9QGKLYOX6Wa0niLM2awQZXREg%3D&reserved=0>
>
>
>
> *From:* ontolog-forum@googlegroups.com <ontolog-forum@googlegroups.com> *On
> Behalf Of *Alex Shkotin
> *Sent:* 27 June 2020 11:09
> *To:* ontolog-forum <ontolog-forum@googlegroups.com>
> *Cc:* W3C AIKR CG <public-aikr@w3.org>
> *Subject:* Re: [ontolog-forum] symbolic equation?
>
>
>
> *CAUTION: * This email came from outside of the University. To keep your
> account safe, only click on links and open attachments if you know the
> person who sent the email, or you expected to receive this communication.
>
>
>
> By the way in the paper itself there is no term "symbolic equation" the
> most used is "symbolic expression".
>
>
>
> сб, 27 июн. 2020 г. в 12:05, Paola Di Maio <paola.dimaio@gmail.com>:
>
> yes, I could not find any reference in the history of maths to symbolic
> equations
>
> as constructs
>
>
>
>
>
> On Sat, Jun 27, 2020 at 4:53 PM Alex Shkotin <alex.shkotin@gmail.com>
> wrote:
>
> Paola,
>
>
>
> Are you asking specifically about this particular symbolic equation?
>
> [image: image.png]
>
>
>
> Alex
>
>
>
> сб, 27 июн. 2020 г. в 02:41, Paola Di Maio <paola.dimaio@gmail.com>:
>
> I  am not sure I understand the construct *symbolic equation *in this
> slide
>
> anyone could like to comment/explain?
>
> https://twitter.com/ykilcher/status/1276158135258972161/photo/1
> <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftwitter.com%2Fykilcher%2Fstatus%2F1276158135258972161%2Fphoto%2F1&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359392986&sdata=IYy%2BdROlCVJ8%2BVOlbt9lcSkwhNWLL6TnVc%2BJPGN8e14%3D&reserved=0>
>
>
> --
> All contributions to this forum are covered by an open-source license.
> For information about the wiki, the license, and how to subscribe or
> unsubscribe to the forum, see http://ontologforum.org/info/
> <https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fontologforum.org%2Finfo%2F&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359402980&sdata=c%2F1DTojNBziheKMPu7mha12hQwqbJJHOIX%2BP42g3Ess%3D&reserved=0>
> ---
> You received this message because you are subscribed to the Google Groups
> "ontolog-forum" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ontolog-forum+unsubscribe@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSqMracV5Do-xUu2PLOboVzx7gkobgjUjnXKzCZ7aRNnzQ%40mail.gmail.com
> <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fontolog-forum%2FCAMXe%253DSqMracV5Do-xUu2PLOboVzx7gkobgjUjnXKzCZ7aRNnzQ%2540mail.gmail.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359402980&sdata=vIL6%2BV4BrzUZQtYjZiTlH8PfX%2BKEwXyfVCdVKWWTTEM%3D&reserved=0>
> .
>
> --
> All contributions to this forum are covered by an open-source license.
> For information about the wiki, the license, and how to subscribe or
> unsubscribe to the forum, see http://ontologforum.org/info/
> <https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fontologforum.org%2Finfo%2F&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359412974&sdata=2KtPSS15S0L12g67fKjuNjTPlchxlw%2BtEFSEIJjTO1Q%3D&reserved=0>
> ---
> You received this message because you are subscribed to the Google Groups
> "ontolog-forum" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ontolog-forum+unsubscribe@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ontolog-forum/CAFxxROQf84aMUtwptz1OQX_2G8Mrr4eOKgocJwZMxT3CCmLOaQ%40mail.gmail.com
> <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fontolog-forum%2FCAFxxROQf84aMUtwptz1OQX_2G8Mrr4eOKgocJwZMxT3CCmLOaQ%2540mail.gmail.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359422971&sdata=pU%2BlCFfOscvevaQEMh3G82ooORbZVWL3ovT9WARaq5o%3D&reserved=0>
> .
>
> --
> All contributions to this forum are covered by an open-source license.
> For information about the wiki, the license, and how to subscribe or
> unsubscribe to the forum, see http://ontologforum.org/info/
> <https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fontologforum.org%2Finfo%2F&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359422971&sdata=VJb3uQnemkDBFrwDAszLxUAVByuRSeQbnbicgNLh8RY%3D&reserved=0>
> ---
> You received this message because you are subscribed to the Google Groups
> "ontolog-forum" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ontolog-forum+unsubscribe@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSojOc6ewxFZ3A_hwcYfP74K-PvTqLTxZyA20eNYB6wZ4Q%40mail.gmail.com
> <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fontolog-forum%2FCAMXe%253DSojOc6ewxFZ3A_hwcYfP74K-PvTqLTxZyA20eNYB6wZ4Q%2540mail.gmail.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359432965&sdata=tq3D7pK9Wi87LqBEI8XmQyYBdsvFqcSLKxSHq1jIMYc%3D&reserved=0>
> .
>
> --
> All contributions to this forum are covered by an open-source license.
> For information about the wiki, the license, and how to subscribe or
> unsubscribe to the forum, see http://ontologforum.org/info/
> <https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fontologforum.org%2Finfo%2F&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359432965&sdata=7fNXVtBy4i7%2BPtqyu0GB7UGlHeYeHkaUI0pnmX7OVUo%3D&reserved=0>
> ---
> You received this message because you are subscribed to the Google Groups
> "ontolog-forum" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ontolog-forum+unsubscribe@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ontolog-forum/CAFxxROS0TT__bBHTGMLLzPfbtcp5HTL-mur9CLzkAMJ-MPJmbw%40mail.gmail.com
> <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fontolog-forum%2FCAFxxROS0TT__bBHTGMLLzPfbtcp5HTL-mur9CLzkAMJ-MPJmbw%2540mail.gmail.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359442957&sdata=Mhq0TkMAanMVNtXYw6W%2FbU0gRgc3DlUqSPulEucmq5g%3D&reserved=0>
> .
>
> --
> All contributions to this forum are covered by an open-source license.
> For information about the wiki, the license, and how to subscribe or
> unsubscribe to the forum, see http://ontologforum.org/info/
> <https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fontologforum.org%2Finfo%2F&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359442957&sdata=vFlOtlB1FyGjfKhaxt%2BvfQwLLvkOD7Hz2Se%2BcBAE1G0%3D&reserved=0>
> ---
> You received this message because you are subscribed to the Google Groups
> "ontolog-forum" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ontolog-forum+unsubscribe@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ontolog-forum/LO2P265MB1341F0CD0F400C669A50553DE0900%40LO2P265MB1341.GBRP265.PROD.OUTLOOK.COM
> <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fontolog-forum%2FLO2P265MB1341F0CD0F400C669A50553DE0900%2540LO2P265MB1341.GBRP265.PROD.OUTLOOK.COM%3Futm_medium%3Demail%26utm_source%3Dfooter&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359452951&sdata=Q20PiJemmy%2B9GBeqxW0b0NbwxNIYz5fCIIyCKln3XP4%3D&reserved=0>
> .
>
> --
> All contributions to this forum are covered by an open-source license.
> For information about the wiki, the license, and how to subscribe or
> unsubscribe to the forum, see http://ontologforum.org/info/
> <https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fontologforum.org%2Finfo%2F&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359452951&sdata=0uX7%2BjYcDsfuUKQWZolRol8sLzYF39vtItqEzB5IwJc%3D&reserved=0>
> ---
> You received this message because you are subscribed to the Google Groups
> "ontolog-forum" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ontolog-forum+unsubscribe@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSp8-y1RCaHk%2BcyTTd3iOf1e1bsK%2Boxfh_4MmvSpn8oeng%40mail.gmail.com
> <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fontolog-forum%2FCAMXe%253DSp8-y1RCaHk%252BcyTTd3iOf1e1bsK%252Boxfh_4MmvSpn8oeng%2540mail.gmail.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359452951&sdata=iZ2XBqtOR0f4ufbGgAB%2BjH4WlAsXl9Ck7XsSwzMsbkE%3D&reserved=0>
> .
>
> --
> All contributions to this forum are covered by an open-source license.
> For information about the wiki, the license, and how to subscribe or
> unsubscribe to the forum, see http://ontologforum.org/info/
> <https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fontologforum.org%2Finfo%2F&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359462946&sdata=MNbezbXhsNVhrJlmVFDDeNw9nVDmklTVYHlwxwZ1sH8%3D&reserved=0>
> ---
> You received this message because you are subscribed to the Google Groups
> "ontolog-forum" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ontolog-forum+unsubscribe@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ontolog-forum/CAFxxROQ6XxbdkoRM6c_wzbSpB3ZpnrX1818c9rNjMtq1C_PFCA%40mail.gmail.com
> <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fontolog-forum%2FCAFxxROQ6XxbdkoRM6c_wzbSpB3ZpnrX1818c9rNjMtq1C_PFCA%2540mail.gmail.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359462946&sdata=M6IesX04OW3l6QkUeBx8o97vp7Game0weJAVH8eSQ30%3D&reserved=0>
> .
>
> --
> All contributions to this forum are covered by an open-source license.
> For information about the wiki, the license, and how to subscribe or
> unsubscribe to the forum, see http://ontologforum.org/info/
> <https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fontologforum.org%2Finfo%2F&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359472943&sdata=liyoygHJ%2F2KuoS12yrv52BhUgRLOjXQe2WxhZWuiw3I%3D&reserved=0>
> ---
> You received this message because you are subscribed to the Google Groups
> "ontolog-forum" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ontolog-forum+unsubscribe@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSrdSfcBWSROSm76HnS-bDADh49w6p1o-9UeT3dCCmX7gQ%40mail.gmail.com
> <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fontolog-forum%2FCAMXe%253DSrdSfcBWSROSm76HnS-bDADh49w6p1o-9UeT3dCCmX7gQ%2540mail.gmail.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359472943&sdata=gX4ejYmdmnIZXbfgxK2%2BO0VMNNlGEN3Nf%2F6kaqcbZPI%3D&reserved=0>
> .
>
> --
> All contributions to this forum are covered by an open-source license.
> For information about the wiki, the license, and how to subscribe or
> unsubscribe to the forum, see http://ontologforum.org/info/
> <https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fontologforum.org%2Finfo%2F&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359482935&sdata=nAuAoHn2k%2BvTtwbMUJYHQVRGQB8JF3GDP8xtgwqPJC8%3D&reserved=0>
> ---
> You received this message because you are subscribed to the Google Groups
> "ontolog-forum" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ontolog-forum+unsubscribe@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ontolog-forum/CAFxxROS3fH5hrPoR_fVD06imRU4DLdjEH3QZtebWnBa2vjC4gg%40mail.gmail.com
> <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fontolog-forum%2FCAFxxROS3fH5hrPoR_fVD06imRU4DLdjEH3QZtebWnBa2vjC4gg%2540mail.gmail.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359482935&sdata=A%2Fu7QgVi0Ln%2B6tWeKHvWviPGj0oZwj62LopeOtGkaEs%3D&reserved=0>
> .
>
> --
> All contributions to this forum are covered by an open-source license.
> For information about the wiki, the license, and how to subscribe or
> unsubscribe to the forum, see http://ontologforum.org/info/
> <https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fontologforum.org%2Finfo%2F&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359492930&sdata=4JE3tOOVpFSyCy1ALam9iUyVHWXL43raojVUVgnfnEo%3D&reserved=0>
> ---
> You received this message because you are subscribed to the Google Groups
> "ontolog-forum" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ontolog-forum+unsubscribe@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSpgsXDcqSoE8Jz%2B5EGDf6tQptyU%2BquX4VYNRgMFdBWABw%40mail.gmail.com
> <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fontolog-forum%2FCAMXe%253DSpgsXDcqSoE8Jz%252B5EGDf6tQptyU%252BquX4VYNRgMFdBWABw%2540mail.gmail.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C30f92a448331427b842608d81af15969%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288972359492930&sdata=zOYivBpX3rn9stZQEhPuc52QRpLd1EMp16%2F96PIYBYQ%3D&reserved=0>
> .
>
> --
> All contributions to this forum are covered by an open-source license.
> For information about the wiki, the license, and how to subscribe or
> unsubscribe to the forum, see http://ontologforum.org/info/
> ---
> You received this message because you are subscribed to the Google Groups
> "ontolog-forum" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ontolog-forum+unsubscribe@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ontolog-forum/LO2P265MB1341B8D6E414A3DB68D01055E0910%40LO2P265MB1341.GBRP265.PROD.OUTLOOK.COM
> <https://groups.google.com/d/msgid/ontolog-forum/LO2P265MB1341B8D6E414A3DB68D01055E0910%40LO2P265MB1341.GBRP265.PROD.OUTLOOK.COM?utm_medium=email&utm_source=footer>
> .
>