A short introduction to SHACL for logicians

DOI10.1007/978-3-031-39784-4_2MaRDI QIDQ6199574

Magdalena Ortiz

Publication date: 28 February 2024

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

zbMATH Keywords

description logicssemantic webSHACL

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A goal-directed decision procedure for hybrid PDL
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• SHACL: a description logic in disguise
• An Introduction to Description Logic
• How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited

This page was built for publication: A short introduction to SHACL for logicians