Abstract
Two essential tasks in managing description logic knowledge bases are eliminating problematic axioms and incorporating newly formed ones. Such elimination and incorporation are formalised as the op...
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have