fuzzy_dl_owl2.fuzzydl.query.classification_query

A specialized query implementation that triggers the classification of a knowledge base and handles potential inconsistencies by returning specific solution states.

Description

Extending the base query interface, this component serves as a mechanism to initiate the classification process within a fuzzy description logic system. The core logic focuses on invoking the classification routine of the provided knowledge base, ensuring that the structural hierarchy is computed or validated. Unlike other query types that might require complex parameter resolution or preprocessing steps, this implementation bypasses such setup to directly execute the classification task. Error handling is a critical aspect of the design, where any exceptions raised during the classification process are caught and translated into a solution state indicating an inconsistent knowledge base, thereby preventing runtime failures and allowing the system to report the issue gracefully. The textual representation of the query is standardized to a specific prompt, facilitating clear identification within user interfaces or logging outputs.

Classes

ClassificationQuery

This class defines a specific type of inquiry designed to trigger the classification of a knowledge base. It operates by invoking the classification method on the provided knowledge base object during the solve phase. If the classification completes without error, the query returns a successful solution with a score of 1.0; however, if the process raises an exception, it interprets this as an inconsistency within the knowledge base and returns the corresponding error state. Unlike other query types, this implementation does not require any preprocessing steps before execution.

Module Contents

UML Class Diagram for ClassificationQuery

class ClassificationQuery

Bases: fuzzy_dl_owl2.fuzzydl.query.query.Query

This class defines a specific type of inquiry designed to trigger the classification of a knowledge base. It operates by invoking the classification method on the provided knowledge base object during the solve phase. If the classification completes without error, the query returns a successful solution with a score of 1.0; however, if the process raises an exception, it interprets this as an inconsistency within the knowledge base and returns the corresponding error state. Unlike other query types, this implementation does not require any preprocessing steps before execution.

__str__() → str

Returns the string representation of the ClassificationQuery object, specifically the constant prompt “Classify? <= “. This method is invoked when the object is converted to a string or printed, providing a standardized textual format that indicates the nature of the query. The output is static and does not depend on the internal state of the instance.

Returns:

Returns the string representation of the object, specifically the prompt ‘Classify? <= ‘.

Return type:

str

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

Prepares the current query instance for execution by resolving and validating its parameters against the provided KnowledgeBase. This method typically performs lookups to map external identifiers or labels to internal representations used by the system, ensuring that all constraints are valid within the context of the specific knowledge base. It operates by mutating the internal state of the query object rather than returning a new instance, potentially raising exceptions if the referenced classes or entities do not exist in the KnowledgeBase.

Parameters:

kb (KnowledgeBase) – The knowledge base instance to be prepared or modified for subsequent operations.

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

Executes the classification process on the provided KnowledgeBase to determine a solution. This method invokes the classification logic of the knowledge base and returns a Solution object representing a successful outcome if no errors occur. Should an exception be raised during classification, the method logs the traceback and returns a Solution indicating that the knowledge base is inconsistent, thereby preventing the exception from propagating.

Parameters:

kb (KnowledgeBase) – The knowledge base instance to be solved.

Returns:

A Solution object representing the outcome of the classification attempt. It indicates success with a value of 1.0 or failure due to an inconsistent knowledge base.

Return type:

Solution