SOSAc-Reasoner: an ASP Inference Engine for Automatic IoT Context Knowledge Generation

The SOSAc-Reasoner is a commonsense reasoning engine, implemented using Answer Set Programming. It is designed to automatically generate IoT context knowledge, representing the capabilities of system devices, from a simple smart scenario description. The inference engine is fed with knowledge about device types and generates knowledge according to two ontologies derived from the SOSA (Sensor, Observation, Sample, and Actuator) ontology. The SOSAc-Reasoner comprises two ASP rule modules: the basic and advanced inference modules, which perform reasoning with different objectives. Implemented with Potassco, the SOSAc-Reasoner effectively generates context knowledge within a reasonable timeframe. This significantly facilitates the task of modeling a highly valuable type of knowledge in intelligent environments, a task that traditionally involves manual efforts, is prone to errors, and consumes a significant amount of time.