Practical Reasoning in Expressive Description logic using Alternating Automata
MIT LicenseMIT
No issues in this repository yet.