Skip to content

Added dataproperties to OWL2 signature#2168

Merged
b-gehrke merged 5 commits intomasterfrom
2167_dataproperties_missing_in_OWL2_signature
Oct 7, 2025
Merged

Added dataproperties to OWL2 signature#2168
b-gehrke merged 5 commits intomasterfrom
2167_dataproperties_missing_in_OWL2_signature

Conversation

@b-gehrke
Copy link
Collaborator

@b-gehrke b-gehrke commented Oct 6, 2025

Adds DataProperties to OWL2 signatures.

Closes #2167.

@b-gehrke b-gehrke requested a review from tillmo October 6, 2025 13:05
@b-gehrke
Copy link
Collaborator Author

b-gehrke commented Oct 7, 2025

@tillmo the checks don't seem to run. Can you see why?

@b-gehrke b-gehrke merged commit 65ca27f into master Oct 7, 2025
8 checks passed
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.

DataProperty declarations in OWL2/Manchester not appearing in ontology signature (Sign)

2 participants