LoViWo Unity-based project connecting Logical- and Virtual worlds by using logic-based knowledge-management techniques