Eine neue Implementation von SRL. - Werner Emde; Kai von Luck; Albrecht Schmiedel (GWAI, 1984)

BACK to Consistency and Incompleteness. - Kai von Luck; Bernhard Nebel; Christof Peltason; Albrecht Schmiedel (GWAI, 1985)

Temporal Terminological Logic. - Albrecht Schmiedel (AAAI, 1990)

Term Subsumption Languages in Knowledge Representation. - Peter F. Patel-Schneider; Bernd Owsnicki-Klewe; Alfred Kobsa; Nicola Guarino; Robert M. MacGregor; William S. Mark; Deborah L. McGuinness; Bernhard Nebel; Albrecht Schmiedel; John Yen (AI Mag., 1990)

Integrating Time into Terminological Logics. - Albrecht Schmiedel (Description Logics, 1991)

For a More Expressive Query Language. - Albrecht Schmiedel (Description Logics, 1992)

Semantic Indexing Based on Description Logics. - Albrecht Schmiedel (KRDB, 1994)