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

Definition of adopted FOAF concept causes OWL DL Profile violation in SOSA and SSN #41

Open
ajnelson-nist opened this issue Feb 8, 2023 · 0 comments
Labels
bug Something isn't working OWL issues around consistency, entailments etc

Comments

@ajnelson-nist
Copy link

Hello,

Some concepts from the FOAF ontology are used to annotate the SOSA ontology - specifically, there is a blank node defining a foaf:Agent with foaf:name "W3C/OGC Spatial Data on the Web Working Group"@en. This also applies to the SSN ontology.

foaf:name is defined in SOSA as an owl:AnnotationProperty. The FOAF ontology is not imported in SOSA. The defining statement is here today in SSN, here today in SOSA (links are to the last commits affecting those files, 2018-08-09).

Unfortunately, the most recent version of the FOAF specification defines foaf:name as an owl:DatatypeProperty. ("Most recent" meaning the 2014 version. The FOAF page currently links to that release stored on the Internet Archive, due to apparent recovery from an event.) This causes a graph that imports both FOAF and SOSA to be inconsistent with the OWL 2 DL Profile; see OWL 2 Syntax, Section 5.8.1, "Typing Constraints of OWL 2 DL", especially the last bullet under "Property typing constraints".

I haven't exhaustively reviewed other ontologies in this repository for the issue. I came across this issue due to work on a project involving DCAT and SSN, and found the issue using this SHACL shape on a graph incorporating SSN's and FOAF's transitive import closure.

Is it possible for this to be corrected for at least SOSA and SSN? I'm happy to supply a correcting PR, but am unsure of the policy on accepting contributions.

ajnelson-nist referenced this issue in casework/CASE-Corpora Feb 13, 2023
This patch starts the adoption process of integrating the Semantic
Sensor Network (SSN) ontology into CASE-Corpora's ontology and shapes.
The initial application of SSN is in representing contents of a file
being observed to change.

Due to an issue with a definition conflict between FOAF, SSN, and SOSA,
this initial patch sets up the generation record, but does not
integrate SOSA and SSN into the build process yet.

A follow-on patch will regenerate Make-managed files.

References:
* https://github.com/w3c/sdw/issues/1395

Signed-off-by: Alex Nelson <[email protected]>
ajnelson-nist referenced this issue in casework/CASE-Corpora Feb 13, 2023
With this patch, the dependencies directory passes 'make check' with
sosa.ttl and ssn.ttl integrated.

A follow-on patch will regenerate Make-managed files.

References:
* https://github.com/w3c/sdw/issues/1395

Signed-off-by: Alex Nelson <[email protected]>
@bert-github bert-github transferred this issue from w3c/sdw Aug 24, 2023
@dr-shorthair dr-shorthair added bug Something isn't working OWL issues around consistency, entailments etc and removed ssn labels Aug 28, 2023
@ldesousa ldesousa added this to the v2.0 milestone May 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working OWL issues around consistency, entailments etc
Projects
None yet
Development

No branches or pull requests

4 participants