Integrating logic programming with description logic reasoning and sensor observation management for mobile devices

The ubiquity of mobile devices has opened new research opportunities for knowledge-based systems. The purpose of this work is to integrate logic programming with description logic reasoning and sensor observation management for mobile devices. Two Prolog libraries were developed, each facilitating access to a different form of external information. One library leverages the OWL API and specialized reasoners to compute inferences from ontologies expressed in the Web Ontology Language while the other automatically acquires, stores, and manages sensor observations reported by on-board sensors of Android-powered devices. The libraries are developed independently of one another and are designed to function in isolation. However, they are also compatible. A physical activity recognition task demonstrates their collaborative use.