fuzzy_dl_owl2.fuzzydl.query.max.max_query

A query operation that determines the maximum possible value of a specific expression while maintaining consistency with a fuzzy knowledge base.

Description

Extending the base query functionality, this component handles optimization requests aimed at finding the upper bound of a mathematical expression defined within an ontology. To achieve this, the implementation transforms the objective by negating the input expression, effectively converting a maximization problem into a minimization task that the underlying solver can process. During execution, the logic first ensures the consistency of the assertional data (ABox) and then creates a clone of the knowledge base to perform the optimization without altering the original state. If the data is inconsistent, the process gracefully handles the exception and returns a solution indicating the failure state rather than attempting the calculation.

Classes

MaxQuery

This class represents a query operation designed to determine the maximum possible value of a specific expression while maintaining consistency with the provided knowledge base. During execution, the system first verifies the consistency of the ABox and then performs an optimization on a cloned instance of the knowledge base. Internally, the target expression is negated before being passed to the optimizer, indicating that the underlying mechanism relies on minimization to achieve the maximization goal. If the knowledge base is found to be inconsistent, the query returns a solution indicating this state rather than a numerical result.

Module Contents

UML Class Diagram for MaxQuery

class MaxQuery(expr: fuzzy_dl_owl2.fuzzydl.milp.expression.Expression)

Bases: fuzzy_dl_owl2.fuzzydl.query.query.Query

This class represents a query operation designed to determine the maximum possible value of a specific expression while maintaining consistency with the provided knowledge base. During execution, the system first verifies the consistency of the ABox and then performs an optimization on a cloned instance of the knowledge base. Internally, the target expression is negated before being passed to the optimizer, indicating that the underlying mechanism relies on minimization to achieve the maximization goal. If the knowledge base is found to be inconsistent, the query returns a solution indicating this state rather than a numerical result.

Parameters:

obj_expr (Expression) – The negated expression passed to the solver to find the maximum value.

__str__() → str

Returns a string representation of the maximum query object. This representation concatenates the object’s expression attribute with the less-than-or-equal-to operator and a trailing space. The resulting string is typically used to display the constraint or condition defined by the query.

Returns:

A string representing the object expression followed by the ‘less than or equal to’ operator.

Return type:

str

preprocess(kb: fuzzy_dl_owl2.fuzzydl.knowledge_base.KnowledgeBase) → None

Prepares the MaxQuery instance for execution by analyzing or indexing the provided KnowledgeBase. This method typically involves initializing internal state, optimizing the query structure, or setting up necessary bindings based on the schema and contents of the knowledge base. Since it returns None, the operation is performed in place, modifying the object’s internal attributes to facilitate efficient computation of the maximum value during the subsequent evaluation phase.

Parameters:

kb (KnowledgeBase) – The knowledge base to be prepared for further processing.

solve(kb: fuzzy_dl_owl2.fuzzydl.knowledge_base.KnowledgeBase) → fuzzy_dl_owl2.fuzzydl.milp.solution.Solution

Executes the optimization query against the provided KnowledgeBase by first performing ABox reasoning to ensure consistency and materialize inferences. The method creates a clone of the KnowledgeBase to preserve the original state and then runs an optimization routine on this clone using the query’s objective expression. It measures and records the total execution time before returning the resulting Solution. If the KnowledgeBase is found to be inconsistent during the initial ABox solving phase, the method catches the exception and returns a Solution object indicating an inconsistent KB.

Parameters:

kb (KnowledgeBase) – The knowledge base containing the ontology and data to be solved and optimized.

Returns:

A Solution object representing the optimization result of the knowledge base, or a Solution indicating inconsistency if the ontology cannot be solved.

Return type:

Solution

obj_expr: fuzzy_dl_owl2.fuzzydl.milp.expression.Expression