实化
✍ dations ◷ 2024-09-20 08:45:58 #计算机编程,知识表示
在计算机科学中,实化(英语:reification)或对象化是把抽象的想法(idea)转化为明确的数据模型或程序设计语言创建的其他对象的过程。通过实化,以前是隐式的、未表示的、可能是不可表示的被显式形成可概念(逻辑或计算)操作的。非正式地,实化也常被称作在特定系统范围内把某些东西变为“头等公民”。 实化是概念分析与知识表示中最常用的技术。
在程序设计语言中,把用户程序或者程序设计语言某一部分本来在编译期与运行期是隐式的,表示为语言自身,这一过程称为实化。这使得其对程序可当作普通数据来利用。在具有反射的程序设计语言中,实化的数据表示了相关的被实化的领域。实化的数据常被称作头等对象。
数据实化涉及在形式规范(英语:formal specification)中找到抽象数据类型的更为具体的表示。 例如,抽象数据类型集合(set)可以用map或者array来实化。
概念建模(英语:Conceptual model (computer science))中广泛使用了实化。实化一个关系(relationship)意味着把它视作一个实体。实化一个关系的目的是令其显式,必要时可以增加额外的信息。例如,关系表示某人是某委员会的成员。下图左侧用表的形式列出了人是委员会与的成员;人是委员会成员。
这一关系,也可看作实体。见图示的右侧。称作该实体实化了这个关系。这个实体类型为Membership
。现在,可以给这个关系实体增加新的信息,如某人属于某委员会是由谁来提名加入的,可表示为。
与其密切相关的用法见实化 (知识表示)(英语:Reification (knowledge representation))。
UML提供了关联类(association class)用于构建被实化的关系类型。关联类既是关联又是类。
In Semantic Web languages, such as Resource Description Framework (RDF) and Web 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 with URIref person:p1
, who is a member of the committee:c1
. The RDF triple from that description is
person:p1 committee:isMemberOf committee: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:Membership rdf:type owl:Class . committee:membership12345 rdf:type committee:Membership . committee:membership12345 committee:ofPerson person:p1 . committee:membership12345 committee:inCommittee committee:c1 . person:p2 committee:nominated committee: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 type rdf:Statement
, and the properties rdf:subject
, rdf:predicate
, and rdf:object
.
Using the reification vocabulary, a reification of the statement about the person's membership would be given by assigning the statement a URIref such as committee:membership12345
so that describing statements can be written as follows:
committee:membership12345Stat rdf:type rdf:Statement . committee:membership12345Stat rdf:subject person:p1 . committee:membership12345Stat rdf:predicate committee:isMemberOf . committee:membership12345Stat rdf:object committee:c1 .
These statements say that the resource identified by the URIref committee:membership12345Stat
is an RDF statement, that the subject of the statement refers to the resource identified by person:p1
, the predicate of the statement refers to the resource identified by committee:isMemberOf
, and the object of the statement refers to the resource committee:c1
. Assuming that the original statement is actually identified by committee: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".
Using reification according to this convention, we could record the fact that person:p3
added the statement to thedatabase by
person:p3 committee:addedToDatabase committee: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 do 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.
In an XML 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.
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 called n-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 an n-ary relation, making an instance of the relation linking the n individuals an instance of this class. This approach can also be used to represent provenance information and other properties for an individual relation instance.
:p1 a :Person ; :has_membership _:membership_12345 ._:membership_12345 a :Membership ; :committee :c1; :nominated_by :p2 .
Reification vs. quotation
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:membership12345 rdf:subject person:p1 .
describing the rdf:subject
of the original statement says that the subject of the statement is the resource (the person) identified by the URIref person: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.
相关
- 米哈伊尔·瓦西里耶维奇·罗蒙诺索夫米哈伊尔·瓦西里耶维奇·罗蒙诺索夫(俄语:Михаи́л Васи́льевич Ломоно́сов;1711年11月19日-1765年4月15日),俄国化学家、哲学家、诗人,俄国自然科学
- 纽新航港局纽约与新泽西港口事务管理局(英语:Port Authority of New York and New Jersey,缩写PANYNJ),简称纽新港务局或纽新航港局,是美国纽约州与新泽西州于1921年协议成立的交通管理机构(
- 无支配体制无支配体制(英语:Anocracy),又译为无支配统治、无体制政体,政治学术语,一种政体形态。在这种政体下,政权不是由政治组织控制,而是分散在数个不同的精英群体中,这些群体彼此竞逐权力。
- 商周祚商周祚,字明兼,号等轩,绍兴会稽人。明朝官员。万历二十五年(1597年)中举人,二十九年(1601年)中进士,授邵武县令。入京,累官太仆寺少卿,万历四十八年,擢都察院右佥都御史,巡抚福建,任内不征
- 罗伯特·亨利·查尔斯罗伯特·亨利·查尔斯(英语:Robert Henry Charles,1855年-1931年),英国著名史学家、神学家、与新约学者。他曾经主持过多本经外书与伪典的英译工作,如以诺书、十二族长遗训。在都柏
- 小米辣小米辣(学名:)又名小米椒、鸡嘴椒、辣虎等,为茄科辣椒属的植物。分布在印度、欧洲、南美以及中国大陆的云南等地。本种可能是普通辣椒()的同物异名。小米辣是低矮的灌木,最高可达两
- 乔治·索尔蒂乔治·索尔蒂爵士(英语:Sir Georg Solti,1912年10月21日-1997年9月5日),英籍匈牙利裔指挥家。索尔蒂生于布达佩斯,幼年学习钢琴,还于布达佩斯在贝拉·巴托克、多赫南伊·埃尔诺和柯
- 王忠孝王忠孝(1593年7月21日-1666年5月31日),字长儒,号愧两,福建惠安南埔乡沙格村(今惠安泉港区南埔镇沙格村)人,明末政治人物。王忠孝生于明万历二十一年六月廿三日(1593年7月21日)。崇祯元
- 山口二郎山口二郎(1958年7月13日-)是一名知名的日本政治学者,专攻现代日本政治和行政学。现为日本法政大学法学部教授、北海道大学名誉教授。曾经担任日本政治学会理事长(会长)、北海道大
- 羊马街道羊马街道,原为羊马镇,是中华人民共和国四川省成都市崇州市下辖的一个乡镇级行政单位。2019年12月,撤镇设街道,羊马街道办事处驻中白路2号。羊马街道下辖以下地区:崇江路社区、凌