Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

should Concepts include information about REQUIRED datatypes #122

Open
pfps opened this issue Dec 13, 2024 · 7 comments · May be fixed by #124
Open

should Concepts include information about REQUIRED datatypes #122

pfps opened this issue Dec 13, 2024 · 7 comments · May be fixed by #124
Labels
spec:editorial Minor change in the specification (markup, typo, informative text; class 1 or 2)

Comments

@pfps
Copy link
Contributor

pfps commented Dec 13, 2024

Semantics states that support of several datatypes is REQUIRED for RDF entailment but Concepts does not have any analogue of this requirement. I think that Concepts should discuss what is needed for RDF entailment.

@pfps pfps added the spec:editorial Minor change in the specification (markup, typo, informative text; class 1 or 2) label Dec 13, 2024
@afs
Copy link
Contributor

afs commented Dec 13, 2024

This seems to be covered by section 1.8? It refers to RDF Semantics for entailment regimes.

Then in "RDF Semantics", RDF entailment is built on Simple entailment

Every graph is simply satisfiable.

and that's before datatypes

RDF Semantics section "5 Simple Interpretations" change note:

The full semantics for typed literals is given in the next section.

(The "next section" seems to mean section 7, not 5.1 or 6)

RDF Concepts needs to explain what a datatype is, and about lexical form and values, which it does. Requirements for entailment should be with the entailment content, which is in RDF Semantics.

@pfps
Copy link
Contributor Author

pfps commented Dec 13, 2024

But then why is there a RECOMMENDED in Concepts at all? It appears that something should be done.

@afs
Copy link
Contributor

afs commented Dec 13, 2024

Link to the text please.

@pfps
Copy link
Contributor Author

pfps commented Dec 13, 2024

First paragraph of https://www.w3.org/TR/rdf12-concepts/#xsd-datatypes

@afs
Copy link
Contributor

afs commented Dec 13, 2024

That is before "recognized datatype" is introduced.

RECOMMENDED == SHOULD.

It is giving good practice - use certain XSD datatypes, which are RDF-compatible, and not different vocabularies for numbers, dates etc for interoperability reasons.

@afs
Copy link
Contributor

afs commented Dec 21, 2024

RDF-Semantics does not reference RDF-Concepts for "recognized datatypes".

It has its own definition dfn-recognized.

@afs
Copy link
Contributor

afs commented Dec 21, 2024

See also #60.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
spec:editorial Minor change in the specification (markup, typo, informative text; class 1 or 2)
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants