Haya Majid Qureshi

According to our database, Haya Majid Qureshi authored at least 6 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL.

Haya Majid Qureshi, Wolfgang Faber

Theory Pract. Log. Program., March, 2024

2023

Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL.

Haya Majid Qureshi, Wolfgang Faber

Proceedings of the Practical Aspects of Declarative Languages, 2023

2022

Meta-reasoning over OWL 2 QL using Datalog.

Haya Majid Qureshi, Wolfgang Faber

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2021

An Evaluation of Meta-reasoning over OWL 2 QL.

Haya Majid Qureshi, Wolfgang Faber

Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

2020

Supporting Metamodeling in Ontologies Using Rules.

Haya Majid Qureshi, Wolfgang Faber

Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with 16th Reasoning Web Summer School (RW 2020) 12th DecisionCAMP 2020 as part of Declarative AI 2020, Oslo, Norway (virtual due to Covid-19 pandemic), 29 June, 2020

2018

Ontology based syndrome diagnostic system: (OBSDS).

Haya Majid Qureshi, Maliha Qureshi

Proceedings of the International Conference on Advancements in Computational Sciences, 2018