A Description Logic with Concrete Domains and a Role-forming Predicate Operator.

Volker Haarslev Carsten Lutz Ralf Möller A Description Logic with Concrete Domains and a Role-forming Predicate Operator. 351-384 1999 9 J. Log. Comput. 3 http://dx.doi.org/10.1093/logcom/9.3.351 db/journals/logcom/logcom9.html#HaarslevLM99