Alexandre Bento Lionel Médini Kamal Singh Frédérique Laforest Do Arduinos Dream of Efficient Reasoners? 289-304 2022 ESWC https://doi.org/10.1007/978-3-031-06981-9_17 https://www.wikidata.org/entity/Q124729108 conf/esws/2022 db/conf/esws/eswc2022.html#BentoMSL22