Incomputer science,reification is the process by which an abstract idea about aprogram is turned into an explicitdata model or other object created in aprogramming language. A computable/addressable object—aresource—is created in a system as a proxy for a non computable/addressable object. By means of reification, something that was previously implicit, unexpressed, and possibly inexpressible is explicitly formulated and made available to conceptual (logical or computational) manipulation. Informally, reification is often referred to as "making something afirst-class citizen" within the scope of a particular system. Some aspect of a system can be reified atlanguage design time, which is related toreflection in programming languages. It can be applied as astepwise refinement atsystem design time. Reification is one of the most frequently used techniques ofconceptual analysis andknowledge representation.
In the context ofprogramming languages, reification is the process by which a user program or any aspect of a programming language that was implicit in the translated program and the run-time system, are expressed in the language itself. This process makes it available to the program, which can inspect all these aspects as ordinarydata. Inreflective languages, reification data is causally connected to the related reified aspect such that a modification to one of them affects the other. Therefore, the reification data is always a faithful representation of the related reified aspect[clarification needed]. Reification data is often said to be made afirst class object.[citation needed] Reification, at least partially, has been experienced in many languages to date: in earlyLisp dialects and in current Prolog dialects, programs have been treated as data, although the causal connection has often been left to the responsibility of the programmer. InSmalltalk-80, the compiler from the source text to bytecode has been part of the run-time system since the very first implementations of the language.[1]
char*buffer=(char*)0xB8000000;buffer[0]=10;
eval orevaluate procedure that effectively reifies the language interpreter.thisContext in Smalltalk, which is a reification of the current executing block.Data reification (stepwise refinement) involves finding a more concrete representation of theabstract data types used in aformal specification.
Data reification is the terminology of theVienna Development Method (VDM) that most other people would call data refinement. An example is taking a step towards an implementation by replacing a data representation without a counterpart in the intended implementation language, such as sets, by one that does have a counterpart (such as maps with fixed domains that can be implemented by arrays), or at least one that is closer to having a counterpart, such as sequences. The VDM community prefers the word "reification" over "refinement", as the process has more to do with concretising an idea than with refining it.[4]
For similar usages, seeReification (linguistics).
Reification is widely used inconceptual modeling.[5] Reifying a relationship means viewing it as an entity. The purpose of reifying a relationship is to make it explicit, when additional information needs to be added to it. Consider the relationship typeIsMemberOf(member:Person, Committee). An instance ofIsMemberOf is a relationship that represents the fact that a person is a member of a committee. The figure below shows an example population ofIsMemberOf relationship in tabular form. PersonP1 is a member of committeesC1 andC2. PersonP2 is a member of committeeC1 only.
IsMemberOf relationship in tabular form. Person P1 is a member of committees C1 and C2. Person P2 is a member of committee C1 only.The same fact, however, could also be viewed as an entity. Viewing a relationship as an entity, one can say that the entity reifies the relationship. This is called reification of a relationship. Like any other entity, it must be an instance of an entity type. In the present example, the entity type has been namedMembership. For each instance ofIsMemberOf, there is one and only one instance ofMembership, and vice versa. Now, it becomes possible to add more information to the original relationship. As an example, we can express the fact that "person p1 was nominated to be the member of committee c1 by person p2". Reified relationshipMembership can be used as the source of a new relationshipIsNominatedBy(Membership, Person).
For related usages seeReification (knowledge representation).
UML provides anassociation class construct for defining reified relationship types. The association class is a single model element that is both a kind of association[6] and a kind of class.[7]
The association and the entity type that reifies are both the same model element. Note that attributes cannot be reified.
InSemantic Web languages, such asResource Description Framework (RDF) andWeb Ontology Language (OWL), a statement is a binary relation. It is used to link two individuals or an individual and a value. Applications sometimes need to describe other RDF statements, for instance, to record information like when statements were made, or who made them, which is sometimes called "provenance" information. As an example, we may want to represent properties of a relation, such as our certainty about it, severity or strength of a relation, relevance of a relation, and so on.
The example from the conceptual modeling section describes a particular person withURIref person:p1, who is a member of thecommittee:c1. The RDF triple from that description is
person:p1committee:isMemberOfcommittee:c1.
Consider to store two further facts: (i) to record who nominated this particular person to this committee (a statement about the membership itself), and (ii) to record who added the fact to the database (a statement about the statement).
The first case is a case of classical reification like above in UML: reify the membership and store its attributes and roles etc.:
committee:Membershiprdf:typeowl:Class.committee:membership12345rdf:typecommittee:Membership.committee:membership12345committee:ofPersonperson:p1.committee:membership12345committee:inCommitteecommittee:c1.person:p2committee:nominatedcommittee:membership12345.
Additionally, RDF provides a built-in vocabulary intended for describing RDF statements. A description of a statement using this vocabulary is called a reification of the statement. The RDF reification vocabulary consists of the typerdf:Statement, and the propertiesrdf:subject,rdf:predicate, andrdf:object.[8]
Using the reification vocabulary, a reification of the statement about the person's membership would be given by assigning the statement a URIref such ascommittee:membership12345 so that describing statements can be written as follows:
committee:membership12345Statrdf:typerdf:Statement.committee:membership12345Statrdf:subjectperson:p1.committee:membership12345Statrdf:predicatecommittee:isMemberOf.committee:membership12345Statrdf:objectcommittee:c1.
These statements say that the resource identified by theURIref committee:membership12345Stat is an RDF statement, that the subject of the statement refers to the resource identified byperson:p1, the predicate of the statement refers to the resource identified bycommittee:isMemberOf, and the object of the statement refers to the resourcecommittee:c1. Assuming that the original statement is actually identified bycommittee:membership12345, it should be clear by comparing the original statement with the reification that the reification actually does describe it. The conventional use of the RDF reification vocabulary always involves describing a statement using four statements in this pattern. Therefore, they are sometimes referred to as the "reification quad".[8]
Using reification according to this convention, we could record the fact thatperson:p3 added the statement to thedatabase by
person:p3committee:addedToDatabasecommittee:membership12345Stat.
It is important to note that in the conventional use of reification, the subject of the reification triples is assumed to identify a particular instance of a triple in a particular RDF document, rather than some arbitrary triple having the same subject, predicate, and object. This particular convention is used because reification is intended for expressing properties such as dates of composition and source information, as in the examples given already, and these properties need to be applied to specific instances of triples. Note that the described triple(subject predicate object) itself is not implied by such a reification quad (and it is not necessary that it actually exists in the database). This allows also to use this mechanism to express which triples donot hold.
The power of the reification vocabulary in RDF is restricted by the lack of a built-in means for assigning URIrefs to statements, so in order to express "provenance" information of this kind in RDF, one has to use some mechanism (outside of RDF) to assign URIs to individual RDF statements, then make further statements about those individual statements, using their URIs to identify them.[8]
In anXML Topic Map (XTM), only a topic can have a name or play a role in an association. One may use an association to make an assertion about a topic, but one cannot directly make assertions about that assertion. However, it is possible to create a topic that reifies a non-topic construct in a map, thus enabling the association to be named and treated as a topic itself.[9]
In Semantic Web languages, such as RDF and OWL, a property is a binary relation used to link two individuals or an individual and a value. However, in some cases, the natural and convenient way to represent certain concepts is to use relations to link an individual to more than just one individual or value. These relations are calledn-ary relations. Examples are representing relations among multiple individuals, such as a committee, a person who is a committee member and another person who has nominated the first person to become the committee member, or a buyer, a seller, and an object that was bought when describing a purchase of a book.
A more general approach to reification is to create an explicit new class and n new properties to represent ann-ary relation, making an instance of the relation linking then individuals an instance of this class. This approach can also be used to represent provenance information and other properties for an individual relation instance.[10]
:p1a:Person;:has_membership_:membership_12345._:membership_12345a:Membership;:committee:c1;:nominated_by:p2.
It is also important to note that the reification described here is not the same as "quotation" found in other languages. Instead, the reification describes the relationship between a particular instance of a triple and the resources the triple refers to. The reification can be read intuitively as saying "this RDF triple talks about these things", rather than (as in quotation) "this RDF triple has this form." For instance, in the reification example used in this section, the triple:
committee:membership12345rdf:subjectperson:p1.
describing therdf:subject of the original statement says that the subject of the statement is the resource (the person) identified by the URIrefperson:p1. It does not state that the subject of the statement is the URIref itself (i.e., a string beginning with certain characters), as quotation would.
