fuzzy_dl_owl2.fuzzydl.concept

UML Class Diagram for fuzzy_dl_owl2.fuzzydl.concept

UML Class Diagram for fuzzy_dl_owl2.fuzzydl.concept

A comprehensive framework for fuzzy description logic that provides the structural foundation and operational mechanics for constructing, manipulating, and normalizing logical concepts.

Description

A robust architecture for symbolic reasoning under uncertainty defines a hierarchy of abstract interfaces and concrete implementations to model fuzzy description logic ontologies. Complex logical expressions are constructed through a composite structure that combines atomic primitives, role-based restrictions, and weighted aggregations using standard Python operator overloading. The design employs various patterns such as factories for instantiation and singletons for truth constants to ensure immutability and structural integrity across the system. Advanced fuzzy logic capabilities, including Choquet integrals, Ordered Weighted Averaging, and threshold constraints, are integrated alongside standard logical operators to support normalization into Conjunctive or Disjunctive Normal Forms. Support for concrete domains and linguistic modifiers further extends the framework, allowing for the precise modeling of numerical intervals and semantic transformations within the broader description logic ontology.

Modules

  • [fuzzy_dl_owl2.fuzzydl.concept.all_some_concept] — Implements a class representing universal and existential role restrictions within a fuzzy description logic framework.

  • [fuzzy_dl_owl2.fuzzydl.concept.approximation_concept] — A class that models logical constructs constraining individuals based on related entity properties through specific roles within a fuzzy description logic framework.

  • [fuzzy_dl_owl2.fuzzydl.concept.atomic_concept] — Defines the fundamental building block for a fuzzy description logic system, representing indivisible concepts that support logical operations.

  • [fuzzy_dl_owl2.fuzzydl.concept.choquet_integral] — A Python class representing a Choquet integral concept that aggregates sub-concepts using weighted values within a fuzzy description logic framework.

  • [fuzzy_dl_owl2.fuzzydl.concept.concept] — A foundational framework for fuzzy description logic that defines abstract interfaces and concrete implementations for constructing, manipulating, and normalizing logical concepts.

  • [fuzzy_dl_owl2.fuzzydl.concept.ext_threshold_concept] — Implements a logical construct for fuzzy description logic that applies a variable-based threshold to the satisfaction degree of a nested concept.

  • [fuzzy_dl_owl2.fuzzydl.concept.has_value_concept] — Defines a fuzzy logic concept representing an existential restriction where an entity must have a specific value for a given role.

  • [fuzzy_dl_owl2.fuzzydl.concept.implies_concept] — A Python implementation of fuzzy logical implication operators that supports various semantics such as Zadeh, Gödel, Łukasiewicz, and Kleene-Dienes within a description logic framework.

  • [fuzzy_dl_owl2.fuzzydl.concept.negated_nominal] — Defines a class representing the logical complement of a named individual within a fuzzy description logic framework.

  • [fuzzy_dl_owl2.fuzzydl.concept.operator_concept] — A central implementation of logical operators—conjunctions, disjunctions, and negations—within a fuzzy description logic system that supports multiple semantic interpretations like classical, Łukasiewicz, and Gödel logic.

  • [fuzzy_dl_owl2.fuzzydl.concept.owa_concept] — Defines an Ordered Weighted Averaging (OWA) concept structure that aggregates a collection of sub-concepts using corresponding numerical weights to support fuzzy logic operations.

  • [fuzzy_dl_owl2.fuzzydl.concept.qowa_concept] — Implements a quantified Ordered Weighted Averaging (OWA) concept that dynamically calculates aggregation weights based on a fuzzy quantifier.

  • [fuzzy_dl_owl2.fuzzydl.concept.quasi_sugeno_integral] — Defines a specialized fuzzy logic aggregation operator known as the Quasi-Sugeno integral, which combines weighted concepts into a single composite concept.

  • [fuzzy_dl_owl2.fuzzydl.concept.self_concept] — Implements a self-referential concept construct within fuzzy description logic to model individuals that satisfy a relationship with themselves through a specific role.

  • [fuzzy_dl_owl2.fuzzydl.concept.sigma_concept] — A class representing a sigma-count construct within fuzzy description logic that evaluates the cardinality of related individuals against a fuzzy concrete domain.

  • [fuzzy_dl_owl2.fuzzydl.concept.sigma_count] — A structural representation of a sigma-count concept within fuzzy description logic that evaluates constraints based on the quantity of role fillers satisfying specific conditions.

  • [fuzzy_dl_owl2.fuzzydl.concept.string_concept] — An atomic representation of string literals designed for use within a fuzzy description logic system.

  • [fuzzy_dl_owl2.fuzzydl.concept.sugeno_integral] — A fuzzy logic implementation of the Sugeno integral operator that aggregates a collection of weighted sub-concepts into a composite concept.

  • [fuzzy_dl_owl2.fuzzydl.concept.threshold_concept] — A Python class that models threshold constraints applied to fuzzy logic concepts to determine satisfaction based on numerical boundaries.

  • [fuzzy_dl_owl2.fuzzydl.concept.truth_concept] — Defines the logical constants Top and Bottom within a fuzzy description logic hierarchy to represent universal truth and contradiction.

  • [fuzzy_dl_owl2.fuzzydl.concept.value_concept] — Implements a specialized concept class for representing numerical value restrictions, such as “at most” or “at least,” within a fuzzy description logic system.

  • [fuzzy_dl_owl2.fuzzydl.concept.weighted_concept] — A Python class representing a fuzzy description logic concept modified by a numerical weight to denote importance or relevance.

  • [fuzzy_dl_owl2.fuzzydl.concept.weighted_max_concept] — Implements a weighted maximum concept structure that pairs sub-concepts with numerical weights to perform fuzzy logic operations.

  • [fuzzy_dl_owl2.fuzzydl.concept.weighted_min_concept] — Implements a weighted minimum concept for fuzzy description logic that aggregates a collection of sub-concepts using associated numerical weights.

  • [fuzzy_dl_owl2.fuzzydl.concept.weighted_sum_concept] — A weighted sum concept aggregates multiple sub-concepts using specific numerical weights to form a composite linear combination within a fuzzy description logic framework.

  • [fuzzy_dl_owl2.fuzzydl.concept.weighted_sum_zero_concept] — Implements a fuzzy logic concept that aggregates multiple sub-concepts using specific weights while enforcing a constraint that the total weight cannot exceed 1.0.

Sub-packages

  • [fuzzy_dl_owl2.fuzzydl.concept.concrete] — A suite of concrete fuzzy logic implementations that model various membership functions and support fuzzy arithmetic operations.

  • [fuzzy_dl_owl2.fuzzydl.concept.interface] — Abstract base classes define standard interfaces for managing conceptual entities, roles, and associated values within a fuzzy description logic system.

  • [fuzzy_dl_owl2.fuzzydl.concept.modified] — Specialized implementations of fuzzy description logic concepts that apply linear or triangular transformations to adjust the degree of satisfaction of a base concept.

Submodules