All DIG users are invited to the following meeting to progress the DIG specification.
Thursday October 14, 2004
11:00-17:00 GMT
Room LF7, Kilburn Building
School of Computer Science
University of Manchester
Oxford Road
Manchester, UK
Directions
See DIG Blog.
| Topic | Proposer | Id |
|---|---|---|
| query verb for attribute values | Ian Dickinson | 3 |
| equality of instances/UNA | Ian Dickinson | 5 |
| anonymous resources | Ian Dickinson | 6 |
| hasValue | Ian Dickinson | 7 |
| concrete domains | Ian Dickinson | 8 |
| inverse functional | Ian Dickinson | 9 |
| differentFrom | Ian Dickinson | 10 |
| is_consistent kburi | Ian Dickinson | 11 |
| equivalent roles | Ian Dickinson | 12 |
| query axioms for properties (functional, transitive etc) | Ian Dickinson | 13 |
| type testing for concept, role, individual | Ian Dickinson | 14 |
| testing/retrieving disjoints/equivalents in hierarchy | Ian Dickinson | 15 |
| listing role fillers for all roles/indivs | Ian Dickinson | 16 |
| enrich DIG with query language | Birte Glimm | 17 |
| temporary assertions | Birte Glimm | 18 |
| expose more reasoner functionality | Ian Horrocks | 20 |
| reasoner behaviour control | D Tsarkov | 21 |
| swrl | D Tsarkov | 22 |
| remove defs and axioms from kb | M Horridge | 23 |
| is kb uri valid | M Horridge | 24 |
| time info | M Horridge | 25 |
| serialise reasoner content | M Horridge | 26 |
| cardinality restrictions on datatype props | M Horridge | 27 |
| list explicitly all supported functionality | M Horridge | 28 |
| data ranges | M Horridge | 31 |
| Topic | Proposer | Id |
|---|---|---|
| catom v top and bottom | Ian Dickinson | 1 |
| result v results | Ian Dickinson | 2 |
| error codes | Ian Dickinson | 4 |
| kb syntax: owl v dig | Ian Horrocks | 19 |
| syntactic sugar for atmost + atleast | Daniele Turi | 32 |
| Topic | Proposer | Id |
|---|---|---|
| zip | M Horridge | 29 |
| checksum | M Horridge | 30 |
| Topic | Proposer | Classification | Type | Id |
|---|---|---|---|---|
| catom v top and bottom | ID | FT | C | 1 |
| result v results | ID | FT | C | 2 |
| query verb for attribute values | ID | FC | A | 3 |
| Error codes | ID | FT | C | 4 |
| equality of instances/UNA | ID | FC | A | 5 |
| anonymous resources | ID | FC | A | 6 |
| hasValue | ID | FC | A | 7 |
| concrete domains | ID | FC | A | 8 |
| inverse functional | ID | FC | A | 9 |
| differentFrom | ID | FC | A | 10 |
| is_consistent kburi | ID | FC | A | 11 |
| equivalent roles | ID | FC | A | 12 |
| query axioms for properties (functional, transitive etc) | ID | FC | A | 13 |
| type testing for concept, role, individual | ID | FC | A | 14 |
| testing/retrieving disjoints/equivalents in hierarchy | ID | FC | A | 15 |
| listing role fillers for all roles/indivs | ID | FC | A | 16 |
| enrich DIG with query language | BG | FC | A | 17 |
| temporary assertions | BG | FC | A | 18 |
| kb syntax: owl v dig | IH | FT | C | 19 |
| expose more reasoner functionality | IH | FC | A | 20 |
| reasoner behaviour control | tsar | FC | A | 21 |
| swrl | tsar | FC | A | 22 |
| remove defs and axioms from kb | MH | FC | A | 23 |
| is kb uri valid | MH | FC | A | 24 |
| time info | MH | FC | A | 25 |
| serialise reasoner content | MH | FC | A | 26 |
| cardinality restrictions on datatype props | MH | FC | A | 27 |
| list explicitly all supported functionality | MH | FC | A | 28 |
| zip | MH | PB | A | 29 |
| checksum | MH | PB | A | 30 |
| data ranges | MH | FC | A | 31 |
| syntactic sugar for atmost + atleast | DT | FT | A | 32 |