fuzzy_dl_owl2.fuzzydl.query.satisfiable_query

An abstract base class that defines the structure for evaluating the satisfiability of fuzzy concepts within a fuzzy description logic system.

Description

Extending the base Query interface, the software provides a foundational mechanism for determining the degree to which a fuzzy concept is satisfied. It supports two distinct operational modes: evaluating the general satisfiability of a concept or assessing how well a specific individual fulfills that concept. To maintain logical integrity, the implementation enforces a strict constraint that the input concept must be non-concrete, preventing the application of satisfiability checks on specific instances. By utilizing overloaded initialization methods, the design flexibly handles the presence or absence of an individual argument while storing the necessary components—such as the concept, individual, and objective expression—required for subsequent mixed-integer linear programming evaluations.

Classes

SatisfiableQuery

This abstract class serves as the foundational interface for min/max satisfiability queries within a fuzzy logic framework. It is designed to evaluate the degree to which a specific fuzzy concept is satisfied, optionally in the context of a particular individual. Upon initialization, the class requires a non-concrete concept and accepts an optional individual argument, storing these entities along with a placeholder for the resulting objective expression. By enforcing constraints on the input concept and providing a common structure for storing query parameters, it facilitates the implementation of specific satisfiability checks that determine the bounds or extent of concept fulfillment.

Module Contents

UML Class Diagram for SatisfiableQuery

class SatisfiableQuery(c: fuzzy_dl_owl2.fuzzydl.concept.concept.Concept, a: fuzzy_dl_owl2.fuzzydl.individual.individual.Individual)

class SatisfiableQuery(c: fuzzy_dl_owl2.fuzzydl.concept.concept.Concept)

Bases: fuzzy_dl_owl2.fuzzydl.query.query.Query

This abstract class serves as the foundational interface for min/max satisfiability queries within a fuzzy logic framework. It is designed to evaluate the degree to which a specific fuzzy concept is satisfied, optionally in the context of a particular individual. Upon initialization, the class requires a non-concrete concept and accepts an optional individual argument, storing these entities along with a placeholder for the resulting objective expression. By enforcing constraints on the input concept and providing a common structure for storing query parameters, it facilitates the implementation of specific satisfiability checks that determine the bounds or extent of concept fulfillment.

__satisfiable_query_init_1(

c: fuzzy_dl_owl2.fuzzydl.concept.concept.Concept,

a: fuzzy_dl_owl2.fuzzydl.individual.individual.Individual,

) → None

Initializes a satisfiability query designed to evaluate whether a specific individual satisfies a given fuzzy concept. This method assigns the provided concept and individual to the instance attributes self.conc and self.ind, respectively, while setting the objective expression to None. It performs a validation step to ensure the concept is not concrete, raising an error if the input violates this constraint. This setup prepares the query object for subsequent satisfiability testing operations involving the specified individual.

Parameters:

• c (Concept) – The fuzzy concept to be tested for satisfiability. Must not be a concrete concept.

• a (Individual) – The individual entity used during the satisfiability test.

__satisfiable_query_init_2(c: fuzzy_dl_owl2.fuzzydl.concept.concept.Concept) → None

Initializes the query object to test the general satisfiability of a given fuzzy concept. This method serves as an alternative constructor that delegates to the primary initialization routine, passing None as the secondary argument to indicate that the check is not bound to a specific individual or context. By invoking the main initialization logic with these parameters, it configures the internal state necessary to determine if the concept is logically consistent within the current knowledge base.

Parameters:

c (Concept) – The fuzzy concept to be checked for satisfiability.