Abstract
The study of the evacuation of buildings in emergency fire situations has deserved the attention of researchers for decades, particularly regarding the real-time guiding of occupants in their way to exit the building. However, finding solutions to guide the occupants evacuating a building requires a thorough knowledge of that domain. Using ontological models to model the knowledge of a domain allows the understanding of that domain to be shared. This paper presents an ontological model that pretends to reinforce and deepen knowledge of the domain under study and help develop solutions and systems capable of guiding the occupants during a building evacuation. The ontology was developed following the METHONTOLOGY methodology, and for implementation, the Protege tool was used. The ontological model was successfully submitted to a thorough evaluation process and is publicly available on the Web.

Abstract
E-learning has been important in higher education, enabling people to continue their education with more flexibility. Virtual laboratories play a crucial role in Computer Science distance learning degrees, by enabling students to study at their rhythm and getting practical answers to practical problems immediately. Theoretical models such as finite automata, pushdown automata, context-free grammars, Turing machines, etc., are essential for understanding the grounds of languages and computability and are also the basis for the implementation of compilers. In this paper, a new virtual laboratory is presented, UAbALL—Automata Learning Lab, developed at Universidade Aberta (UAb), the Portuguese Open University. This virtual laboratory has already been tested in the curricular unit of Languages and Computation, with good feedback from the students. A comparison to other tools was performed showing that UAbALL is more complete in terms of tools provided.