Sciweavers

A Description Logic with Transitive and Inverse Roles and Role Hierarchies
Recent Google, Yahoo, MSN search queries leading to this post
A Description Logic with Transitive and Inverse Roles and Role Hierarchies