KAON2
From MaRDI portal
Software:21817
No author found.
Related Items (5)
Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic ⋮ A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes ⋮ Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) ⋮ Efficient description logic reasoning in Prolog: The DLog system ⋮ Inconsistency-tolerant reasoning with OWL DL
This page was built for software: KAON2
