fuzzy_dl_owl2.fuzzydl.query.subsumption_query
An abstract base class that defines the structure for evaluating the degree to which one concept is subsumed by another within a fuzzy logic framework.
Description
Serves as a foundational component for determining the subsumption degree between two concepts by utilizing specific fuzzy implication operators. During initialization, the logic enforces strict validation to ensure that both the subsumed concept and the subsumer concept are abstract, preventing the use of concrete concepts in this type of logical relationship. The design stores the pair of concepts along with the selected logic operator type, which dictates how the fuzzy implication is interpreted. Furthermore, a placeholder for an objective expression is established, allowing concrete implementations to populate the specific mathematical formulation required for the calculation.
Classes
This abstract base class provides a structured interface for performing subsumption queries, specifically designed to evaluate the degree to which one concept is subsumed by another using fuzzy logic implications. Upon initialization, it accepts a subsumed concept, a subsumer concept, and a logic operator type defining the specific implication method to be used. A critical validation step ensures that neither concept is concrete, as subsumption queries are restricted to abstract concepts. The class prepares an objective expression attribute to hold the calculated degree of subsumption, which is typically populated by concrete subclasses. |
Module Contents
UML Class Diagram for SubsumptionQuery
- class SubsumptionQuery(
- c1: fuzzy_dl_owl2.fuzzydl.concept.concept.Concept,
- c2: fuzzy_dl_owl2.fuzzydl.concept.concept.Concept,
- s_type: fuzzy_dl_owl2.fuzzydl.util.constants.LogicOperatorType,
Bases:
fuzzy_dl_owl2.fuzzydl.query.query.Query,abc.ABC
This abstract base class provides a structured interface for performing subsumption queries, specifically designed to evaluate the degree to which one concept is subsumed by another using fuzzy logic implications. Upon initialization, it accepts a subsumed concept, a subsumer concept, and a logic operator type defining the specific implication method to be used. A critical validation step ensures that neither concept is concrete, as subsumption queries are restricted to abstract concepts. The class prepares an objective expression attribute to hold the calculated degree of subsumption, which is typically populated by concrete subclasses.
- Parameters:
c1 (Concept) – The concept being subsumed, which must not be a concrete concept.
c2 (Concept) – The concept acting as the subsumer in the subsumption relationship.
type (LogicOperatorType) – The fuzzy implication operator used to evaluate the subsumption relationship.
obj_expr (Expression) – The objective expression representing the degree of subsumption.
- obj_expr: fuzzy_dl_owl2.fuzzydl.milp.expression.Expression = None