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...

Descripción completa

Detalles Bibliográficos
Autores: Rubio Ruiz, Ana, Cantarero Navarro, Rubén, Villa Alises, David, López López, Juan Carlos
Tipo de recurso: artículo
Fecha de publicación:2024
País:España
Institución:Fundación Dialnet. Universidad de La Rioja
Repositorio:RUIdeRA. Repositorio Institucional de la UCLM
OAI Identifier:oai:ruidera.uclm.es:10578/45435
Acceso en línea:https://doi.org/10.1016/j.softx.2024.101766
https://hdl.handle.net/10578/45435
Access Level:acceso abierto
Palabra clave:Answer Set Programming
Commonsense reasoning
Internet of Things
Knowledge generation
Smart environments
Descripción
Sumario: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.