Henrik Dibowski: Property Assertion Constraints for ontologies and knowledge graphs. Data Technol. Appl. 57(2): 157-176 (2023)