AUTHOREA
Log in
Sign Up
Browse Preprints
LOG IN
SIGN UP
Humaira Farid
Public Documents
1
June 25, 2025
Handling Nominals, Inverse Roles and Number Restrictions using Algebraic Reasoning
Humaira Farid and Volker Haarslev
