fuzzy_dl_owl2.fuzzydl.concept_equivalence
Encapsulates the logical equivalence between two distinct concepts within a fuzzy description logic framework.
Description
The software provides a structural representation for asserting that two specific entities are treated as interchangeable, serving as a container for a pair of concept objects. By storing references to two distinct concepts, the implementation allows users to define and manipulate relationships where the semantics of one entity are identical to another within a specific context. Design choices include the ability to generate independent copies of the equivalence statement through a cloning mechanism, which facilitates the reuse of logical axioms without altering the original definitions. Accessor methods enable the retrieval of the individual components involved in the relationship, ensuring that the internal state remains encapsulated while still allowing external inspection of the logical structure.
Classes
This class encapsulates the axiom of equivalence between two distinct concepts, serving as a structural representation that asserts their equality within a specific context. It functions as a container for a pair of Concept objects, allowing users to define and manipulate relationships where two entities are treated as interchangeable. To utilize this class, instantiate it with the two concepts you wish to equate; you can then access these concepts directly or via getter methods, and generate independent copies of the equivalence statement using the clone functionality. |
Module Contents
UML Class Diagram for ConceptEquivalence
- class ConceptEquivalence(c1: fuzzy_dl_owl2.fuzzydl.concept.concept.Concept, c2: fuzzy_dl_owl2.fuzzydl.concept.concept.Concept)[source]
This class encapsulates the axiom of equivalence between two distinct concepts, serving as a structural representation that asserts their equality within a specific context. It functions as a container for a pair of Concept objects, allowing users to define and manipulate relationships where two entities are treated as interchangeable. To utilize this class, instantiate it with the two concepts you wish to equate; you can then access these concepts directly or via getter methods, and generate independent copies of the equivalence statement using the clone functionality.
- Parameters:
- clone() Self[source]
Creates and returns a new instance of ConceptEquivalence that replicates the state of the current object. The new object is constructed using the same c1 and c2 attributes found in the original instance. This method performs a shallow copy of the attributes, meaning that if c1 or c2 are mutable objects, the clone will reference the same underlying objects as the source. The original instance remains unmodified by this operation.
- Returns:
A new instance of the class initialized with the same concepts as the current object.
- Return type:
Self
- get_c1() fuzzy_dl_owl2.fuzzydl.concept.concept.Concept[source]
Returns the first concept associated with this equivalence instance. This accessor method retrieves the value of the internal attribute c1, representing one of the two concepts involved in the equivalence relationship. The operation is read-only and does not modify the state of the object or the returned concept.
- Returns:
The Concept instance stored in the c1 attribute.
- Return type:
- get_c2() fuzzy_dl_owl2.fuzzydl.concept.concept.Concept[source]
Returns the second concept associated with this equivalence instance. This method acts as an accessor for the c2 attribute, retrieving the Concept object that forms one side of the equivalence relationship. It performs no modifications to the object state and simply returns the stored value.
- Returns:
The Concept object stored in the c2 attribute.
- Return type: