Submissions:Template Instance

From Odp

Revision as of 16:53, 28 August 2012 by ValentinaPresutti (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search


This pattern has been certified.

Related submission, with evaluation history, can be found here

If you are a member of quality committee please visit the

evaluation section

If you are author of this proposal or you want to contribute to this pattern's review, you can:

In general, it could be useful to visit the evaluation section to have information about the evaluation process of this proposal

Current revision ID: 11178

Graphical representation

Diagram

Image:TemplatePatternBeforeAndAfter.png

General description

Name: Template Instance
Submitted by: CsongorNyulas
Also Known As:
Intent: The Template Instance pattern proposes a way of reducing the number of reified instances and the related property assertion axioms in an ontology, especially for the cases in which the reified relations are identical for multiple entities.
Domains:

General

Competency Questions:
Solution description: The pattern proposes to use the same “template” instance as the value of a reified property for multiple subjects (rather than having multiple copies of the same reified instance). The diagram presents an example of the usage of the pattern, for an easier understanding. The individuals x1, x2 and x3 have a reified property p that have as values the reified individuals, y1, y2 and y3, respectively. In OWL, we would have object property assertions: (x1 p y1), (x2 p y2), (x3 p y3). The properties for the reified individuals, y1, y2 and y3 are all identical: (y_ p1 foo), (y_ p2 1.0) and (y_ p3 z).

The pattern proposes to create a template instance, y_tmpl having the common values as its property values: (y_tmpl p1 foo), (y_tmpl p2 1.0), (y_tmpl p3 z)

The template instance would be used as the value for the reified property for x1, x2 and x3: (x1 p y_tmpl), (x2 p y_tmpl), (x3 p y_tmpl)

In addition, we will also add one annotation property, isTemplate:true, on y_tmpl to mark that it as a template instance. The intention is that the template instance is immutable, i.e., the property values of the template instance cannot be changed.


In the case that a user would like to change a property value of the reified relation, a clone of the template instance would be created and the change would occur on the clone. An ontology editor would use the isTemplate annotation property to check that a certain instance cannot be modified, and it should rather create a clone.

The right side of the diagram gives an example of this situation. Say that at a given time t0, there was an additional x4 individual that had the template instance as the value for p.

At t0: (x4 p y_tmpl)
     (y_tmpl p1 foo), (y_tmpl p2 1.0), (y_tmpl p3 z)

Later, at time t1, the user decides to change the value p1 on x4 from “foo” to “bar”. The ontology editor (or the user, if there is no support in the tool), will see the isTemplate annotation property on y_tmpl as set on true, and it will create a clone of it, y_tmpl_modif, by cloning also all the object and data property axioms. Then, it will change the value of p1 on y_tmpl_modif. So, the result will be:

At t1: (x4 p y_tmpl_modif)
     (y_tmpl_modif p1 bar), (y_tmpl_modif p2 1.0), (y_tmpl_modif p3 z)


As a result of using the Template Instance pattern, one could reduce the number of data and object property axioms in the ontology. This “deflation” of the ontology is especially significant, if there are many repetitive values in the ontology, with very few changes, and if the number of properties of the reified instances is large.

Reusable OWL Building Block: http://smi-protege.stanford.edu/collab-protege/templInstPattern/template_instance_odp.owl (992)
Consequences:
Scenarios:
Known Uses: http://www.who.int/classifications/icd/revision/en/index.html, https://sites.google.com/site/whoictm/
Web References:
Other References:
Examples (OWL files):
Extracted From:
Reengineered From:
Has Components:
Specialization Of:
Related CPs:


Elements

The Template Instance Content OP locally defines the following ontology elements:

Additional information

Scenarios

Scenarios about Template Instance

No scenario is added to this Content OP.

Reviews

Reviews about Template Instance
Review article Posted on About revision (current is 11178)
BenedictoRodriguezCastro about Template Instance 245616828 August 2012 1115811,158
BorisVillazón-Terrazas about Template Instance 24561754 September 2012 1117811,178
MariaPoveda about Template Instance 24561754 September 2012 1117811,178

This revision (revision ID 11178) takes in account the reviews: none

Other info at evaluation tab


Modeling issues

Modeling issues about Template Instance

There is no Modeling issue related to this proposal.


References

Add a reference


Submission to event

WOP:2012

Retrieved from "http://ontologydesignpatterns.org/wiki/Submissions:Template_Instance"
Personal tools
Quality Committee
Content OP publishers