fuzzy_dl_owl2.fuzzydl.query.max.max_query
A query operation that calculates the maximum possible value of a specific expression within a fuzzy knowledge base by transforming the maximization problem into a minimization task.
Description
The logic extends the generic query framework to handle optimization requests where the goal is to find the upper bound of a given mathematical or logical expression. To achieve this, the implementation relies on a design pattern where the target expression is mathematically negated during initialization, allowing the underlying optimization engine—which is designed for minimization—to effectively solve for the maximum value. During execution, the process first ensures the consistency of the data through ABox reasoning before creating a separate clone of the knowledge base to prevent unintended side effects on the original data structure. The optimization routine is then applied to this cloned instance, with robust error handling in place to return a specific status indicating inconsistency if the reasoning phase fails, rather than raising a runtime error.
Classes
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: