@inproceedings{Regularity-IJCAR, title = "An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ", author = "Yevgeny Kazakov", year = "2010", annote = "To appear", booktitle = "Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010)", publisher = "Springer", series = "LNCS", }