kabhinav/PREDAA

Practical Reasoning in Expressive Description logic using Alternating Automata

MIT