Skip to content

Conversation

@mbmaja
Copy link
Contributor

@mbmaja mbmaja commented Sep 16, 2025

  • changed the declaration of multiple properties denoting descriptions, references, labels, names and codes from owl:DatatypeProperty to owl:AnnotationProperty and removed their references from axioms
  • fixed the declaration to owl:ObjectProperty where appropriate

@mbmaja
Copy link
Contributor Author

mbmaja commented Sep 16, 2025

@steveraysteveray How can I see what check has failed? Thanks!

@steveraysteveray
Copy link
Collaborator

If you look carefully at the terminal output, you will see that it says to run 'mvn spotless:apply' to re-serialize the file that changed. Try that (it worked when I tried it). See step 8 here.

You can combine that with the next step by typing 'mvn spotless:apply install' if you like.

More generally, you can find validation messages at target/validation once the build runs.

qudt:minExclusive
a owl:DatatypeProperty, rdf:Property ;
a owl:DatatypeProperty ;
dcterms:description "minExclusive is the exclusive lower bound of the value space for a datatype with the ordered property. The value of minExclusive must be in the value space of the base type or be equal to {value} in {base type definition}." ;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Needs discussing

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We should be consistent.

Option 1: Always use only OWL property declarations in the OWL schema
Option 2: Always use the OWL property, plus the RDF property declaration

a owl:Restriction ;
owl:allValuesFrom qudt:QuantityKind ;
owl:onProperty skos:broader ;
] ;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why are these restructions - and others further down showing as deleted?

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Since they are converted to annotation properties, you can no longer attach cardinality constraints.

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This raises a much more ambitious consideration:

Consider refactoring the schema files to have a single "core" rdf schema file, plus optional OWL and SHACL layer files containing OWL constraints where needed, or SHACL shapes where needed. Our Maven build process can collect these components into the unified files for users.


prov:wasDerivedFrom
a rdf:Property ;
a rdf:Property, owl:AnnotationProperty ;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Needs discussing


dcterms:isReplacedBy
a owl:ObjectProperty ;
a owl:AnnotationProperty ;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

needs discussing


qudt:abbreviation
a owl:DatatypeProperty ;
a owl:AnnotationProperty ;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

May need discussing


qudt:acronym
a owl:DatatypeProperty ;
a owl:AnnotationProperty;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

May need discussing


qudt:latexSymbol
a owl:DatatypeProperty ;
a owl:AnnotationProperty ;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Needs discussing


qudt:numericValue
a owl:DatatypeProperty ;
a owl:ObjectProperty ;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Needs discussing


qudt:symbol
a owl:DatatypeProperty ;
a owl:AnnotationProperty ;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Needs discussing


qudt:ucumCode
a owl:DatatypeProperty ;
a owl:AnnotationProperty ;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Needs discussing


qudt:uneceCommonCode
a owl:DatatypeProperty ;
a owl:AnnotationProperty ;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Needs discussing

Copy link
Collaborator

@ralphtq ralphtq left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

A (small) number of datatype changes to annotation properties need discussing. That discussion is predicated on agreement on when a property should be considered as integral to the schema of a model. For example "id" might be needed for reasoning over. Having said that the prime rationale for annotation properties is to make them ignored by reasoners.

@github-actions github-actions bot requested a review from mrDiffus as a code owner November 10, 2025 15:36
Copy link
Collaborator

@steveraysteveray steveraysteveray left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's good that you have re-synced this branch. The big question now is what we will be doing with all the OWL restriction classes anyway. It might be prudent to wait to see what we hear from our upcoming user survey regarding changes to the OWL schema, which will be coming out probably later this week.

CHANGELOG.md Outdated
### Added

- `quantitykind:NumberOfElectricalPhases` for use with AC circuits
- Fixed the declaration of some properties (most importantly changing from `owl:DatatypeProperty` to `owl:AnnotationProperty`) in `SCHEMA_QUDT.ttl`.
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

3.1.6 is part of history and should not change. Please remove these additions (5 lines). You can add whatever makes sense in the Unreleased section.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Done - this must have gone wrong in my attempt to resolve merge conflicts.

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please remove this file from the PR.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Done.

Copy link
Collaborator

@steveraysteveray steveraysteveray left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

See comment about CHANGELOG.md

CHANGELOG.md Outdated
### Added

- `quantitykind:NumberOfElectricalPhases` for use with AC circuits
- Fixed typo in `qudt:ucumCode` of `unit:MegaN-PER-M2`
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

These 4 lines still need to be removed. They already appear in 3.1.6 under "Fixed".
There should be no changes in entries for past releases.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I have restored the original Changelog 3.1.6 Section - is it ok now?

Copy link
Collaborator

@steveraysteveray steveraysteveray left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It looks good now, but I suggest we wait on this PR until we decide on the course of action regarding changes to the OWL schema.
Patience!

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.

3 participants