Ontology based syndrome diagnostic system: (OBSDS). - Haya Majid Qureshi; Maliha Qureshi (ICACS, 2018)

Supporting Metamodeling in Ontologies Using Rules. - Haya Majid Qureshi; Wolfgang Faber 001 (RuleML+RR (Supplement), 2020)

An Evaluation of Meta-reasoning over OWL 2 QL. - Haya Majid Qureshi; Wolfgang Faber 001 (RuleML+RR, 2021)

Meta-reasoning over OWL 2 QL using Datalog. - Haya Majid Qureshi; Wolfgang Faber 001 (Datalog, 2022)

Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL. - Haya Majid Qureshi; Wolfgang Faber 001 (PADL, 2023)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases. - Haya Majid Qureshi; Wolfgang Faber 001 (ICLP, 2024)

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL. - Haya Majid Qureshi; Wolfgang Faber 001 (Theory Pract. Log. Program., 2024)