ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] Common Logic and decimal numerals

 To: "[ontolog-forum] " David Leal Wed, 03 Jun 2009 15:03:13 +0100 <1.5.4.32.20090603140313.00d27080@xxxxxxxxxxxxxxxx>
 ```Dear John,    (01) Thank you for your comments. I agree with them.    (02) Perhaps I am groping towards a more subtle point - often a mathematical understanding is deemed useful because it justifies a useful notation. MathML is a notation which is limited to thet 6th form (en-uk) or 12th grade (en-us) mathematics, which is all that engineers usually use. This can define the level of mathematical understanding we are looking for. My example:    (03) > > > 5 > > >From an ontology for quantities and units, it should be possible to learn that: >a) there is a "times-like" operator on (real, length) pairs, which evaluates to give a real, >b) there is a length (called the Metre), which everybody knows, >and hence that the MathML is valid.    (04) is naive (but not so naive that it is indifferent to the nature of operators and operands). At a slightly less naive level, we are postulating an "algebraic structure" which contains the set of length values, the "times-like" operator, and some other things.    (05) We are not going to create an ontology for all of mathematics. Instead we need an ontology that is pitched at the right level to support our requirements.    (06) Best regards, David    (07) At 08:43 03/06/2009 -0400, you wrote: >Dear David, > >DL> We could gain benefits from defining good interfaces between > > notations which can represent some logic (such as OWL) and MathML. > > We could also think about how MathML takes advantage of ontologies. > >Many people become passionate about notations because any change >in notation can make their programs incompatible or obsolete. > >That is why Common Logic was defined with an abstract syntax, >examples of several different syntaxes, and the option for letting >anyone define whatever new syntaxes they might find useful. > >For CL, no notation has a privileged status, and any notation >that supports the standard semantics is as acceptable as any >other -- provided that the notation has a formally defined >mapping to the abstract syntax. > >The Wolfram Mathematica system is an example of a very large >library of modules (called 'notebooks'), which support all the >major versions of mathematics. The Mathematica software uses >its own internal notation (which most users never see), and >it supports an open-ended variety of external notations: >a printed form for the traditional mathematical publications, >a simplified form for typed input, MathML, and a variety of >notations specialized for particular languages such as FORTRAN >or LISP. > >I would recommend an approach along the lines of Mathematica, >Common Logic, and many other systems that are based on an >abstract syntax but an open-ended number of concrete syntaxes. > >John Sowa > > >_________________________________________________________________ >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 > >    (08) ============================================================ David Leal CAESAR Systems Limited registered office: 29 Somertrees Avenue, Lee, London SE12 0BS registered in England no. 2422371 tel: +44 (0)20 8857 1095 mob: +44 (0)77 0702 6926 e-mail: david.leal@xxxxxxxxxxxxxxxxxxx web site: http://www.caesarsystems.co.uk ============================================================    (09) _________________________________________________________________ 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    (010) ```
 Current Thread [ontolog-forum] Common Logic and decimal numerals, Jawit Kien Re: [ontolog-forum] Common Logic and decimal numerals, Randall R Schulz Re: [ontolog-forum] Common Logic and decimal numerals, David Leal Re: [ontolog-forum] Common Logic and decimal numerals, John F. Sowa Re: [ontolog-forum] Common Logic and decimal numerals, Ed Barkmeyer Re: [ontolog-forum] Common Logic and decimal numerals, David Leal <=