w3c/wbs-design or
by mail to sysreq.
W3C
Site Navigation
Nearby
Results of Questionnaire What should we title the OWL2 Semantics Documents?
The results of this questionnaire are available to anybody.
This questionnaire was open from 2008-09-18 to 2008-09-23.
12 answers have been received.
Jump to results for question:
1. Are These Titles Okay?
For each pair of titles below, please indicate whether you think they are acceptable. If you have a preference among the acceptable ones, please indicate it with "Yes, and prefer" or "Yes, and prefer not".
Note that these titles will be used in formal and informal citations and links between our documents, and probably in many documents we do not control.
Summary
| Choice | All responders | |||
|---|---|---|---|---|
| No | Yes, but prefer not | Yes | Yes, and prefer | |
| "Model-Theoretic Semantics" and "RDF-Based Semantics". (This has been their working titles so far. But they both use model theory.) | 4 | 2 | 5 | |
| "Semantics of OWL DL, EL, and QL" and "Semantics of OWL Full and RL". | 7 | 2 | 2 | |
| "First Order Semantics" and "RDF-Based Semantics". (But Michael says the second is also first-order. More discussion on list results in him suggesting options 12 and 13 below) | 4 | 3 | 4 | |
| "Primary Semantics" and "RDF-Based Semantics". ("Primary" in the sense that it came first, but some may take it to suggest it's better or something.) | 2 | 4 | 5 | |
| "Direct Semantics" and "RDF-Based Semantics" (Keeps the word "Direct" from OWL1) | 4 | 4 | 3 | |
| "Direct Model-Theoretic Semantics" and "RDF-Compatible Model-Theoretic Semantics" (These are the terms used in OWL1) | 1 | 8 | 1 | 1 |
| "DL Semantics" and "RDF-Based Semantics" (But Uli says it's not DL -- that is, some people will think this means the Semantics are specified using DL, rather than they are the semantics of OWL DL.) | 6 | 1 | 3 | 1 |
| "Semantics" and "RDF-Based Semantics" (This is what they are called on the wiki navigation bar.) | 5 | 1 | 5 | |
| LATE ADDITION: "Semantics of DL" and "Semantics of Full" (with the standard prefix: "OWL 2 Web Ontology Language: Semantics of DL") | 4 | 1 | 1 | |
| LATE ADDITION: "Semantics of OWL DL" and "Semantics of OWL Full" (with the standard prefix: "OWL 2 Web Ontology Language: Semantics of OWL DL") | 4 | 1 | 1 | |
| LATE ADDITION: "Semantics of OWL 2 DL" and "Semantics of OWL 2 Full" (with the standard prefix: "OWL 2 Web Ontology Language: Semantics of OWL 2 DL") | 4 | 2 | ||
| LATE ADDITION: "Standard First Order Semantics" and "RDF-Based Semantics" | 1 | 5 | ||
| LATE ADDITION: "Standard FOL Semantics" and "RDF-Based Semantics" | 3 | 2 | 1 | |
Ranking of choices in order of least unacceptable/most prefered:
| Ranks | All responders: |
|---|---|
| 1 | LATE ADDITION: "Standard First Order Semantics" and "RDF-Based Semantics" |
| 2 | LATE ADDITION: "Standard FOL Semantics" and "RDF-Based Semantics" |
| 3 | "Direct Semantics" and "RDF-Based Semantics" (Keeps the word "Direct" from OWL1) |
| 4 | "Direct Model-Theoretic Semantics" and "RDF-Compatible Model-Theoretic Semantics" (These are the terms used in OWL1) |
| 5 | "Primary Semantics" and "RDF-Based Semantics". ("Primary" in the sense that it came first, but some may take it to suggest it's better or something.) |
| 6 | LATE ADDITION: "Semantics of DL" and "Semantics of Full" (with the standard prefix: "OWL 2 Web Ontology Language: Semantics of DL") |
| 7 | LATE ADDITION: "Semantics of OWL 2 DL" and "Semantics of OWL 2 Full" (with the standard prefix: "OWL 2 Web Ontology Language: Semantics of OWL 2 DL") |
| 8 | LATE ADDITION: "Semantics of OWL DL" and "Semantics of OWL Full" (with the standard prefix: "OWL 2 Web Ontology Language: Semantics of OWL DL") |
| 9 | "Model-Theoretic Semantics" and "RDF-Based Semantics". (This has been their working titles so far. But they both use model theory.) |
| 10 | "First Order Semantics" and "RDF-Based Semantics". (But Michael says the second is also first-order. More discussion on list results in him suggesting options 12 and 13 below) |
| 11 | "Semantics" and "RDF-Based Semantics" (This is what they are called on the wiki navigation bar.) |
| 12 | "DL Semantics" and "RDF-Based Semantics" (But Uli says it's not DL -- that is, some people will think this means the Semantics are specified using DL, rather than they are the semantics of OWL DL.) |
| 13 | "Semantics of OWL DL, EL, and QL" and "Semantics of OWL Full and RL". |
Details
| Responder | "Model-Theoretic Semantics" and "RDF-Based Semantics". (This has been their working titles so far. But they both use model theory.) | "Semantics of OWL DL, EL, and QL" and "Semantics of OWL Full and RL". | "First Order Semantics" and "RDF-Based Semantics". (But Michael says the second is also first-order. More discussion on list results in him suggesting options 12 and 13 below) | "Primary Semantics" and "RDF-Based Semantics". ("Primary" in the sense that it came first, but some may take it to suggest it's better or something.) | "Direct Semantics" and "RDF-Based Semantics" (Keeps the word "Direct" from OWL1) | "Direct Model-Theoretic Semantics" and "RDF-Compatible Model-Theoretic Semantics" (These are the terms used in OWL1) | "DL Semantics" and "RDF-Based Semantics" (But Uli says it's not DL -- that is, some people will think this means the Semantics are specified using DL, rather than they are the semantics of OWL DL.) | "Semantics" and "RDF-Based Semantics" (This is what they are called on the wiki navigation bar.) | LATE ADDITION: "Semantics of DL" and "Semantics of Full" (with the standard prefix: "OWL 2 Web Ontology Language: Semantics of DL") | LATE ADDITION: "Semantics of OWL DL" and "Semantics of OWL Full" (with the standard prefix: "OWL 2 Web Ontology Language: Semantics of OWL DL") | LATE ADDITION: "Semantics of OWL 2 DL" and "Semantics of OWL 2 Full" (with the standard prefix: "OWL 2 Web Ontology Language: Semantics of OWL 2 DL") | LATE ADDITION: "Standard First Order Semantics" and "RDF-Based Semantics" | LATE ADDITION: "Standard FOL Semantics" and "RDF-Based Semantics" | Rationale | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Boris Motik | Yes | No | Yes | Yes | Yes | Yes, and prefer | No | No | "Direct" seems to correctly capture the essense of this semantics, becuase the semantics does not go through the RDF layer. "Semantics of OWL DL, EL, and QL" and "Semantics of OWL Full and RL" seems incorrect: the direct semantics is a semantics for OWL RL, whereas the RDF-based semantics is a semantics for OWL RF/RDF. Anyway, all this seems too much of a mouthful. "Semantics" and "RDF-Based Semantics" seems a recipe for ambiguity. "DL Semantics" is putting too much weight on DLs, since the semantics is actually the standard first-order semantics: concepts are unary predicates so they are interpreted as sets, and properties are binary predicates so they are interpreted as relations. | ||||||
| Thomas Schneider | |||||||||||||||
| Ian Horrocks | Yes | No | Yes | Yes | Yes, and prefer | Yes, but prefer not | No | Yes | |||||||
| Uli Sattler | No | Yes, but prefer not | Yes, but prefer not | Yes | Yes | No | No | Yes, and prefer | |||||||
| Rinke Hoekstra | Yes, but prefer not | Yes | Yes, but prefer not | Yes, but prefer not | Yes, and prefer | Yes, but prefer not | Yes | Yes, and prefer | Changed my 'no' votes to 'yes, but prefer not' to cater for Sandro's intention. Will not formally object to any name. | ||||||
| Michael Smith | Yes | No | No | Yes, but prefer not | Yes, but prefer not | Yes | Yes | Yes, and prefer | First order is not a helper descriptor. I do not think the semantics should be distinguished by profile. | ||||||
| Sandro Hawke | No | Yes | Yes | Yes | Yes | Yes, but prefer not | Yes, and prefer | No | Yes, and prefer | Yes, but prefer not | Yes | Yes, and prefer | Yes, but prefer not | ||
| Bijan Parsia | Yes, but prefer not | No | Yes | Yes | Yes, but prefer not | Yes, but prefer not | No | Yes, and prefer | No | No | No | Yes, and prefer | Yes, and prefer | ||
| Ivan Herman | No | No | No | No | Yes, but prefer not | Yes, but prefer not | Yes, but prefer not | No | No | No | No | Yes, and prefer | Yes | Remark: I am not sure the second one is technically correct. The semantics of RL is described in DL terms, too. | |
| Michael Schneider | No | Yes, but prefer not | No | No | Yes, but prefer not | Yes, but prefer not | Yes | No | Yes | Yes | Yes | Yes, and prefer | Yes | The two names should be distinctive, and should be acceptable by both parties. | |
| Christine Golbreich | Yes | No | Yes, but prefer not | Yes, but prefer not | Yes, and prefer | Yes, but prefer not | No | No | No | No | No | Yes, and prefer | Yes, but prefer not | ||
| Peter Patel-Schneider | Yes | No | No | Yes, but prefer not | Yes | Yes, but prefer not | No | Yes, and prefer | No | No | No | Yes, but prefer not | Yes, but prefer not | First-order doesn't distinguish. The MT semantics is not really DL, as it includes some SW stuff. The semantics should not be distinguished by profile. |
More details on responses
- Boris Motik: last responded on 19, September 2008 at 15:12 (UTC)
- Thomas Schneider: last responded on 19, September 2008 at 18:23 (UTC)
- Ian Horrocks: last responded on 20, September 2008 at 00:02 (UTC)
- Uli Sattler: last responded on 22, September 2008 at 10:48 (UTC)
- Rinke Hoekstra: last responded on 22, September 2008 at 12:53 (UTC)
- Michael Smith: last responded on 22, September 2008 at 13:54 (UTC)
- Sandro Hawke: last responded on 22, September 2008 at 15:41 (UTC)
- Bijan Parsia: last responded on 22, September 2008 at 15:44 (UTC)
- Ivan Herman: last responded on 22, September 2008 at 15:44 (UTC)
- Michael Schneider: last responded on 23, September 2008 at 15:39 (UTC)
- Christine Golbreich: last responded on 23, September 2008 at 18:59 (UTC)
- Peter Patel-Schneider: last responded on 23, September 2008 at 21:54 (UTC)
Everybody has responded to this questionnaire.
Compact view of the results / list of email addresses of the responders
WBS home / Questionnaires / WG questionnaires / Answer this questionnaire
Report issues
on GitHub project