Rokan Uddin Faruqui

According to our database, Rokan Uddin Faruqui authored at least 6 papers between 2012 and 2021.

Collaborative distances:

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

2021

Model checking ontology-driven reasoning agents using strategy and abstraction.

Abdur Rakib, Rokan Uddin Faruqui

Concurr. Comput. Pract. Exp., 2021

2013

A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents.

Abdur Rakib, Hafiz Mahfooz Ul Haque, Rokan Uddin Faruqui

Proceedings of the Context-Aware Systems and Applications, 2013

A scalable ontology reasoner via incremental materialization.

Fazle Rabbi, Wendy MacCaull, Rokan Uddin Faruqui

Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013

2012

A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents.

Abdur Rakib, Rokan Uddin Faruqui

Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012

Verifying Resource Requirements for Ontology-Driven Rule-Based Agents.

Abdur Rakib, Rokan Uddin Faruqui, Wendy MacCaull

Proceedings of the Foundations of Information and Knowledge Systems, 2012

O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes.

Rokan Uddin Faruqui, Wendy MacCaull

Proceedings of the Foundations of Health Information Engineering and Systems, 2012