fuzzy_dl_owl2.fuzzydl.query.satisfiable_query

Establishes a foundational interface for min/max satisfiability queries that evaluate the degree to which a specific fuzzy concept is satisfied, optionally within the context of a particular individual.

Description

The implementation provides a robust initialization mechanism that accepts a mandatory fuzzy concept and an optional individual entity, ensuring that the provided concept is not concrete before proceeding. By storing these core components—specifically the concept, the optional individual, and a placeholder for the resulting objective expression—the logic prepares the necessary state for subsequent satisfiability testing operations. Design decisions include the use of method overloading to distinguish between general concept satisfiability checks and those bound to a specific individual, thereby centralizing validation logic and preventing invalid configurations. Ultimately, the structure serves as a specialized extension of the generic query framework, tailored to support the derivation of bounds or extents of concept fulfillment in fuzzy description logic reasoning.

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.