Translation into First-Order Predicate Logic Translation from Description Logic into First-Order Predicate Logic.
