| Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles Recent countries visiting this post |  |
 | 7 | United States |
 | 1 | Turkey |
 | 1 | |
 | 1 | Japan |
 | 1 | Ukraine |
 | 1 | Sweden |
| Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles Recent countries visiting this post | |
| 7 | United States |
| 1 | Turkey |
| 1 | |
| 1 | Japan |
| 1 | Ukraine |
| 1 | Sweden |