Wolpertinger: A Fixed-Domain Reasoner. - Sebastian Rudolph; Lukas Schweizer; Satyadharma Tirtarasa (ISWC (Posters, Demos & Industry Tracks), 2017)

Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics. - Sebastian Rudolph; Lukas Schweizer; Satyadharma Tirtarasa (RuleML+RR, 2018)

Projection in a Description Logic of Context with Actions. - Satyadharma Tirtarasa; Benjamin Zarrieß (Description Logics, 2019)

Temporal Properties over Contextualized Description Logics. - Satyadharma Tirtarasa (Description Logics, 2020)

A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract). - Satyadharma Tirtarasa; Anni-Yasmin Turhan (Description Logics, 2022)

Computing generalizations of temporal εL concepts with next and global. - Satyadharma Tirtarasa; Anni-Yasmin Turhan (SAC, 2022)

Context-Sensitive Description Logics in Dynamic Settings. - Satyadharma Tirtarasa (2024)