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

Change observable:mimeType to Object Property #377

Draft
wants to merge 8 commits into
base: develop
Choose a base branch
from

Conversation

ajnelson-nist
Copy link
Contributor

@ajnelson-nist ajnelson-nist commented May 4, 2022

This Pull Request will resolve some requirements of Issue 363. A proposed taxonomy repository might come in the near future.

Coordination

  • Pull request is against correct branch
  • Pull Request is in, or reverted to, Draft status before Solutions Approval vote has passed.
  • CI passes in UCO feature branch
  • CI passes in UCO current unstable branch (merge-commit)
  • Impact on SHACL validation reviewed for CASE-Examples
  • Impact on SHACL validation remediated for CASE-Examples
  • Impact on SHACL validation reviewed for casework.github.io
  • Impact on SHACL validation remediated for casework.github.io
  • Taxonomy repository also posted for review
  • Reversion for 1.0.0 review implemented in current unstable branch (c72fdaf)
  • Remediations for SHACL validation unstaged from CASE-Examples
  • Remediations for SHACL validation unstaged from CASE website
  • Solutions Approval vote logged on corresponding Issue (once logged, can be taken out of Draft PR status)

ajnelson-nist and others added 5 commits May 4, 2022 14:09
This patch adds initial support for SKOS taxonomies as a
hierarchy-enabled alternative to UCO's current string-vocabularies
practice.

While the typical SKOS namespace is prefixed, the import of SKOS is
done by referencing an OWL-DL compatible subset of SKOS as a version IRI
import.  (See SKOS Reference C.3.)

Paul Brandt identified the SKOS strategy used in this patch, though his
initial draft was in another repository.  I ported the property to UCO's
ontology repository due to needing to satisfy references for SHACL.

This patch is a reduction from the first definition of
`core:TaxonomicConcept` drafted for UCO CP-99.

References:
* [OC-140] (CP-99) UCO should provide a SKOS taxonomy of device types
  for observable:deviceType
* #363
* https://www.w3.org/TR/skos-reference/#namespace-documents
  Section C.3, "SKOS RDF Schema - OWL 1 DL Sub-set (informative)"

Co-authored-by: Paul Brandt <[email protected]>
Signed-off-by: Alex Nelson <[email protected]>
Dublin Core's `dcterms:FileFormat` class is an existing class that
represents file formats, including but not limited to IANA Media Types.
(The reference to IANA Media Types is found on the `dcterms:format`
property, where the IANA list is recommended, but not required.)

`dcterms:FileFormat` is defined as an `rdfs:Class`.  In order for UCO,
as an OWL ontology, to use this class as a range of a property
(especially `observable:mimeType`), it needs to be designated as an
`owl:Class`.

Note there are some things this patch does not do:

* This patch does not import Dublin Core.  It appears Dublin Core's
  model is incompatible with OWL 2 DL.  For instance, the property
  `dcterms:format` appears to violate the OWL 2 DL separation of
  datatype properties (range of literals) from object properties (range
  of objects), on review of its sub-property `dcterms:extent` having a
  range of literals.
* This patch does not extend `FileFormat`'s superclasses to also be
  OWL Classes.
* This patch does not adapt the `dcterms:format` property noted above,
  because in addition to its OWL 2 DL compatibility issues, its semantic
  scope extends beyond data formats.

Compatibility notes:

Extending `dcterms:FileFormat` to be both an OWL Class and RDFS Class is
compatible with OWL 2 DL.  Reviewing this record:
https://www.w3.org/TR/2012/REC-owl2-mapping-to-rdf-20121211/#Parsing_of_the_Ontology_Header_and_Declarations
Table 5
Row 2

An ontology that also designates `dcterms:FileFormat` as an `rdfs:Class`
would have the pair of `owl:Class` and `rdfs:Class` statements reduced
to `owl:Class` only as part of its OWL parse.

If an ontology has chosen to import Dublin Core as a whole, it has
already implicitly made a commitment to use OWL 2 FULL instead of
OWL 2 DL.

References:
* #363
* https://www.dublincore.org/specifications/dublin-core/dcmi-terms/#FileFormat
* https://www.dublincore.org/specifications/dublin-core/dcmi-terms/#format

Signed-off-by: Alex Nelson <[email protected]>
For compatibility with other graph data models that use IANA Media
Types, the required range is set to `dcterms:FileFormat`.

References:
* #363

Signed-off-by: Alex Nelson <[email protected]>
This patch adds a class hierarchy to distinguish between known IANA
Media Types and Media Types known to not be registered with IANA.

A unit test is added to demonstrate how mimeType being objects can also
enable hierarchical searches, even between IANA and non-IANA types.

A follow-on patch will generate validation result files.

References:
* #363

Signed-off-by: Alex Nelson <[email protected]>
References:
* #363

Signed-off-by: Alex Nelson <[email protected]>
…feature

A follow-on patch will generate a Make-managed file.

References:
* #363

Signed-off-by: Alex Nelson <[email protected]>
References:
* #363

Signed-off-by: Alex Nelson <[email protected]>
@ajnelson-nist ajnelson-nist marked this pull request as draft May 4, 2022 20:35
@ajnelson-nist ajnelson-nist linked an issue Jun 2, 2022 that may be closed by this pull request
11 tasks
@ajnelson-nist ajnelson-nist linked an issue Jun 22, 2022 that may be closed by this pull request
11 tasks
@ajnelson-nist ajnelson-nist marked this pull request as ready for review August 17, 2022 21:33
@ajnelson-nist ajnelson-nist added this to the UCO 1.0.0 milestone Aug 18, 2022
@ajnelson-nist
Copy link
Contributor Author

Converting to Draft until Solutions Approval vote is logged.

@ajnelson-nist ajnelson-nist marked this pull request as draft August 21, 2022 15:48
@ajnelson-nist ajnelson-nist modified the milestones: UCO 1.0.0, UCO 1.x.0 Aug 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Demonstration of a SKOS-backed semi-open vocabulary for MIME types
1 participant