Warning:
This wiki has been archived and is now read-only.
FullActionsClosed
From OWL
Goto OWL 2 Full Open Actions Page
The closed actions in OWL 2 Full development.
Closed TF Actions
ID | Due Date | Person | Title |
---|---|---|---|
1 | 2008-03-31 | Michael Schneider | MOOT: Do review on Jeremy's QCR page |
2 | 2008-03-07 | Michael Schneider | Add known bugs in OWL-1.0-Full spec to TF-Issue list |
3 | 2008-03-31 | Michael Schneider | Raise WG-Issue about problems with QCR RDF-syntax |
4 | 2008-03-07 | Michael Schneider | Add Full-related WG-issues to WG-issues list in Full-Wiki |
5 | 2008-03-14 | Michael Schneider | Analysis how OWL-1.0-Full handles e.g. rdfs:subPropertyOf on data properties |
6 | 2008-06-31 | Michael Schneider | [MOOT] Check if 1.0-Full (without RDFS) depends on bNodes as existential variables |
7 | 2008-03-07 | Michael Schneider | Add Full-related WG-actions to WG-actions list in Full-Wiki |
8 | 2008-03-03 | Michael Schneider | Audit on semantics for Property Characteristics |
9 | 2008-03-04 | Michael Schneider | Audit on semantics for Disjoint Properties |
10 | 2008-03-31 | Michael Schneider | OUTOFSCOPE: Add all known issues with RDFS semantics to FullTopicsRDFSemantics |
11 | 2008-03-31 | Michael Schneider | IGNORED: Answer to Jeremy's mail on claim that OWL-DL in sec. 5.4 AS&S is RDFS extention |
12 | 2008-03-05 | Michael Schneider | Audit for FullSemanticsNegativePropertyAssertions |
13 | 2008-03-06 | Michael Schneider | Audit for FullSemanticsAxiomAnnotations |
14 | 2008-03-31 | Michael Schneider | IGNORED: Collect relevant postings for topics list from WG mailing list |
15 | 2008-03-31 | Michael Schneider | IGNORED: Collect relevant postings for topics list from OWL-DEV mailing list |
16 | 2008-03-30 | Michael Schneider | Change "IF AND ONLY IF ... THEN ..." to "... IF AND ONLY IF ..." |
17 | 2008-03-30 | Michael Schneider | DUPLICATE(21): owl:ObjectProperty and rdf:Property are different resources: semantics need to be adjusted |
18 | 2008-03-30 | Michael Schneider | main semantic condition for negative property assertions falls into prenexity trap, fix this |
19 | 2008-03-30 | Michael Schneider | correct occurrences of "owl:subPropertyOf" |
20 | 2008-04-06 | Michael Schneider | WONTDO: expand shortforms like "IOOP" into full forms like "CEXT_I(S_I(owl:ObjectProperty))" to ease reviewer's job |
21 | 2008-04-06 | Michael Schneider | DUPLICATE(29): axiomatic triples for data property features should not define subproperty relations to respecitve object property features, since this is not compatible with a possible DL version of OWL-Full (PFPS' 5th point?) |
22 | 2008-04-06 | Michael Schneider | rename "OWL 1.1" to "OWL 2" |
23 | 2008-04-06 | Michael Schneider | remove semantics for declarations, since dropped from OWL 2 vocabulary |
24 | 2008-04-13 | Michael Schneider | insert semantics entry for OWL Full Imports |
25 | 2008-04-13 | Michael Schneider | rename 'disjointProperties' to 'propertyDisjointWith' |
26 | 2008-04-13 | Michael Schneider | there is no vocabulary for object and data properties anymore, adjust semantics accordingly |
27 | 2008-06-31 | Michael Schneider | [DENIED] Collect all old OWL Full related WG issues in the "closed WG Issues" list |
28 | 2008-25-04 | Michael Schneider | Change all occurrence of namespace prefix "owl2" to "owl" |
29 | 2008-05-22 | Michael Schneider | [DENIED] Adjust axiomatic triples and semantic conditions according to the axiomatic triples design principle |
30 | 2008-05-07 | Michael Schneider | Build new QCR Semantics page, after resolving Issue 122 |
31 | 2008-05-31 | Michael Schneider | Add to each main semantic condition a subsidiary condition for handling data properties or datatypes (similar to owl:oneOf) |
32 | 2008-05-07 | Michael Schneider | DUPLICATE(33): Fix main semantic conditions of sequence based axioms to make them independent on comprehension principles. |
33 | 2008-05-31 | Michael Schneider | Check all main semantic conditions (in part. sequence based axioms) whether they are dependent on comprehension principles |
34 | 2008-05-07 | Michael Schneider | Check if having "n in LV_I and n is non-negative" in the THEN-branch of (Q)CRs is a bug |
35 | 2008-05-22 | Michael Schneider | Change Axiomatic Triples page by listing all axiomatic triples for OWL 1 Full |
36 | 2008-05-31 | Michael Schneider | Check whether the "unifying extensions" TF action is technical doable at all |
42 | before LC | M | check Wiki pages for relevant "considerations", and add them to the document |
43 | before LC | M | check old OWL documents for useful content |