Changes between Version 20 and Version 21 of SigMmtMom260913
- Timestamp:
- 10/01/13 11:46:40 (11 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
SigMmtMom260913
v20 v21 4 4 5 5 === Attendees === 6 7 Håvard Ottestad[[BR]] 8 Onno Paap[[BR]] 9 Geiza[[BR]] 10 Manoj Dharwadkar[[BR]] 11 Victor Agroskin[[BR]] 12 Keith Willshaw[[BR]] 13 Hans Teijgeler[[BR]] 14 Darius Kanga[[BR]] 15 Michael Wiedau[[BR]] 6 Håvard Ottestad[[BR]] Onno Paap[[BR]] Geiza[[BR]] Manoj Dharwadkar[[BR]] Victor Agroskin[[BR]] Keith Willshaw[[BR]] Hans Teijgeler[[BR]] Darius Kanga[[BR]] Michael Wiedau 16 7 17 8 === Agenda: === … … 30 21 '''4. Discussing the template review process''' 31 22 32 '''4.1. Selection of templates''' 23 '''4.1. Selection of templates''' 33 24 34 25 There was a discussion and the templates that were selected were classification and description classification templates. … … 41 32 ||SELECTED||__[http://15926.org/templatespecs/IN-DESCR-06.xml?cachebuster=0.37202000%201380619160 DescriptionOfIndividualWithClassifiedSign]__||For Approval||DESCRIPTION||A !PossibleIndividual is described with an individual that serves as a sign, according to a given Sign class (e.g. DIN 4844).||IN-DESCR-06.xml|| 42 33 43 '''4.2. Requirements to the templates (proposal specification)'''34 '''4.2. Requirements to the templates (proposal specification)''' 44 35 45 36 '''4.2.1. Technical''' 46 37 47 38 The first order logic needs to be checked. The logic expands in the expander. Fyi, the syntax should be prover9 so it might be possible to use https://www.cs.unm.edu/~mccune/prover9/ for the proofs. 48 39 49 40 The OWL structure needs to be discussed further. Onno will make a discussion page for this on 15926.org. 50 41 … … 61 52 No further textual requirements were put forward. 62 53 63 '''4.3. Requirements to supporting documentation'''64 65 Hans will write about the "definition" field and placeholders in the supporting documentation.54 '''4.3. Requirements to supporting documentation''' 55 56 Hans will write about the "definition" field and placeholders in the supporting documentation. 66 57 67 58 '''5. Execution of the review process''' … … 69 60 Onno will write an email with a list of the people who should contribute to the review process based on the list of members of the MMT. 70 61 71 '''5.1. Creating proposal''' 62 == Meeting adjourned - The remaining points will be discussed in the next meeting == 72 63 73 '''5.2. How to organise hearing?'''64 '''5.1. Creating proposal''' 74 65 75 '''5.2.1. Send email? Upload on webpage? Who should be notified?'''66 '''5.2. How to organise hearing?''' 76 67 77 '''5.3. How to collect feedback using ISO comment form?''' 68 '''5.2.1. Send email? Upload on webpage? Who should be notified?''' 69 70 '''5.3. How to collect feedback using ISO comment form?''' 78 71 79 72 '''6. Discussing the goal of the review process''' 80 73 81 '''6.1. Who will use the templates?'''74 '''6.1. Who will use the templates?''' 82 75 83 '''6.2. How will they become available?'''76 '''6.2. How will they become available?''' 84 77 85 '''6.3. Ownership and licensing'''78 '''6.3. Ownership and licensing''' 86 79 87 80 '''7. A.O.B.'''