In this work we look into the details of modeling shapes in an ontology as property restrictions on classes. In this way shapes do not have to be categorized in an exhaustive hierarchy and there is no need to take immediate decisions on how to group the objects, it is rather possible to individualize some important characteristics of shapes and use them as the basis for their categorization and...

Binary Attestation is currently used in trusted computing environments involving the standard TCG attestation mechanism. However, this mechanism still has deficiencies in terms of flexibility, privacy and scalability. Thus, to overcome these problems, Property-based Attestation has been proposed. Two important issues should be considered in the context of property-based attestation; these inclu...

‎three infinite families of finite abelian groups will be‎ ‎described such that each member of these families has‎ ‎the r'edei $k$-property for many non-trivial values of $k$‎.