User Tools

Site Tools


Extensions to Description Logics

F. Baader, R. Küsters, and F. Wolter