KAON2
From MaRDI portal
Software:21817
swMATH9838MaRDI QIDQ21817FDOQ21817
Author name not available (Why is that?)
Cited In (5)
- A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
- Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Inconsistency-tolerant reasoning with OWL DL
- Efficient description logic reasoning in Prolog: The DLog system
This page was built for software: KAON2
