Jena: Implementing the RDF Model and Syntax Specification

In particular, in research on ontologies, the notion of conservative extension has been cited from the algebraic specification literature (e.g. [25]) und used for the notion of

Towards a Generic and Usable Framework : The approach taken here is to integrate the existing information and interface specification models as-is, and to finalize such

Even though our approach does not allow to create arbitrary XML – specifically, it does not allow to create XML documents that are not valid RDF – and thus cannot be used as a

It would, of course, also be possible to structure the data according to one of the other basic components of RDF - by property URI, or Object, for example - or to introduce

To organize the processing of textual requirements, it was proposed to extract from the textual requirements the subject (actor), the action and the object on which the action

Although this example is quite simple, it reveals the necessary usage of dependent types for an appropriate specification of categorical constructions as well as the requirement

branches of mathematics (low-dimensional topology, stable homotopy theory, etc), physics (quantum groups, quantum gravity, quantum field theory etc) and computer

The rdf:ID values are transformed into RDF URI references by appending the attribute value to the result of appending "#" to the in- scope base URI which is defined