Satyadharma Tirtarasa

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 7

Top Topics

Reasoning Problems

Temporal Properties

Description Logic Knowledge Base

Top Venues

Description Logics

Publications

Satyadharma Tirtarasa, Anni-Yasmin Turhan
concepts with next and global. SAC (2022)
Satyadharma Tirtarasa, Anni-Yasmin Turhan
A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract). Description Logics (2022)
Satyadharma Tirtarasa
Temporal Properties over Contextualized Description Logics. Description Logics (2020)
Satyadharma Tirtarasa, Benjamin Zarrieß
Projection in a Description Logic of Context with Actions. GCAI (2019)
Satyadharma Tirtarasa, Benjamin Zarrieß
Projection in a Description Logic of Context with Actions. Description Logics (2019)
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics. RuleML+RR (2018)
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Wolpertinger: A Fixed-Domain Reasoner. ISWC (Posters, Demos & Industry Tracks) (2017)