[Trac] [OpenMath] #45: CD logic1

OpenMath trac at strawberry.eecs.jacobs-university.de
Sat Sep 13 01:44:08 CEST 2008


#45: CD logic1
------------------------------+---------------------------------------------
     Reporter:  jauecker      |          Owner:  kohlhase  
         Type:  proposal      |         Status:  new       
     Priority:  major         |      Milestone:  CD3 Draft1
    Component:  OM3 Standard  |        Version:            
   Resolution:                |       Keywords:            
Include_gantt:  0             |   Dependencies:            
   Due_assign:  YYYY/MM/DD    |      Due_close:  YYYY/MM/DD
------------------------------+---------------------------------------------
Comment (by clange):

 @Jakob, here are my ideas about copying the discussion to the
 [http://wiki.openmath.org wiki] – Thanks!  (''Additional comments that
 cannot easily be put into practice are in italics as a to-do for my own
 modelling of the
 [http://kwarc.info/projects/swim/pubs/lwa08-argumentation.pdf
 argumentation ontology]; you can ignore them for copying.'')

 Please handle the paragraphs 1 to 4 from Chris's comment as follows:
  # I don't see any reference to a union either, nowhere in the CD.  I'd
 file it as an Issue with the whole CD, and let Michael reply "I do not
 understand :-("
  # another Issue with the CD, having Michael's request for elaboration as
 a reply
  # another Issue with the CD, having another copy of the request for
 elaboration as a reply
  # Please find (by text search on the browser page of the whole CD) all
 symbols where this applies (mostly to one of the "description" fields),
 and for each such symbol, file the same sentence as an Issue. ''That shows
 that if there are repetitions in a knowledge base one may again need the
 ability of one discussion post to refer to multiple knowledge items.''

-- 
Ticket URL: <https://trac.mathweb.org/OM3/ticket/45#comment:3>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.


More information about the Trac mailing list