Search Results for author:
Found 1 papers, 0 papers with code
Hypertableau Reasoning for Description Logics
We present a novel reasoning calculus for the description logic SHOIQ^+---a knowledge representation formalism with applications in areas such as the Semantic Web.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
