Seppo Törmä

Learn 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)
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 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)
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)
SPARQL query language is targeted to search datasets encoded in RDF. SPARQL Update adds support of insert and delete operations between graph stores, enabling queries to process data in steps, have persistent memory and communicate with each other. When used in a system supporting incremental evaluation of multiple simultaneously active and collaborating(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)
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)