Description logic rules - 518544 Krt̲zsch, Markus (Amsterdam : IOS Press ; Heidelberg, Germany : AKA)
Includes bibliographical references (p. 237-257) and index