W3C WBS Home

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?

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

ChoiceAll responders
NoYes, but prefer notYesYes, 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:

RanksAll responders:
1LATE ADDITION: "Standard First Order Semantics" and "RDF-Based Semantics"
2LATE 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.)
6LATE ADDITION: "Semantics of DL" and "Semantics of Full" (with the standard prefix: "OWL 2 Web Ontology Language: Semantics of DL")
7LATE 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")
8LATE 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

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


Completed and maintained by Dominique Hazaël-Massieux (dom@w3.org) on an original design by Michael Sperberg-McQueen $Id: showv.php3,v 1.124 2014-10-06 13:46:23 dom Exp $. Please send bug reports and request for enhancements to dom@w3.org with w3t-sys@w3.org copied (if your mail client supports it, send mail directly to the right persons)