Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Data complexity of reasoning in very expressive description logics
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A bottom-up method for the deterministic horn fragment of the description logic ALC
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Fundamenta Informaticae
Hi-index | 0.00 |