We put forward a methodological approach aimed at guiding ontology modellers in choosing which relations to reify. Our proposal is based on the notion of aggregation as used in conceptual modelling approaches for representing situations that, normally, would require nonbinary relations or complex integrity constraints. The feedback received from using the method in a real-word situation is that...

Motivated by the close relation between real-time and fault tolerance, we investigate the foundations of a forma! framework to specify and verify real-time distributed systems that incorporate fault tolerance techniques. Therefore a denotational semantics is presented to describe the real-time behaviour of distributed programs in which concurrent processes communicate by synchronous messa.ge pa...

This document defines extensions of the RDF data model and of the SPARQL query language that capture an alternative approach to represent statement-level metadata. While this alternative approach is backwards compatible with RDF reification as defined by the RDF standard, the approach aims to address usability and data management shortcomings of RDF reification. One of the great advantages of t...

We present an approach that aims at introducing tailoring capacities in a framework designed to support collective activities in a learning context: students state their organization (using a task conceptual notion modelled following Engeström’s triangle) and are then proposed with a reification of the adopted organization, and, in particular, the set of tools they have asked for. This approach...