A fuzzy description logic based IoT framework: Formal verification and end user programming

• Miguel Pérez-Gaspar ,

  Contributed equally to this work with: Miguel Pérez-Gaspar, Javier Gomez, Everardo Bárcenas, Francisco Garcia

  Roles Conceptualization, Formal analysis, Investigation, Software, Writing – original draft, Writing – review & editing

  Affiliation Department of Telecommunications, National Autonomous University of Mexico, Mexico City, Mexico

  ⨯
• Javier Gomez ,

  Contributed equally to this work with: Miguel Pérez-Gaspar, Javier Gomez, Everardo Bárcenas, Francisco Garcia

  Roles Conceptualization, Formal analysis, Investigation, Writing – original draft, Writing – review & editing

  Affiliation Department of Telecommunications, National Autonomous University of Mexico, Mexico City, Mexico

  https://orcid.org/0000-0002-4190-1660

  ⨯
• Everardo Bárcenas ,

  Contributed equally to this work with: Miguel Pérez-Gaspar, Javier Gomez, Everardo Bárcenas, Francisco Garcia

  Roles Conceptualization, Formal analysis, Investigation, Writing – original draft, Writing – review & editing

  * E-mail: ebarcenas@unam.mx

  Affiliation Department of Computer Engineering, National Autonomous University of Mexico, Mexico City, Mexico

  https://orcid.org/0000-0002-1523-1579

  ⨯
• Francisco Garcia

  Contributed equally to this work with: Miguel Pérez-Gaspar, Javier Gomez, Everardo Bárcenas, Francisco Garcia

  Roles Conceptualization, Formal analysis, Investigation, Writing – original draft, Writing – review & editing

  Affiliation Department of Telecommunications, National Autonomous University of Mexico, Mexico City, Mexico

  ⨯