Seppo Törmä

Learn More
Problem-Based Learning (PBL) method emphasizes students' own activity in learning about problems, setting up their own learning goals and actively searching for and analyzing information. In this paper, we describe and discuss our experiences on applying PBL, especially the seven steps method widely used in medical faculties, in an introductory computer(More)
Smart environments require collaboration of multi-platform sensors operated by multiple parties. Proprietary event processing solutions lack interoperation flexibility, leading to overlapping functions that can waste hardware and communication resources. Our goal is to show the applicability of standard RDF and SPARQL – including SPARQL 1.1 Update – for(More)
This paper proposes a diagrammatic logic that is suitable for specifying ontologies. We take a case study style approach to presenting the diagrammatic logic, and draw contrast with RDF graphs and description logics. We provide specifications of two ontologies and show how to depict instances. Diagrammatic reasoning is used to show that an instance conforms(More)
We describe an implementation of an introductory programming course using the seven steps method of problem-based learning (PBL). In that method students working in small groups learn programming by trying to make sense of complex real-world problems, so-called cases. We outline the organization of the course and give examples of possible cases. We then(More)
Impressive results have been gained in the field of building information modeling – most notably the standardized schema (IFC) and advanced discipline-specific design tools – but the management of building information is still in its infancy. Building information is produced in a distributed and parallel fashion by different discipline experts throughout a(More)
Ubiquitous domains such as smart spaces, location-aware mobile systems, or internet-of-things are characterized by large and volatile sets of heterogeneous and independently behaving entities like devices, services, and other identified objects. This study focuses on efficient implementation of an event processing system to manage interaction among these(More)
We propose a diagrammatic logic that is suitable for specifying ontologies. We provide a specification of a simple ontology and include examples to show how to place constraints on ontology specifications and define queries. The framework also allows the depiction of instances, multiple ontologies to be related, and reasoning about ontologies.