Certified.png
This pattern has been certified.

Related submission, with evaluation history, can be found here

Working.gif Last modified date is: 2010-03-05

General information

Name CyclicSubClassOf
Problem Sometimes there are several syntactical forms (e.g. syntactical sugar) with the same logical meaning. Refactoring patterns can transform one form to another, they are independant of a specific domain.

A explicitly defined cyclic SubClassOf chain is more difficult to discover and understand by a human than an EquivalentClassAxiom. Because it is explicitly defined there is not any dange in replacing it with an (explicitly defined) EquivalentClassAxioms.



Non-Ontological Resource

Description Not applicable for refactoring patterns
Graphical Representation

Diagram (this article has no graphical representation)


Ontology

Description The ontology before applying the pattern contains an explicitly defined cyclic SubClassOf chain with an arbitrary number of classes Ci (i > 0):

SubClassOf(A C1)

SubClassOf(C1 C2)

SubClassOf(C2 C3)

...

SubClassOf(Cn A)

Graphical Representation

Diagram

CyclisSubClassOf.png


Process

Description Replacing the cyclic SubClassOf chain with an EquivalentClassesAxiom:

EquivalentClasses( A C1 C2 C3 ... Cn)

Graphical Representation

Diagram

EquivalentClassesAxiom.png


Scenario example

Description Refactoring patterns are independant of a specific scenario resp. domain


Example of a Non-Ontological Resource

Description Not applicable for refactoring patterns
Graphical Representation

Diagram (this article has no graphical representation)

Web Reference http://Not applicable for refactoring patterns


Ontology example

Description Not applicable for this refactoring pattern
Graphical Representation

Diagram (this article has no graphical representation)

Web Reference http://Not applicable for this refactoring pattern


Process example

Description Not applicable for this refactoring pattern
Graphical Representation

Diagram (this article has no graphical representation)


About

SubmittedBy OlafNoppens
Author OlafNoppens
Also known as
Known uses
Related to
Other References

Additional information

Scenarios

Scenarios about CyclicSubClassOf

No scenario is added to this Content OP.

Reviews

Reviews about CyclicSubClassOf
There is no review about this proposal.
Some subquery has no valid condition.

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

Other info at evaluation tab


Modeling issues

Modeling issues about CyclicSubClassOf
There is no Modeling issue related to this proposal.
Some subquery has no valid condition.


References

Add a reference


The page [[Bootstrap:Footer]] was not found.