This article provides a formalization of the W3C Draft Core SHACL Semantics specification using Z notation. This formalization exercise has identified a number of quality issues in the draft. It has also established that the recursive definitions in the draft are well-founded. Further formal validation of the draft will require the use of an executable specification technology.

Internet Drafts are draft documents valid for a maximum of 6 months. Internet Drafts may be updated, replaced, or obsoleted by other documents at any time. It is not appropriate to use Internet Drafts as reference material or to cite them other than as "work in progress". Please check the I-D abstract listing contained in each Internet Draft directory to learn the current status of this or any ...

Background: Promoting ethics is one of the goals of education, but the free flow of communication and divulging unethical behaviors in e-learning make the urgent need to clarify ethical values. Therefore, the aim of this study was to prepare ethical codes to develop and deliver e-contents.    Methods: A draft of e-content ethical codes was prepared based on the literature review. Then, it was ...

ABSTRACT With the emergen e of the Internet and proliferation of new te hnologies, the design and programming of omplex appliations need to take into a ount standards and notions of ode distribution, deployment and reuse. There is a need to hange the programming methodologies to take into a ount these di erent fa ets. This paper lays the foundations for a new way of programming based on generat...

The draft human genome sequence and the dissemination of high throughput technology provides opportunities for systematic analysis of cancer cells. Genome-wide mutation screens, high resolution analysis of chromosomal abberations and expression profiling all give comprehensive views of genetic alterations in cancer cells. From these analyses will come a complete list of the genetic changes that...

The X.500 Directory uses distinguished names as the primary keys to entries in the directory. Distinguished Names are encoded in ASN.1 in Zeilenga LDAPv3 DN [Page 1] INTERNET-DRAFT draft-ietf-ldapbis-dn-03.txt 1 April 2001 the X.500 Directory protocols. In the Lightweight Directory Access Protocol, a string representation of distinguished names is transferred. This specification defines the str...