fuzzy_dl_owl2.fuzzydl.query.subsumption_query
An abstract base class designed to structure and validate fuzzy subsumption queries between two abstract concepts.
Description
It serves as a foundational component for determining the degree to which one concept is subsumed by another within a fuzzy logic framework. By inheriting from a generic query interface, it establishes a specific contract for subsumption operations that rely on fuzzy implication operators. The implementation enforces strict validation rules to ensure that both the subsumed and subsumer concepts are abstract, preventing concrete data types from being used in these logical relationships. Furthermore, it initializes storage for the objective expression required to calculate the precise degree of subsumption, delegating the actual computation logic to concrete subclasses.
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