Index

_

__add__() (Expression method) (Term method) (TriangularFuzzyNumber method) __add_abstract_filler_to_show_1() (ShowVariablesHelper method) __add_abstract_filler_to_show_2() (ShowVariablesHelper method) __add_assertion_1() (KnowledgeBase method) __add_assertion_2() (KnowledgeBase method) __add_assertion_3() (KnowledgeBase method) __add_concepts_disjoint_1() (KnowledgeBase method) __add_concepts_disjoint_2() (KnowledgeBase method) __add_concepts_disjoint_3() (KnowledgeBase method) __add_concrete_filler_to_show_1() (ShowVariablesHelper method) __add_concrete_filler_to_show_2() (ShowVariablesHelper method) __add_concrete_filler_to_show_3() (ShowVariablesHelper method) __add_crisp_concrete_concept_equations() (KnowledgeBase method) __add_fuzzy_concrete_concept_equation() (KnowledgeBase method) __add_left_concrete_concept_equations() (KnowledgeBase method) __add_linear_concrete_concept_equations() (KnowledgeBase method) __add_new_constraint_1() (MILPHelper method) __add_new_constraint_2() (MILPHelper method) __add_new_constraint_3() (MILPHelper method) __add_new_constraint_4() (MILPHelper method) __add_new_constraint_5() (MILPHelper method) __add_new_constraint_6() (MILPHelper method) __add_new_constraint_7() (MILPHelper method) __add_restriction_1() (IndividualHandler method) __add_restriction_2() (IndividualHandler method) __add_right_concrete_concept_equations() (KnowledgeBase method) __add_sigma_count_equation() (KnowledgeBase method) __add_trapezoidal_concrete_concept_equations() (KnowledgeBase method) __add_triangular_concrete_concept_equations() (KnowledgeBase method) __and__() (ApproximationConcept method) (AtomicConcept method) (ChoquetIntegral method) (Concept method) (CrispConcreteConcept method) (ExtThresholdConcept method) (HasValueConcept method) (ImpliesConcept method) (LeftConcreteConcept method) (LinearConcreteConcept method) (LinearlyModifiedConcept method) (LinearModifier method) (ModifiedConcept method) (ModifiedConcreteConcept method) (NegatedNominal method) (OperatorConcept method) (OwaConcept method) (QowaConcept method) (QsugenoIntegral method) (RightConcreteConcept method) (SelfConcept method) (SigmaConcept method) (SugenoIntegral method) (ThresholdConcept method) (TrapezoidalConcreteConcept method) (TriangularConcreteConcept method) (TriangularFuzzyNumber method) (TriangularlyModifiedConcept method) (TriangularModifier method) (TruthConcept method) (ValueConcept method) (WeightedConcept method) (WeightedMaxConcept method) (WeightedMinConcept method) (WeightedSumConcept method) (WeightedSumZeroConcept method) __and_equation_1() (LukasiewiczSolver static method) (ZadehSolver static method) __and_equation_2() (LukasiewiczSolver static method) (ZadehSolver static method) __and_equation_3() (LukasiewiczSolver static method) (ZadehSolver static method) __and_equation_4() (ZadehSolver static method) __and_equation_5() (ZadehSolver static method) __and_geq_equation_1() (LukasiewiczSolver static method) (ZadehSolver static method) __and_geq_equation_2() (LukasiewiczSolver static method) (ZadehSolver static method) __bfs() (MILPHelper method) __common_partition_part() (MILPHelper method) __compute_partition() (MILPHelper method) __concept_absorption_1() (KnowledgeBase method) __concept_absorption_2() (KnowledgeBase method) __concrete_feature_init_1() (ConcreteFeature method) __concrete_feature_init_2() (ConcreteFeature method) __concrete_feature_init_3() (ConcreteFeature method) __concrete_feature_init_4() (ConcreteFeature method) __created_ind_init_1() (CreatedIndividual method) __created_ind_init_2() (CreatedIndividual method) __degree_if_not_one_1() (KnowledgeBase method) __degree_if_not_one_2() (KnowledgeBase method) __eq__() (Assertion method) (AtomicConcept method) (Concept method) (CreatedIndividual method) (Degree method) (DegreeExpression method) (DegreeNumeric method) (DegreeVariable method) (Expression method) (FuzzyDLKeyword method) (FuzzyOWL2Keyword method) (GeneralConceptInclusion method) (ImpliesConcept method) (Individual method) (Inequation method) (Label method) (OperatorConcept method) (PrimitiveConceptDefinition method) (Term method) (Thing method) (TriangularFuzzyNumber method) (TruthConcept method) (Variable method) __expression_init_1() (Expression method) __expression_init_2() (Expression method) __expression_init_3() (Expression method) __expression_init_4() (Expression method) __expression_init_5() (Expression method) __feature_function_init_1() (FeatureFunction method) __feature_function_init_2() (FeatureFunction method) __feature_function_init_3() (FeatureFunction method) __feature_function_init_4() (FeatureFunction method) __feature_function_init_5() (FeatureFunction method) __feature_function_init_6() (FeatureFunction method) __final_write() (FuzzyOwl2 method) __gci_transformation_1() (KnowledgeBase method) __gci_transformation_2() (KnowledgeBase method) __ge__() (CreatedIndividual method) (GeneralConceptInclusion method) (PrimitiveConceptDefinition method) (Thing method) __get_class_1() (FuzzydlToOwl2 method) __get_class_2() (FuzzydlToOwl2 method) __get_class_q_owa() (FuzzydlToOwl2 method) __get_class_weighted() (FuzzydlToOwl2 method) __get_class_weighted_min_max_sum() (FuzzydlToOwl2 method) __get_correct_version_of_individual_1() (KnowledgeBase method) __get_correct_version_of_individual_2() (KnowledgeBase method) __get_degree() (FuzzyOwl2 method) __get_facets() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) __get_graph() (MILPHelper method) __get_new_individual_1() (KnowledgeBase method) __get_new_individual_2() (KnowledgeBase method) __get_nominal_variable_1() (MILPHelper method) __get_nominal_variable_2() (MILPHelper method) __get_ordered_permutation_1() (MILPHelper method) __get_ordered_permutation_2() (MILPHelper method) __get_set_name() (FuzzyOwl2ToFuzzyDL method) __get_variable_1() (MILPHelper method) __get_variable_10() (MILPHelper method) __get_variable_11() (MILPHelper method) __get_variable_12() (MILPHelper method) __get_variable_2() (MILPHelper method) __get_variable_3() (MILPHelper method) __get_variable_4() (MILPHelper method) __get_variable_5() (MILPHelper method) __get_variable_6() (MILPHelper method) __get_variable_7() (MILPHelper method) __get_variable_8() (MILPHelper method) __get_variable_9() (MILPHelper method) __gt__() (CreatedIndividual method) (GeneralConceptInclusion method) (PrimitiveConceptDefinition method) (Thing method) __has_variable_1() (MILPHelper method) __has_variable_2() (MILPHelper method) __hash__() (AllSomeConcept method) (ApproximationConcept method) (AtomicConcept method) (ChoquetIntegral method) (ClassificationNode method) (CreatedIndividual method) (CrispConcreteConcept method) (Expression method) (ExtThresholdConcept method) (GeneralConceptInclusion method) (HasValueConcept method) (ImpliesConcept method) (Inequation method) (LeftConcreteConcept method) (LinearConcreteConcept method) (LinearlyModifiedConcept method) (LinearModifier method) (ModifiedConcreteConcept method) (NegatedNominal method) (OperatorConcept method) (OwaConcept method) (PrimitiveConceptDefinition method) (QowaConcept method) (QsugenoIntegral method) (RightConcreteConcept method) (SelfConcept method) (SigmaConcept method) (SigmaCount method) (Solution method) (StringConcept method) (SugenoIntegral method) (Term method) (ThresholdConcept method) (TrapezoidalConcreteConcept method) (TriangularConcreteConcept method) (TriangularFuzzyNumber method) (TriangularlyModifiedConcept method) (TriangularModifier method) (TruthConcept method) (ValueConcept method) (Variable method) (WeightedConcept method) (WeightedMaxConcept method) (WeightedMinConcept method) (WeightedSumConcept method) (WeightedSumZeroConcept method) __iand__() (Concept method) __invert__() (AtomicConcept method) (Thing method) __ior__() (Concept method) __irshift__() (Concept method) __is_integer_datatype() (FuzzyOwl2ToFuzzyDL method) __is_real_datatype() (FuzzyOwl2ToFuzzyDL method) __le__() (CreatedIndividual method) (GeneralConceptInclusion method) (PrimitiveConceptDefinition method) (Thing method) __lt__() (CreatedIndividual method) (GeneralConceptInclusion method) (PrimitiveConceptDefinition method) (Thing method) __max_sat_query_init_1() (MaxSatisfiableQuery method) __max_sat_query_init_2() (MaxSatisfiableQuery method) __min_sat_query_init_1() (MinSatisfiableQuery method) __min_sat_query_init_2() (MinSatisfiableQuery method) __mul__() (Expression method) (Term method) (TriangularFuzzyNumber method) __ne__() (Assertion method) (AtomicConcept method) (Concept method) (CreatedIndividual method) (Degree method) (Expression method) (GeneralConceptInclusion method) (Individual method) (Inequation method) (Label method) (OperatorConcept method) (PrimitiveConceptDefinition method) (Term method) (Thing method) (TriangularFuzzyNumber method) (TruthConcept method) (Variable method) __neg__() (AllSomeConcept method) (ApproximationConcept method) (AtomicConcept method) (ChoquetIntegral method) (CrispConcreteConcept method) (Expression method) (ExtThresholdConcept method) (HasValueConcept method) (ImpliesConcept method) (LeftConcreteConcept method) (LinearConcreteConcept method) (LinearlyModifiedConcept method) (LinearModifier method) (ModifiedConcept method) (ModifiedConcreteConcept method) (NegatedNominal method) (OperatorConcept method) (OwaConcept method) (QowaConcept method) (QsugenoIntegral method) (RightConcreteConcept method) (SelfConcept method) (SigmaConcept method) (StringConcept method) (SugenoIntegral method) (Term method) (Thing method) (ThresholdConcept method) (TrapezoidalConcreteConcept method) (TriangularConcreteConcept method) (TriangularFuzzyNumber method) (TriangularlyModifiedConcept method) (TriangularModifier method) (TruthConcept method) (ValueConcept method) (WeightedConcept method) (WeightedMaxConcept method) (WeightedMinConcept method) (WeightedSumConcept method) (WeightedSumZeroConcept method) __op() (OperatorConcept static method) __or__() (ApproximationConcept method) (AtomicConcept method) (ChoquetIntegral method) (Concept method) (CrispConcreteConcept method) (ExtThresholdConcept method) (HasValueConcept method) (ImpliesConcept method) (LeftConcreteConcept method) (LinearConcreteConcept method) (LinearlyModifiedConcept method) (LinearModifier method) (ModifiedConcept method) (ModifiedConcreteConcept method) (NegatedNominal method) (OperatorConcept method) (OwaConcept method) (QowaConcept method) (QsugenoIntegral method) (RightConcreteConcept method) (SelfConcept method) (SigmaConcept method) (SugenoIntegral method) (ThresholdConcept method) (TrapezoidalConcreteConcept method) (TriangularConcreteConcept method) (TriangularFuzzyNumber method) (TriangularlyModifiedConcept method) (TriangularModifier method) (TruthConcept method) (ValueConcept method) (WeightedConcept method) (WeightedMaxConcept method) (WeightedMinConcept method) (WeightedSumConcept method) (WeightedSumZeroConcept method)

__or_equation_1() (ZadehSolver static method) __or_equation_2() (ZadehSolver static method) __print_instance_of_labels_1() (MILPHelper method) __print_instance_of_labels_2() (MILPHelper method) __radd__() (Expression method) __remove_A_is_a_X_1() (KnowledgeBase method) __remove_A_is_a_X_2() (KnowledgeBase method) __remove_nominal_variables() (MILPHelper method) __repr__() (Assertion method) (AtomicConcept method) (BlockingDynamicType method) (ClassificationNode method) (ConceptDefinition method) (ConceptType method), [1] (ConcreteFeature method) (ConcreteFeatureType method) (CreatedIndividualBlockingType method) (Degree method) (Expression method) (FeatureFunction method) (FeatureFunctionType method) (FuzzyDatatype method) (FuzzyDLKeyword method) (FuzzyLogic method) (FuzzyOWL2Keyword method) (GeneralConceptInclusion method) (Individual method) (InequalityType method) (Inequation method) (KnowledgeBaseRules method) (LogicOperatorType method) (ModifiedConcept method) (ModifiedProperty method) (Modifier method) (PrimitiveConceptDefinition method) (Relation method) (RepresentativeIndividualType method) (Restriction method) (RestrictionType method) (SigmaCount method) (Solution method) (Term method) (Thing method) (Variable method) (VariableType method) __restrict_range_1() (KnowledgeBase method) __restrict_range_2() (KnowledgeBase method) __rmul__() (Expression method) (Term method) __role_absorption_1() (KnowledgeBase method) __role_absorption_2() (KnowledgeBase method) __role_implies_1() (KnowledgeBase method) __role_implies_2() (KnowledgeBase method) __role_subsumes_bool_1() (KnowledgeBase method) __role_subsumes_bool_2() (KnowledgeBase method) __rshift__() (AtomicConcept method) (Concept method) (TruthConcept method) __rsub__() (Expression method) __satisfiable_query_init_1() (SatisfiableQuery method) __satisfiable_query_init_2() (SatisfiableQuery method) __solution_init_1() (Solution method) __solution_init_2() (Solution method) __solve_cardinality() (KnowledgeBase method) __solve_gci_1() (KnowledgeBase method) __solve_gci_2() (KnowledgeBase method) __solve_gurobi_using_partitions() (MILPHelper method) __solve_reflexive_roles_1() (KnowledgeBase method) __solve_reflexive_roles_2() (KnowledgeBase method) __solve_role_inclusion_axioms_1() (KnowledgeBase method) __solve_role_inclusion_axioms_2() (KnowledgeBase method) __str__() (AllInstancesQuery method) (Assertion method) (AtomicAssertion method) (BlockingDynamicType method) (BnpQuery method) (ChoquetConcept method) (ClassificationNode method) (ClassificationQuery method) (Concept method) (ConceptType method), [1] (ConcreteFeature method) (ConcreteFeatureType method) (CreatedIndividual method) (CreatedIndividualBlockingType method) (CrispFunction method) (Degree method) (DegreeExpression method) (DegreeNumeric method) (DegreeVariable method) (Expression method) (FeatureFunction method) (FeatureFunctionType method) (FuzzyDLKeyword method) (FuzzyLogic method) (FuzzyNominalConcept method) (FuzzyOWL2Keyword method) (GeneralConceptInclusion method) (Individual method) (InequalityType method) (Inequation method) (KbSatisfiableQuery method) (KnowledgeBaseRules method) (Label method) (LeftShoulderFunction method) (LinearFunction method) (LinearModifier method) (LogicOperatorType method) (LomDefuzzifyQuery method) (MaxInstanceQuery method) (MaxQuery method) (MaxRelatedQuery method) (MaxSatisfiableQuery method) (MaxSubsumesQuery method) (MinInstanceQuery method) (MinQuery method) (MinRelatedQuery method) (MinSatisfiableQuery method) (MinSubsumesQuery method) (ModifiedConcept method), [1] (ModifiedFunction method) (ModifiedProperty method) (Modifier method) (MomDefuzzifyQuery method) (OwaConcept method) (PrimitiveConceptDefinition method) (QowaConcept method) (QsugenoConcept method) (Query method) (Relation method) (RepresentativeIndividualType method) (Restriction method) (RestrictionType method) (RightShoulderFunction method) (SigmaCount method) (Solution method) (SomDefuzzifyQuery method) (SugenoConcept method) (Term method) (TrapezoidalFunction method) (TriangularFunction method) (TriangularModifier method) (Variable method) (VariableType method) (WeightedConcept method) (WeightedMaxConcept method) (WeightedMinConcept method) (WeightedSumConcept method) (WeightedSumZeroConcept method) __sub__() (Expression method) (Term method) (TriangularFuzzyNumber method) __sugeno_init_1() (SugenoIntegral method) __sugeno_init_2() (SugenoIntegral method) __term_init_1() (Term method) __term_init_2() (Term method) __tringular_fn_init_1() (TriangularFuzzyNumber method) __tringular_fn_init_2() (TriangularFuzzyNumber method) __truediv__() (Expression method) (Term method) (TriangularFuzzyNumber method) __write() (FuzzyOwl2ToFuzzyDL method) __write_class_assertion_axiom() (FuzzyOwl2 method) __write_data_property_assertion_axiom() (FuzzyOwl2 method) __write_negative_data_property_assertion_axiom() (FuzzyOwl2 method) __write_negative_object_property_assertion_axiom() (FuzzyOwl2 method) __write_object_property_assertion_axiom() (FuzzyOwl2 method) __write_subclass_of_axiom() (FuzzyOwl2 method) __write_subdata_property_axiom() (FuzzyOwl2 method) __write_subobject_property_axiom() (FuzzyOwl2 method) __write_subproperty_chain_of_axiom() (FuzzyOwl2 method) __zadeh_implies_equation_1() (ZadehSolver static method) __zadeh_implies_equation_2() (ZadehSolver static method) _a (CrispConcreteConcept attribute) (CrispFunction attribute) (LeftConcreteConcept attribute) (LeftShoulderFunction attribute) (LinearConcreteConcept attribute) (LinearFunction attribute) (LinearModifier attribute) (RightConcreteConcept attribute) (RightShoulderFunction attribute) (TrapezoidalConcreteConcept attribute) (TrapezoidalFunction attribute) (TriangularConcreteConcept attribute) (TriangularFunction attribute) (TriangularModifier attribute), [1] _b (CrispConcreteConcept attribute) (CrispFunction attribute) (LeftConcreteConcept attribute) (LeftShoulderFunction attribute) (LinearConcreteConcept attribute) (LinearFunction attribute) (LinearModifier attribute) (RightConcreteConcept attribute) (RightShoulderFunction attribute) (TrapezoidalConcreteConcept attribute) (TrapezoidalFunction attribute) (TriangularConcreteConcept attribute) (TriangularFunction attribute) (TriangularModifier attribute), [1] _c (LinearModifier attribute), [1] (ModifiedConcept attribute) (TrapezoidalConcreteConcept attribute) (TrapezoidalFunction attribute) (TriangularConcreteConcept attribute) (TriangularFunction attribute) (TriangularModifier attribute), [1] (WeightedConcept attribute) _check_abstract() (DLParser static method) _concepts (ChoquetConcept attribute) (HasConceptsInterface attribute) (OwaConcept attribute) (QowaConcept attribute) (QsugenoConcept attribute) (SugenoConcept attribute) _create_fuzzy_number() (DLParser static method) _curr_concept (HasConceptInterface attribute) _d (ModifiedFunction attribute) (TrapezoidalConcreteConcept attribute) (TrapezoidalFunction attribute) _fuzzy_logic_parser() (DLParser static method) _get_concrete_concept_specifics() (FuzzydlToOwl2 method) _get_modifier() (DLParser static method) _i (FuzzyNominalConcept attribute) _ind_name (NegatedNominal attribute) _k1 (FuzzyConcreteConcept attribute) (FuzzyDatatype attribute) _k2 (FuzzyConcreteConcept attribute) (FuzzyDatatype attribute) _mod (ModifiedConcept attribute) (ModifiedFunction attribute) (ModifiedProperty attribute) (PropertyDefinition attribute) _modified (ModifiedConcreteConcept attribute) _modifier (ModifiedConcept attribute) (ModifiedConcreteConcept attribute) _n (FuzzyNominalConcept attribute) (WeightedConcept attribute) _name (AllSomeConcept attribute) (Concept attribute) (StringConcept attribute) _parse_axioms() (DLParser static method) _parse_binary_concept() (DLParser static method) _parse_constraints() (DLParser static method) _parse_crisp_declarations() (DLParser static method) _parse_datatype_restriction() (DLParser static method) _parse_degree() (DLParser static method) _parse_expression() (DLParser static method) _parse_feature() (DLParser static method) _parse_fuzzy_concept() (DLParser static method) _parse_fuzzy_datatype() (in module fuzzy_dl_owl2.fuzzyowl2.parser.owl2_parser) _parse_fuzzy_equivalence() (DLParser static method) _parse_fuzzy_nominal() (in module fuzzy_dl_owl2.fuzzyowl2.parser.owl2_parser) _parse_fuzzy_number_range() (DLParser static method) _parse_fuzzy_similarity() (DLParser static method) _parse_inequation() (DLParser static method) _parse_integral_concept() (in module fuzzy_dl_owl2.fuzzyowl2.parser.owl2_parser) _parse_modified_concept() (in module fuzzy_dl_owl2.fuzzyowl2.parser.owl2_parser) _parse_modifier() (DLParser static method) _parse_modifier_concept() (DLParser static method) _parse_modifier_function() (in module fuzzy_dl_owl2.fuzzyowl2.parser.owl2_parser) _parse_owa_integral_concept() (DLParser static method) _parse_property() (in module fuzzy_dl_owl2.fuzzyowl2.parser.owl2_parser) _parse_q_owa_concept() (DLParser static method) (in module fuzzy_dl_owl2.fuzzyowl2.parser.owl2_parser) _parse_queries() (DLParser static method) _parse_restrictions() (DLParser method) _parse_sigma_count_concept() (DLParser static method) _parse_term() (DLParser static method) _parse_threshold_concept() (DLParser static method) _parse_truth_constants() (DLParser static method) _parse_unary_concept() (DLParser static method) _parse_weighted_complex_concept() (in module fuzzy_dl_owl2.fuzzyowl2.parser.owl2_parser) _parse_weighted_concept() (DLParser static method) (in module fuzzy_dl_owl2.fuzzyowl2.parser.owl2_parser) _parse_weighted_concept_simple() (DLParser static method) _process_assertion() (FuzzydlToOwl2 method) _process_concrete_concept() (FuzzydlToOwl2 method) _process_individual() (FuzzydlToOwl2 method) _process_modifier() (FuzzydlToOwl2 method) _prop (ModifiedProperty attribute) (PropertyDefinition attribute) _q (QowaConcept attribute) _quantifier (QowaConcept attribute) _role (HasRoleInterface attribute) _set_fuzzy_number() (DLParser static method) _show_abstract_fillers() (DLParser static method) _show_abstract_fillers_for() (DLParser static method) _show_concepts() (DLParser static method) _show_concrete_fillers() (DLParser static method) _show_concrete_fillers_for() (DLParser static method) _show_concrete_instance_for() (DLParser static method) _show_instances() (DLParser static method) _show_languages() (DLParser static method) _show_variables() (DLParser static method) _to_concept() (DLParser static method) _to_number() (DLParser static method) (in module fuzzy_dl_owl2.fuzzyowl2.parser.owl2_parser) _to_top_bottom_concept() (DLParser static method) _type (Concept attribute) (ConceptDefinition attribute) _value (HasValueInterface attribute) _wc (WeightedMaxConcept attribute) (WeightedMinConcept attribute) (WeightedSumConcept attribute) (WeightedSumZeroConcept attribute) _weight (ThresholdConcept attribute) (WeightedConcept attribute) _weight_variable (ExtThresholdConcept attribute) _weights (ChoquetConcept attribute) (HasWeightedConceptsInterface attribute) (OwaConcept attribute) (QsugenoConcept attribute) (SugenoConcept attribute)

A

a (CrispConcreteConcept property) (DefuzzifyQuery attribute) A (FuzzyOWL2Keyword attribute) a (LeftConcreteConcept property) (LinearConcreteConcept property) (LinearModifier property) (RightConcreteConcept property) (TrapezoidalConcreteConcept property) (TriangularConcreteConcept property) (TriangularModifier property) ABOX_EXPANDED (KnowledgeBase attribute) ABSORPTION_OPERATORS (OperatorConcept attribute) abstract_fillers (ShowVariablesHelper attribute) abstract_roles (KnowledgeBase attribute) acyclic_tbox (KnowledgeBase attribute) add() (TriangularFuzzyNumber static method) add_abstract_filler_to_show() (ShowVariablesHelper method) add_assertion() (KnowledgeBase method) add_assertions() (KnowledgeBase method) add_atomic_concepts_disjoint() (KnowledgeBase method) add_axiom_to_A_equiv_C() (KnowledgeBase method) add_axiom_to_A_is_a_C() (KnowledgeBase method) add_axiom_to_C_is_a_A() (KnowledgeBase method) add_axiom_to_C_is_a_D() (KnowledgeBase method) add_axiom_to_C_is_a_X() (KnowledgeBase method) add_axiom_to_do_A_is_a_X() (KnowledgeBase method) add_axiom_to_inc() (KnowledgeBase method) add_axioms_to_tg() (KnowledgeBase method) add_cardinality_list() (MILPHelper method) add_concept() (Individual method) (KnowledgeBase method) add_concept_to_show() (ShowVariablesHelper method) add_concepts_disjoint() (KnowledgeBase method) add_concrete_filler_to_show() (ShowVariablesHelper method) add_concrete_restriction() (Individual method) add_constant() (Expression static method) add_contradiction() (MILPHelper method) add_created_individual() (KnowledgeBase method) add_crisp_concept() (MILPHelper method) add_crisp_role() (MILPHelper method) add_datatype_restriction() (KnowledgeBase method) add_disjoint_union_concept() (KnowledgeBase method) add_entity_annotation() (FuzzydlToOwl2 method) add_equality() (MILPHelper method) add_equivalence_relation() (KnowledgeBase method) add_equivalent_concepts() (KnowledgeBase method) add_equivalent_roles() (KnowledgeBase method) add_expressions() (Expression static method) add_fuzzy_number() (KnowledgeBase method) add_gci() (KnowledgeBase method) add_individual() (KnowledgeBase method) add_individual_to_concept() (KnowledgeBase method) add_individual_to_show() (ShowVariablesHelper method) add_input_edge() (ClassificationNode method) add_inverse_roles() (KnowledgeBase method) add_label() (ClassificationNode method) add_labels_with_nodes() (KnowledgeBase method) add_modifier() (KnowledgeBase method) add_mutually_disjoint() (KnowledgeBase method) add_negated_datatype_restriction() (KnowledgeBase method) add_negated_equations() (KnowledgeBase method) add_new_constraint() (MILPHelper method) add_not_self_restriction() (IndividualHandler static method) add_ontology_annotation() (FuzzydlToOwl2 method) add_ouput_edge() (ClassificationNode method) add_parent_recursively() (KnowledgeBase method) add_relation() (IndividualHandler static method) (KnowledgeBase method) add_relation_with_role_parent() (KnowledgeBase method) add_relation_with_role_parent_in_lukasiewicz() (KnowledgeBase method) add_restriction() (IndividualHandler static method) add_showed_variable() (Solution method) add_similarity_relation() (KnowledgeBase method) add_simple_inverse_roles() (KnowledgeBase method) add_string_feature() (MILPHelper method) add_string_value() (MILPHelper method) add_subsumption() (KnowledgeBase method) add_tdef_links() (KnowledgeBase method)

add_tdr_links() (KnowledgeBase method) add_term() (Expression method) add_term_() (Expression static method) add_tinc_links() (KnowledgeBase method) add_tmp_feature() (KnowledgeBase method) add_to_expression() (Degree method) (DegreeExpression method) (DegreeNumeric method) (DegreeVariable method) add_to_nominal_list() (Individual method) add_variable() (ShowVariablesHelper method) ALL (ConceptType attribute) (FuzzyDLKeyword attribute) All (in module fuzzy_dl_owl2.fuzzydl.concept.all_some_concept) all() (AllSomeConcept static method) ALL_INSTANCES_QUERY (FuzzyDLKeyword attribute) ALL_OPERATORS (OperatorConcept attribute) AllInstancesQuery (class in fuzzy_dl_owl2.fuzzydl.query.all_instances_query) AllSomeConcept (class in fuzzy_dl_owl2.fuzzydl.concept.all_some_concept) AND (ConceptType attribute) (FuzzyDLKeyword attribute) And (in module fuzzy_dl_owl2.fuzzydl.concept.operator_concept) and_() (LukasiewiczSolver static method) (OperatorConcept static method) (ZadehSolver static method) and_equation() (LukasiewiczSolver static method) (ZadehSolver static method) and_geq_equation() (LukasiewiczSolver static method) (ZadehSolver static method) and_leq_equation() (LukasiewiczSolver static method) (ZadehSolver static method) and_negated_equation() (ZadehSolver static method) AND_OPERATORS (OperatorConcept attribute) annotate_gci() (FuzzydlToOwl2 method) annotate_pcd() (FuzzydlToOwl2 method) annotation_property_iri() (FuzzydlToOwl2 method) ANYWHERE_DOUBLE_BLOCKING (BlockingDynamicType attribute) (ConfigReader attribute) ANYWHERE_SET_BLOCKING (BlockingDynamicType attribute) ANYWHERE_SIMPLE_BLOCKING (ConfigReader attribute) ANYWHERE_SUBSET_BLOCKING (BlockingDynamicType attribute) applied_trans_role_rules (KnowledgeBase attribute) apply_at_least_value_rule() (DatatypeReasoner static method) apply_at_most_value_rule() (DatatypeReasoner static method) apply_exact_value_rule() (DatatypeReasoner static method) apply_not_at_least_value_rule() (DatatypeReasoner static method) apply_not_at_most_value_rule() (DatatypeReasoner static method) apply_not_exact_value_rule() (DatatypeReasoner static method) apply_not_rule() (DatatypeReasoner static method) apply_rule() (DatatypeReasoner static method) ApproximationConcept (class in fuzzy_dl_owl2.fuzzydl.concept.approximation_concept) Assertion (class in fuzzy_dl_owl2.fuzzydl.assertion.assertion) assertions (KnowledgeBase attribute) AT_LEAST_VALUE (ConceptType attribute) (RestrictionType attribute) at_least_value() (ValueConcept static method) AT_MOST_VALUE (ConceptType attribute) (RestrictionType attribute) at_most_value() (ValueConcept static method) ATOMIC (ConceptType attribute) (FeatureFunctionType attribute) atomic_concepts (KnowledgeBase attribute) AtomicAssertion (class in fuzzy_dl_owl2.fuzzydl.assertion.atomic_assertion) AtomicConcept (class in fuzzy_dl_owl2.fuzzydl.concept.atomic_concept) AXIOM (FuzzyOWL2Keyword attribute) axioms_A_equiv_C (KnowledgeBase attribute) axioms_A_is_a_B (KnowledgeBase attribute) axioms_A_is_a_C (KnowledgeBase attribute) axioms_C_equiv_D (KnowledgeBase attribute) axioms_C_is_a_A (KnowledgeBase attribute) axioms_C_is_a_D (KnowledgeBase attribute) axioms_to_do_A_is_a_B (KnowledgeBase attribute) axioms_to_do_A_is_a_C (KnowledgeBase attribute) axioms_to_do_C_is_a_A (KnowledgeBase attribute) axioms_to_do_C_is_a_D (KnowledgeBase attribute) axioms_to_do_tmp_A_is_a_C (KnowledgeBase attribute) axioms_to_do_tmp_C_is_a_A (KnowledgeBase attribute) axioms_to_do_tmp_C_is_a_D (KnowledgeBase attribute)

B

b (CrispConcreteConcept property) B (FuzzyOWL2Keyword attribute) b (LeftConcreteConcept property) (LinearConcreteConcept property) (LinearModifier property) (RightConcreteConcept property) (TrapezoidalConcreteConcept property) (TriangularConcreteConcept property) (TriangularModifier property) BASE (FuzzyOWL2Keyword attribute) BINARY (FuzzyDLKeyword attribute) (VariableType attribute) BINARY_OPERATORS (OperatorConcept attribute) BinaryVar (in module fuzzy_dl_owl2.fuzzydl.milp.variable) BLOCKED (CreatedIndividualBlockingType attribute) blocked_assertions (KnowledgeBase attribute) blocked_exist_assertions (KnowledgeBase attribute) blocking_dynamic (KnowledgeBase attribute)

blocking_type (KnowledgeBase attribute) BlockingDynamicType (class in fuzzy_dl_owl2.fuzzydl.util.constants) BNP_QUERY (FuzzyDLKeyword attribute) BnpQuery (class in fuzzy_dl_owl2.fuzzydl.query.bnp_query) BOOLEAN (ConcreteFeatureType attribute) (FuzzyDLKeyword attribute) boolean_datatypes (FuzzyOwl2ToFuzzyDL attribute) BOTTOM (ConceptType attribute) (FuzzyDLKeyword attribute) (in module fuzzy_dl_owl2.fuzzydl.concept.truth_concept) build_concept_xml() (FuzzyXML static method) build_datatype_xml() (FuzzyXML static method) build_degree_xml() (FuzzyXML static method) build_logic_xml() (FuzzyXML static method) build_main_xml() (FuzzyXML static method) build_modifier_xml() (FuzzyXML static method) build_names_xml() (FuzzyXML static method) build_weights_xml() (FuzzyXML static method)

C

c (AtomicAssertion attribute) (BnpQuery attribute) C (FuzzyOWL2Keyword attribute) c (LinearModifier property) (TrapezoidalConcreteConcept property) (TriangularConcreteConcept property) (TriangularModifier property) c1 (ConceptEquivalence attribute) (SubsumptionQuery attribute) c2 (ConceptEquivalence attribute) (SubsumptionQuery attribute) cardinalities (MILPHelper attribute) change_variable_names() (MILPHelper method) check_fuzzy_number_concept_exists() (KnowledgeBase method) check_if_replacement_is_needed() (MILPHelper method) check_individual_exists() (KnowledgeBase method) check_role() (KnowledgeBase method) check_trans_role_applied() (KnowledgeBase method) CHOQUET (ConceptType attribute) (FuzzyDLKeyword attribute) (FuzzyOWL2Keyword attribute) CHOQUET_INTEGRAL (ConceptType attribute) ChoquetConcept (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.choquet_concept) ChoquetIntegral (class in fuzzy_dl_owl2.fuzzydl.concept.choquet_integral) class_debugging() (in module fuzzy_dl_owl2.fuzzydl.util.utils) class_iri() (FuzzydlToOwl2 method) classic_cnf() (Thing method) classic_dnf() (Thing method) CLASSICAL (FuzzyDLKeyword attribute) (FuzzyLogic attribute) ClassicalSolver (class in fuzzy_dl_owl2.fuzzydl.knowledge_base) ClassificationNode (class in fuzzy_dl_owl2.fuzzydl.classification_node) ClassificationQuery (class in fuzzy_dl_owl2.fuzzydl.query.classification_query) CLASSIFIED (KnowledgeBase attribute) classify() (KnowledgeBase method) clone() (AllSomeConcept method) (ApproximationConcept method) (Assertion method) (AtomicConcept method) (ChoquetIntegral method) (ConceptEquivalence method) (ConcreteFeature method) (CreatedIndividual method) (CrispConcreteConcept method) (Degree method) (DegreeExpression method) (DegreeNumeric method) (DegreeVariable method) (Expression method) (ExtThresholdConcept method) (GeneralConceptInclusion method) (HasValueConcept method) (ImpliesConcept method) (Individual method) (Inequation method) (KnowledgeBase method) (LeftConcreteConcept method) (LinearConcreteConcept method) (LinearlyModifiedConcept method) (LinearModifier method) (MILPHelper method) (ModifiedConcreteConcept method) (Modifier method) (NegatedNominal method) (OperatorConcept method) (OwaConcept method) (PrimitiveConceptDefinition method) (QowaConcept method) (QsugenoIntegral method) (Relation method) (Restriction method) (RightConcreteConcept method) (SelfConcept method) (ShowVariablesHelper method) (SigmaConcept method) (SigmaCount method) (StringConcept method) (SugenoIntegral method) (Term method) (Thing method) (ThresholdConcept method) (TrapezoidalConcreteConcept method) (TriangularConcreteConcept method) (TriangularFuzzyNumber method) (TriangularlyModifiedConcept method) (TriangularModifier method) (TruthConcept method) (ValueConcept method) (Variable method) (WeightedConcept method) (WeightedMaxConcept method) (WeightedMinConcept method) (WeightedSumConcept method) (WeightedSumZeroConcept method) clone_attributes() (Individual method) clone_special_attributes() (CreatedIndividual method) clone_without_abox() (KnowledgeBase method) CLOSE_TAG (FuzzyOWL2Keyword attribute) common_part_add_restriction() (IndividualHandler static method) COMPLEMENT (ConceptType attribute) COMPLEMENT_LAW_OPERATORS (OperatorConcept attribute) compute_atomic_concepts() (AllSomeConcept method) (ApproximationConcept method) (AtomicConcept method) (ChoquetIntegral method) (ExtThresholdConcept method) (FuzzyConcreteConcept method) (HasValueConcept method) (ImpliesConcept method) (ModifiedConcept method) (OperatorConcept method) (OwaConcept method) (SelfConcept method) (SigmaConcept method) (StringConcept method) (SugenoIntegral method) (Thing method) (ThresholdConcept method) (TruthConcept method) (ValueConcept method) (WeightedConcept method) (WeightedMaxConcept method) (WeightedMinConcept method) (WeightedSumConcept method) (WeightedSumZeroConcept method)

compute_blocking_type() (KnowledgeBase method) compute_language() (KnowledgeBase method) compute_name() (AllSomeConcept method) (ApproximationConcept method) (AtomicConcept method) (ChoquetIntegral method) (CrispConcreteConcept method) (ExtThresholdConcept method) (FuzzyConcreteConcept method) (HasValueConcept method) (ImpliesConcept method) (LeftConcreteConcept method) (LinearConcreteConcept method) (LinearModifier method) (ModifiedConcept method) (ModifiedConcreteConcept method) (Modifier method) (NegatedNominal method) (OperatorConcept method) (OwaConcept method) (QowaConcept method) (QsugenoIntegral method) (RightConcreteConcept method) (SelfConcept method) (SigmaConcept method) (StringConcept method) (SugenoIntegral method) (Thing method) (ThresholdConcept method) (TrapezoidalConcreteConcept method) (TriangularConcreteConcept method) (TriangularFuzzyNumber method) (TriangularModifier method) (TruthConcept method) (ValueConcept method) (WeightedConcept method) (WeightedMaxConcept method) (WeightedMinConcept method) (WeightedSumConcept method) (WeightedSumZeroConcept method) compute_variables_old_calculus() (KnowledgeBase method) compute_weights() (QowaConcept method) conc (AllInstancesQuery attribute) (DefuzzifyQuery attribute) (InstanceQuery attribute) concept (Assertion attribute) Concept (class in fuzzy_dl_owl2.fuzzydl.concept.concept) concept (DomainAxiom attribute) CONCEPT (FuzzyOWL2Keyword attribute) concept (Label attribute) (RangeAxiom attribute) (Restriction attribute) (SigmaConcept attribute) (SigmaCount attribute) concept_absorption() (KnowledgeBase method) concept_exists() (KnowledgeBase method) concept_individual_list (KnowledgeBase attribute) CONCEPT_NAMES (FuzzyOWL2Keyword attribute) ConceptDefinition (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.concept_definition) ConceptEquivalence (class in fuzzy_dl_owl2.fuzzydl.concept_equivalence) concepts (FuzzydlToOwl2 attribute) (HasConceptsInterface property) (OperatorConcept property) (ShowVariablesHelper attribute) ConceptType (class in fuzzy_dl_owl2.fuzzydl.util.constants) (class in fuzzy_dl_owl2.fuzzyowl2.util.constants) CONCRETE (ConceptType attribute) CONCRETE_COMPLEMENT (ConceptType attribute) concrete_concept (SigmaConcept attribute) concrete_concepts (KnowledgeBase attribute) concrete_features (KnowledgeBase attribute) concrete_fillers (ShowVariablesHelper attribute) concrete_fuzzy_concepts (KnowledgeBase attribute) concrete_role_restrictions (Individual attribute) concrete_roles (KnowledgeBase attribute) ConcreteFeature (class in fuzzy_dl_owl2.fuzzydl.concrete_feature) ConcreteFeatureType (class in fuzzy_dl_owl2.fuzzydl.util.constants) ConfigReader (class in fuzzy_dl_owl2.fuzzydl.util.config_reader) CONSISTENT_KB (Solution attribute) CONSTRAINTS (FuzzyDLKeyword attribute) constraints (MILPHelper attribute) contains_negated_subconcept() (Thing static method) contains_subconcept() (Thing static method) CONTINUOUS (VariableType attribute) convert_strings_into_integers() (KnowledgeBase method) create_inequality_with_degree_rhs() (Degree method) (DegreeExpression method) (DegreeNumeric method) (DegreeVariable method) create_roles_with_all_parents() (KnowledgeBase method) create_roles_with_trans_children() (KnowledgeBase method) CreatedIndividual (class in fuzzy_dl_owl2.fuzzydl.individual.created_individual) CreatedIndividualBlockingType (class in fuzzy_dl_owl2.fuzzydl.util.constants) CreatedIndividualHandler (class in fuzzy_dl_owl2.fuzzydl.knowledge_base) CRISP (FuzzyDLKeyword attribute) (FuzzyOWL2Keyword attribute) CRISP_CONCEPT (FuzzyDLKeyword attribute) crisp_concepts (MILPHelper attribute) CRISP_ROLE (FuzzyDLKeyword attribute) crisp_roles (MILPHelper attribute) CrispConcreteConcept (class in fuzzy_dl_owl2.fuzzydl.concept.concrete.crisp_concrete_concept) CrispFunction (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.crisp_function) curr_concept (HasConceptInterface property)

D

D (FuzzyOWL2Keyword attribute) d (TrapezoidalConcreteConcept property) data_properties (FuzzyOwl2ToFuzzyDL attribute) data_property_iri() (FuzzydlToOwl2 method) DATATYPE (FuzzyOWL2Keyword attribute) datatype_filler (Variable attribute) datatype_iri() (FuzzydlToOwl2 method) DatatypeReasoner (class in fuzzy_dl_owl2.fuzzydl.knowledge_base) datatypes (FuzzydlToOwl2 attribute) de_morgan() (OperatorConcept method) (Thing method) debug() (Util static method) DEBUG_PRINT (ConfigReader attribute) debugging_wrapper() (in module fuzzy_dl_owl2.fuzzydl.util.utils) DEFAULT_NAME (Concept attribute) (Individual attribute) define_atomic_concept() (KnowledgeBase method) define_boolean_concrete_feature() (KnowledgeBase method) DEFINE_CONCEPT (FuzzyDLKeyword attribute) define_concept() (KnowledgeBase method) define_concreate_feature() (KnowledgeBase method) define_equivalent_concepts() (KnowledgeBase method) DEFINE_FUZZY_CONCEPT (FuzzyDLKeyword attribute) DEFINE_FUZZY_EQUIVALENCE (FuzzyDLKeyword attribute) DEFINE_FUZZY_LOGIC (FuzzyDLKeyword attribute) DEFINE_FUZZY_NUMBER (FuzzyDLKeyword attribute) DEFINE_FUZZY_NUMBER_RANGE (FuzzyDLKeyword attribute) DEFINE_FUZZY_SIMILARITY (FuzzyDLKeyword attribute) define_integer_concrete_feature() (KnowledgeBase method) DEFINE_MODIFIER (FuzzyDLKeyword attribute) DEFINE_PRIMITIVE_CONCEPT (FuzzyDLKeyword attribute) define_real_concrete_feature() (KnowledgeBase method) define_string_concrete_feature() (KnowledgeBase method) define_synonym() (KnowledgeBase method) define_synonyms() (KnowledgeBase method) DEFINE_TRUTH_CONSTANT (FuzzyDLKeyword attribute) defined (PrimitiveConceptDefinition attribute) defined_concepts (FuzzyOwl2 attribute)

defined_properties (FuzzyOwl2 attribute) definition (PrimitiveConceptDefinition attribute) definition_absorption() (KnowledgeBase method) definition_absorption_to_do() (KnowledgeBase method) DEFUZZIFY_LOM_QUERY (FuzzyDLKeyword attribute) DEFUZZIFY_MOM_QUERY (FuzzyDLKeyword attribute) DEFUZZIFY_SOM_QUERY (FuzzyDLKeyword attribute) DefuzzifyQuery (class in fuzzy_dl_owl2.fuzzydl.query.defuzzify.defuzzify_query) degree (Assertion attribute) (AtomicAssertion attribute) Degree (class in fuzzy_dl_owl2.fuzzydl.degree.degree) degree (GeneralConceptInclusion attribute) (PrimitiveConceptDefinition attribute) (Relation attribute) (Restriction attribute) (RoleParentWithDegree attribute) DEGREE_DEF (FuzzyOWL2Keyword attribute) degree_if_not_one() (KnowledgeBase method) DEGREE_VALUE (FuzzyOWL2Keyword attribute) DegreeExpression (class in fuzzy_dl_owl2.fuzzydl.degree.degree_expression) DegreeNumeric (class in fuzzy_dl_owl2.fuzzydl.degree.degree_numeric) degrees (AllInstancesQuery attribute) DegreeVariable (class in fuzzy_dl_owl2.fuzzydl.degree.degree_variable) directly_blocked_children (KnowledgeBase attribute) DISJOINT (FuzzyDLKeyword attribute) DISJOINT_UNION (FuzzyDLKeyword attribute) disjoint_variables (KnowledgeBase attribute) disjoint_with_defined_concept() (KnowledgeBase method) distribute() (OperatorConcept method) (Thing method) DISTRIBUTIVE_OPERATORS (OperatorConcept attribute) divided_by() (TriangularFuzzyNumber static method) DLParser (class in fuzzy_dl_owl2.fuzzydl.parser.dl_parser) DOMAIN (FuzzyDLKeyword attribute) domain_restrictions (KnowledgeBase attribute) DomainAxiom (class in fuzzy_dl_owl2.fuzzydl.domain_axiom) DOUBLE_BLOCKING (BlockingDynamicType attribute) DOUBLE_MAX_VALUE (FuzzyOwl2ToFuzzyDL attribute) DOUBLE_MIN_VALUE (FuzzyOwl2ToFuzzyDL attribute)

E

EPSILON (ConfigReader attribute) (FuzzyOwl2ToFuzzyDL attribute) EQUAL (FuzzyOWL2Keyword attribute) (InequalityType attribute) equal_to() (Inequation static method) EQUALS (FuzzyDLKeyword attribute) equals() (Assertion method) EqualTo (in module fuzzy_dl_owl2.fuzzydl.milp.inequation) EQUIVALENT_CONCEPTS (FuzzyDLKeyword attribute) EQUIVALENT_NAMES (ClassificationNode attribute) error() (Util static method) EXACT_VALUE (ConceptType attribute) (RestrictionType attribute) exact_value() (ValueConcept static method) exist_assertions (KnowledgeBase attribute) exist_data_property() (FuzzydlToOwl2 method)

exist_object_property() (FuzzydlToOwl2 method) exists_nominal_variable() (MILPHelper method) exists_primite_concept_definition() (KnowledgeBase method) exists_variable() (MILPHelper method) exit_condition() (KnowledgeBase method) exit_condition_A_is_a_X() (KnowledgeBase method) exit_condition_C_is_a_X() (KnowledgeBase method) expr (DegreeExpression attribute) (Inequation attribute) Expression (class in fuzzy_dl_owl2.fuzzydl.milp.expression) EXT_NEG_THRESHOLD (ConceptType attribute) EXT_POS_THRESHOLD (ConceptType attribute) extended_neg_threshold() (ExtThresholdConcept static method) extended_pos_threshold() (ExtThresholdConcept static method) ExtendedNegThreshold (in module fuzzy_dl_owl2.fuzzydl.concept.ext_threshold_concept) ExtendedPosThreshold (in module fuzzy_dl_owl2.fuzzydl.concept.ext_threshold_concept) ExtThresholdConcept (class in fuzzy_dl_owl2.fuzzydl.concept.ext_threshold_concept)

F

f (RepresentativeIndividual attribute) f_name (DefuzzifyQuery attribute) (RepresentativeIndividual attribute) FEATURE_DIV (FuzzyDLKeyword attribute) FEATURE_MUL (FuzzyDLKeyword attribute) FEATURE_SUB (FuzzyDLKeyword attribute) FEATURE_SUM (FuzzyDLKeyword attribute) FeatureFunction (class in fuzzy_dl_owl2.fuzzydl.feature_function) FeatureFunctionType (class in fuzzy_dl_owl2.fuzzydl.util.constants) FILENAME (in module fuzzy_dl_owl2.fuzzydl.parser.dl_parser) (in module fuzzy_dl_owl2.fuzzydl.util.util) fillers_to_show (Individual attribute) find_fuzzydl_pdf_order_index() (in module fuzzy_dl_owl2.fuzzyowl2.util.sort_dl_lines) form_inv_role_inc_axioms() (KnowledgeBase method) form_inv_role_relations() (KnowledgeBase method) form_inv_trans_roles() (KnowledgeBase method) FREE (FuzzyDLKeyword attribute) FreeVar (in module fuzzy_dl_owl2.fuzzydl.milp.variable) from_str() (MILPProvider static method) FULL_CLASS_DEBUG_PRINT (in module fuzzy_dl_owl2.fuzzydl.util.utils) FUNCTIONAL (FuzzyDLKeyword attribute) functional_roles (KnowledgeBase attribute) fuzzy_datatypes (FuzzyOwl2 attribute) fuzzy_dl_owl2 module fuzzy_dl_owl2.fuzzydl module fuzzy_dl_owl2.fuzzydl.assertion module fuzzy_dl_owl2.fuzzydl.assertion.assertion module fuzzy_dl_owl2.fuzzydl.assertion.atomic_assertion module fuzzy_dl_owl2.fuzzydl.classification_node module fuzzy_dl_owl2.fuzzydl.concept module fuzzy_dl_owl2.fuzzydl.concept.all_some_concept module fuzzy_dl_owl2.fuzzydl.concept.approximation_concept module fuzzy_dl_owl2.fuzzydl.concept.atomic_concept module fuzzy_dl_owl2.fuzzydl.concept.choquet_integral module fuzzy_dl_owl2.fuzzydl.concept.concept module fuzzy_dl_owl2.fuzzydl.concept.concrete module fuzzy_dl_owl2.fuzzydl.concept.concrete.crisp_concrete_concept module fuzzy_dl_owl2.fuzzydl.concept.concrete.fuzzy_concrete_concept module fuzzy_dl_owl2.fuzzydl.concept.concrete.fuzzy_number module fuzzy_dl_owl2.fuzzydl.concept.concrete.fuzzy_number.triangular_fuzzy_number module fuzzy_dl_owl2.fuzzydl.concept.concrete.left_concrete_concept module fuzzy_dl_owl2.fuzzydl.concept.concrete.linear_concrete_concept module fuzzy_dl_owl2.fuzzydl.concept.concrete.modified_concrete_concept module fuzzy_dl_owl2.fuzzydl.concept.concrete.right_concrete_concept module fuzzy_dl_owl2.fuzzydl.concept.concrete.trapezoidal_concrete_concept module fuzzy_dl_owl2.fuzzydl.concept.concrete.triangular_concrete_concept module fuzzy_dl_owl2.fuzzydl.concept.ext_threshold_concept module fuzzy_dl_owl2.fuzzydl.concept.has_value_concept module fuzzy_dl_owl2.fuzzydl.concept.implies_concept module fuzzy_dl_owl2.fuzzydl.concept.interface module fuzzy_dl_owl2.fuzzydl.concept.interface.has_concept_interface module fuzzy_dl_owl2.fuzzydl.concept.interface.has_concepts_interface module fuzzy_dl_owl2.fuzzydl.concept.interface.has_role_concept_interface module fuzzy_dl_owl2.fuzzydl.concept.interface.has_role_interface module fuzzy_dl_owl2.fuzzydl.concept.interface.has_value_interface module fuzzy_dl_owl2.fuzzydl.concept.interface.has_weighted_concepts_interface module fuzzy_dl_owl2.fuzzydl.concept.modified module fuzzy_dl_owl2.fuzzydl.concept.modified.linearly_modified_concept module fuzzy_dl_owl2.fuzzydl.concept.modified.modified_concept module fuzzy_dl_owl2.fuzzydl.concept.modified.triangularly_modified_concept module fuzzy_dl_owl2.fuzzydl.concept.negated_nominal module fuzzy_dl_owl2.fuzzydl.concept.operator_concept module fuzzy_dl_owl2.fuzzydl.concept.owa_concept module fuzzy_dl_owl2.fuzzydl.concept.qowa_concept module fuzzy_dl_owl2.fuzzydl.concept.quasi_sugeno_integral module fuzzy_dl_owl2.fuzzydl.concept.self_concept module fuzzy_dl_owl2.fuzzydl.concept.sigma_concept module fuzzy_dl_owl2.fuzzydl.concept.sigma_count module fuzzy_dl_owl2.fuzzydl.concept.string_concept module fuzzy_dl_owl2.fuzzydl.concept.sugeno_integral module fuzzy_dl_owl2.fuzzydl.concept.threshold_concept module fuzzy_dl_owl2.fuzzydl.concept.truth_concept module fuzzy_dl_owl2.fuzzydl.concept.value_concept module fuzzy_dl_owl2.fuzzydl.concept.weighted_concept module fuzzy_dl_owl2.fuzzydl.concept.weighted_max_concept module fuzzy_dl_owl2.fuzzydl.concept.weighted_min_concept module fuzzy_dl_owl2.fuzzydl.concept.weighted_sum_concept module fuzzy_dl_owl2.fuzzydl.concept.weighted_sum_zero_concept module fuzzy_dl_owl2.fuzzydl.concept_equivalence module fuzzy_dl_owl2.fuzzydl.concrete_feature module fuzzy_dl_owl2.fuzzydl.degree module fuzzy_dl_owl2.fuzzydl.degree.degree module fuzzy_dl_owl2.fuzzydl.degree.degree_expression module fuzzy_dl_owl2.fuzzydl.degree.degree_numeric module fuzzy_dl_owl2.fuzzydl.degree.degree_variable module fuzzy_dl_owl2.fuzzydl.domain_axiom module fuzzy_dl_owl2.fuzzydl.exception module fuzzy_dl_owl2.fuzzydl.exception.fuzzy_ontology_exception module fuzzy_dl_owl2.fuzzydl.exception.inconsistent_ontology_exception module fuzzy_dl_owl2.fuzzydl.feature_function module fuzzy_dl_owl2.fuzzydl.fuzzydl_to_owl2 module fuzzy_dl_owl2.fuzzydl.general_concept_inclusion module fuzzy_dl_owl2.fuzzydl.individual module fuzzy_dl_owl2.fuzzydl.individual.created_individual module fuzzy_dl_owl2.fuzzydl.individual.individual module fuzzy_dl_owl2.fuzzydl.individual.representative_individual module fuzzy_dl_owl2.fuzzydl.knowledge_base module fuzzy_dl_owl2.fuzzydl.label module fuzzy_dl_owl2.fuzzydl.milp module fuzzy_dl_owl2.fuzzydl.milp.expression module fuzzy_dl_owl2.fuzzydl.milp.inequation module fuzzy_dl_owl2.fuzzydl.milp.milp_helper module fuzzy_dl_owl2.fuzzydl.milp.show_variables_helper module fuzzy_dl_owl2.fuzzydl.milp.solution module fuzzy_dl_owl2.fuzzydl.milp.term module fuzzy_dl_owl2.fuzzydl.milp.variable module fuzzy_dl_owl2.fuzzydl.modifier module

fuzzy_dl_owl2.fuzzydl.modifier.linear_modifier module fuzzy_dl_owl2.fuzzydl.modifier.modifier module fuzzy_dl_owl2.fuzzydl.modifier.triangular_modifier module fuzzy_dl_owl2.fuzzydl.parser module fuzzy_dl_owl2.fuzzydl.parser.dl_parser module fuzzy_dl_owl2.fuzzydl.primitive_concept_definition module fuzzy_dl_owl2.fuzzydl.query module fuzzy_dl_owl2.fuzzydl.query.all_instances_query module fuzzy_dl_owl2.fuzzydl.query.bnp_query module fuzzy_dl_owl2.fuzzydl.query.classification_query module fuzzy_dl_owl2.fuzzydl.query.defuzzify module fuzzy_dl_owl2.fuzzydl.query.defuzzify.defuzzify_query module fuzzy_dl_owl2.fuzzydl.query.defuzzify.lom_defuzzify_query module fuzzy_dl_owl2.fuzzydl.query.defuzzify.mom_defuzzify_query module fuzzy_dl_owl2.fuzzydl.query.defuzzify.som_defuzzify_query module fuzzy_dl_owl2.fuzzydl.query.instance_query module fuzzy_dl_owl2.fuzzydl.query.kb_satisfiable_query module fuzzy_dl_owl2.fuzzydl.query.max module fuzzy_dl_owl2.fuzzydl.query.max.max_instance_query module fuzzy_dl_owl2.fuzzydl.query.max.max_query module fuzzy_dl_owl2.fuzzydl.query.max.max_related_query module fuzzy_dl_owl2.fuzzydl.query.max.max_satisfiable_query module fuzzy_dl_owl2.fuzzydl.query.max.max_subsumes_query module fuzzy_dl_owl2.fuzzydl.query.min module fuzzy_dl_owl2.fuzzydl.query.min.min_instance_query module fuzzy_dl_owl2.fuzzydl.query.min.min_query module fuzzy_dl_owl2.fuzzydl.query.min.min_related_query module fuzzy_dl_owl2.fuzzydl.query.min.min_satisfiable_query module fuzzy_dl_owl2.fuzzydl.query.min.min_subsumes_query module fuzzy_dl_owl2.fuzzydl.query.query module fuzzy_dl_owl2.fuzzydl.query.related_query module fuzzy_dl_owl2.fuzzydl.query.satisfiable_query module fuzzy_dl_owl2.fuzzydl.query.subsumption_query module fuzzy_dl_owl2.fuzzydl.range_axiom module fuzzy_dl_owl2.fuzzydl.relation module fuzzy_dl_owl2.fuzzydl.restriction module fuzzy_dl_owl2.fuzzydl.restriction.has_value_restriction module fuzzy_dl_owl2.fuzzydl.restriction.restriction module fuzzy_dl_owl2.fuzzydl.role_parent_with_degree module fuzzy_dl_owl2.fuzzydl.util module fuzzy_dl_owl2.fuzzydl.util.config_reader module fuzzy_dl_owl2.fuzzydl.util.constants module fuzzy_dl_owl2.fuzzydl.util.util module fuzzy_dl_owl2.fuzzydl.util.utils module fuzzy_dl_owl2.fuzzyowl2 module fuzzy_dl_owl2.fuzzyowl2.fuzzyowl2 module fuzzy_dl_owl2.fuzzyowl2.fuzzyowl2_to_fuzzydl module fuzzy_dl_owl2.fuzzyowl2.owl_types module fuzzy_dl_owl2.fuzzyowl2.owl_types.choquet_concept module fuzzy_dl_owl2.fuzzyowl2.owl_types.concept_definition module fuzzy_dl_owl2.fuzzyowl2.owl_types.crisp_function module fuzzy_dl_owl2.fuzzyowl2.owl_types.fuzzy_datatype module fuzzy_dl_owl2.fuzzyowl2.owl_types.fuzzy_modifier module fuzzy_dl_owl2.fuzzyowl2.owl_types.fuzzy_nominal_concept module fuzzy_dl_owl2.fuzzyowl2.owl_types.fuzzy_property module fuzzy_dl_owl2.fuzzyowl2.owl_types.left_shoulder_function module fuzzy_dl_owl2.fuzzyowl2.owl_types.linear_function module fuzzy_dl_owl2.fuzzyowl2.owl_types.linear_modifier module fuzzy_dl_owl2.fuzzyowl2.owl_types.modified_concept module fuzzy_dl_owl2.fuzzyowl2.owl_types.modified_function module fuzzy_dl_owl2.fuzzyowl2.owl_types.modified_property module fuzzy_dl_owl2.fuzzyowl2.owl_types.owa_concept module fuzzy_dl_owl2.fuzzyowl2.owl_types.property_definition module fuzzy_dl_owl2.fuzzyowl2.owl_types.qowa_concept module fuzzy_dl_owl2.fuzzyowl2.owl_types.quasi_sugeno_concept module fuzzy_dl_owl2.fuzzyowl2.owl_types.right_shoulder_function module fuzzy_dl_owl2.fuzzyowl2.owl_types.sugeno_concept module fuzzy_dl_owl2.fuzzyowl2.owl_types.trapezoidal_function module fuzzy_dl_owl2.fuzzyowl2.owl_types.triangular_function module fuzzy_dl_owl2.fuzzyowl2.owl_types.triangular_modifier module fuzzy_dl_owl2.fuzzyowl2.owl_types.weighted_concept module fuzzy_dl_owl2.fuzzyowl2.owl_types.weighted_max_concept module fuzzy_dl_owl2.fuzzyowl2.owl_types.weighted_min_concept module fuzzy_dl_owl2.fuzzyowl2.owl_types.weighted_sum_concept module fuzzy_dl_owl2.fuzzyowl2.owl_types.weighted_sum_zero_concept module fuzzy_dl_owl2.fuzzyowl2.parser module fuzzy_dl_owl2.fuzzyowl2.parser.owl2_parser module fuzzy_dl_owl2.fuzzyowl2.parser.owl2_xml_parser module fuzzy_dl_owl2.fuzzyowl2.util module fuzzy_dl_owl2.fuzzyowl2.util.constants module fuzzy_dl_owl2.fuzzyowl2.util.fuzzy_xml module fuzzy_dl_owl2.fuzzyowl2.util.sort_dl_lines module fuzzy_label (FuzzyOwl2 attribute) FUZZY_LABEL (FuzzyOWL2Keyword attribute) FUZZY_LOGIC (FuzzyOWL2Keyword attribute) fuzzy_modifiers (FuzzyOwl2 attribute) FUZZY_NOMINAL (ConceptType attribute) FUZZY_NUMBER (ConceptType attribute) FUZZY_NUMBER_COMPLEMENT (ConceptType attribute) fuzzy_numbers (KnowledgeBase attribute) FUZZY_OWL_2 (FuzzyOWL2Keyword attribute) FUZZY_TYPE (FuzzyOWL2Keyword attribute) FuzzyConcreteConcept (class in fuzzy_dl_owl2.fuzzydl.concept.concrete.fuzzy_concrete_concept) FuzzyDatatype (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.fuzzy_datatype) FUZZYDL_PDF_ORDER (in module fuzzy_dl_owl2.fuzzyowl2.util.sort_dl_lines) FUZZYDL_PDF_ORDER_RE (in module fuzzy_dl_owl2.fuzzyowl2.util.sort_dl_lines) FuzzyDLKeyword (class in fuzzy_dl_owl2.fuzzydl.util.constants) FuzzydlToOwl2 (class in fuzzy_dl_owl2.fuzzydl.fuzzydl_to_owl2) fuzzyLabel (FuzzydlToOwl2 attribute) FuzzyLogic (class in fuzzy_dl_owl2.fuzzydl.util.constants) FuzzyModifier (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.fuzzy_modifier) FuzzyNominalConcept (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.fuzzy_nominal_concept) FuzzyOntologyException FuzzyOwl2 (class in fuzzy_dl_owl2.fuzzyowl2.fuzzyowl2) FuzzyOWL2Keyword (class in fuzzy_dl_owl2.fuzzyowl2.util.constants) FuzzyOwl2Parser (class in fuzzy_dl_owl2.fuzzyowl2.parser.owl2_parser) FuzzyOwl2ToFuzzyDL (class in fuzzy_dl_owl2.fuzzyowl2.fuzzyowl2_to_fuzzydl) FuzzyOwl2XMLParser (class in fuzzy_dl_owl2.fuzzyowl2.parser.owl2_xml_parser) FuzzyProperty (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.fuzzy_property) FuzzyXML (class in fuzzy_dl_owl2.fuzzyowl2.util.fuzzy_xml)

G

gci_transform_define_atomic_concept() (KnowledgeBase method) gci_transformation() (KnowledgeBase method) gci_transformation_add_axiom_to_C_is_a_X() (KnowledgeBase method) gci_transformations_A_is_a_C() (KnowledgeBase method) gci_transformations_C_is_a_A() (KnowledgeBase method) gci_transformations_C_is_a_D() (KnowledgeBase method) GeneralConceptInclusion (class in fuzzy_dl_owl2.fuzzydl.general_concept_inclusion) GEQ (FuzzyOWL2Keyword attribute) geq_equation() (DatatypeReasoner static method) get_a() (CrispFunction method) (LeftShoulderFunction method) (LinearFunction method) (RightShoulderFunction method) (TrapezoidalFunction method) (TriangularFunction method) (TriangularModifier method) get_A_t_C() (KnowledgeBase method) get_annotations_for_axiom() (FuzzydlToOwl2 method) get_atom() (OperatorConcept method) get_atomic_concept_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_atomic_concepts() (AtomicConcept method) (Thing method) (TruthConcept method) get_atomic_concepts_names() (Thing method) get_atomic_data_property_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_atomic_object_property_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_atoms() (AllSomeConcept method) (AtomicConcept method) (OperatorConcept method) (Thing method) (TruthConcept method) get_b() (CrispFunction method) (LeftShoulderFunction method) (LinearFunction method) (RightShoulderFunction method) (TrapezoidalFunction method) (TriangularFunction method) (TriangularModifier method) get_base() (FuzzydlToOwl2 method) get_best_non_fuzzy_performance() (TriangularFuzzyNumber method) get_binary_variable() (Variable static method) get_bottom() (TruthConcept static method) get_bottom_concept_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_bottom_data_property_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_bottom_object_property_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_bounds() (DatatypeReasoner static method) get_c() (LinearModifier method) (TrapezoidalFunction method) (TriangularFunction method) (TriangularModifier method) get_c1() (ConceptEquivalence method) get_c2() (ConceptEquivalence method) get_caseless_attrib() (FuzzyOwl2XMLParser static method) get_class() (FuzzydlToOwl2 method) get_class_name() (FuzzyOwl2 method) get_classification_node() (KnowledgeBase method) get_clauses() (AtomicConcept method) (OperatorConcept method) (Thing method) get_coeff() (Term method) get_concept() (Assertion method) (KnowledgeBase method) (Restriction method) (SigmaConcept method) (SigmaCount method) get_concept_from_number() (KnowledgeBase method) get_concept_name() (AtomicAssertion method) get_concepts() (ChoquetConcept method) (Individual method) (OwaConcept method) (QowaConcept method) (QsugenoConcept method) (SugenoConcept method) get_constant() (Expression method) (Inequation method) get_constant_term() (Expression method) get_continuous_variable() (Variable static method) get_correct_version_of_individual() (KnowledgeBase method) get_created_individual_and_variables() (DatatypeReasoner static method) get_d() (ModifiedFunction method) (TrapezoidalFunction method) get_data_all_values_from_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_data_exact_cardinality_restriction() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_data_has_value_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_data_max_cardinality_restriction() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_data_min_cardinality_restriction() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_data_property() (FuzzydlToOwl2 method) get_data_property_name() (FuzzyOwl2 method) get_data_some_values_from_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_datatype_filler_type() (Variable method) get_defined_concept() (PrimitiveConceptDefinition method) get_definition() (PrimitiveConceptDefinition method) get_degree() (AtomicAssertion method) (Degree static method) (DegreeExpression static method) (DegreeNumeric static method) (DegreeVariable static method) (FuzzyNominalConcept method) (GeneralConceptInclusion method) (PrimitiveConceptDefinition method) (Relation method) (Restriction method) (RoleParentWithDegree method) get_degrees() (AllInstancesQuery method) get_depth() (CreatedIndividual method) get_expression() (DegreeExpression method) get_feature() (DatatypeReasoner static method) get_feature_name() (RepresentativeIndividual method) get_features() (FeatureFunction method) get_full_name() (ClassificationNode method) get_fuzzy_concept() (ModifiedConcept method) (SigmaConcept method) (WeightedConcept method) get_fuzzy_modifier() (ModifiedConcept method) (ModifiedProperty method) (PropertyDefinition method) get_fuzzy_number() (RepresentativeIndividual method) get_grammatics() (DLParser static method) (FuzzyOwl2Parser static method) get_immediate_predecessors() (ClassificationNode method) get_immediate_successors() (ClassificationNode method) get_inclusion_degree() (KnowledgeBase method) get_individual() (Assertion method) (FuzzydlToOwl2 method) (FuzzyNominalConcept method) (HasValueRestriction method) (KnowledgeBase method) (RepresentativeIndividual method) (SigmaCount method) get_individual_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_individuals() (AllInstancesQuery method) (KnowledgeBase method) (SigmaConcept method) (SigmaCount method) get_integer_id() (CreatedIndividual method) get_integer_variable() (Variable static method) get_inverses_of_inverse_role() (KnowledgeBase method) get_k1() (ConcreteFeature method) get_k2() (ConcreteFeature method) get_kb() (DLParser static method) get_labels() (ShowVariablesHelper method) get_language() (KnowledgeBase method) get_logic() (KnowledgeBase method) get_lower_bound() (Variable method) get_lower_limit() (Assertion method) get_max_value() (FuzzyDatatype method) get_membership_degree() (CrispConcreteConcept method) (FuzzyConcreteConcept method) (LeftConcreteConcept method) (LinearConcreteConcept method) (LinearModifier method) (ModifiedConcreteConcept method) (Modifier method) (RightConcreteConcept method) (TrapezoidalConcreteConcept method) (TriangularConcreteConcept method) (TriangularModifier method) get_min_value() (FuzzyDatatype method) get_mod() (ModifiedFunction method) get_name() (ConcreteFeature method) (FuzzyDLKeyword method) (FuzzyOWL2Keyword method) (ShowVariablesHelper method)

get_name_for_integer() (MILPHelper method) get_name_without_degree() (Assertion method) (HasValueRestriction method) (Relation method) (Restriction method) get_named_individuals() (KnowledgeBase method) get_negated_nominal_variable() (MILPHelper method) get_new_atomic_class() (FuzzydlToOwl2 method) get_new_atomic_concept() (KnowledgeBase method) get_new_concrete_individual() (KnowledgeBase method) get_new_individual() (KnowledgeBase method) get_new_individual_common_code() (KnowledgeBase method) get_new_variable() (MILPHelper method) (Variable static method) get_nominal_list() (Individual method) get_nominal_variable() (MILPHelper method) get_number() (FeatureFunction method) (WeightedConcept method) get_number_for_assertion() (MILPHelper method) get_number_from_concept() (KnowledgeBase method) get_number_of_domain_restrictions() (KnowledgeBase method) get_number_of_range_restrictions() (KnowledgeBase method) get_numerical_value() (DegreeNumeric method) get_obj_expression() (DefuzzifyQuery method) (LomDefuzzifyQuery method) (MomDefuzzifyQuery method) (SomDefuzzifyQuery method) get_object_all_values_from_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_object_complement_of_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_object_exact_cardinality_restriction() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_object_has_self_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_object_has_value_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_object_individual() (Relation method) get_object_intersection_of_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_object_max_cardinality_restriction() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_object_min_cardinality_restriction() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_object_one_of_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_object_property() (FuzzydlToOwl2 method) get_object_property_name() (FuzzyOwl2 method) get_object_some_values_from_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_object_union_of_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_one() (DegreeNumeric static method) get_ordered_permutation() (MILPHelper method) get_output_edges() (ClassificationNode method) get_parent() (CreatedIndividual method) (RoleParentWithDegree method) get_parent_name() (CreatedIndividual method) get_property() (ModifiedProperty method) (PropertyDefinition method) get_quantifier() (QowaConcept method) get_representative() (CreatedIndividualHandler static method) get_representative_if_exists() (CreatedIndividual method) (Individual method) get_role() (SigmaConcept method) (SigmaCount method) get_role_name() (CreatedIndividual method) (Relation method) (Restriction method) get_roles() (AllSomeConcept method) (ApproximationConcept method) (AtomicConcept method) (ChoquetIntegral method) (ExtThresholdConcept method) (FuzzyConcreteConcept method) (HasValueConcept method) (ImpliesConcept method) (ModifiedConcept method) (OperatorConcept method) (OwaConcept method) (SelfConcept method) (SigmaConcept method) (StringConcept method) (SugenoIntegral method) (Thing method) (ThresholdConcept method) (TruthConcept method) (ValueConcept method) (WeightedConcept method) (WeightedMaxConcept method) (WeightedMinConcept method) (WeightedSumConcept method) (WeightedSumZeroConcept method) get_semi_continuous_variable() (Variable static method) get_short_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_showed_variables() (Solution method) get_solution() (Solution method) get_str_value() (FuzzyOWL2Keyword method) get_string_type() (Inequation method) get_subject_individual() (Relation method) get_subsumed() (GeneralConceptInclusion method) get_subsumer() (GeneralConceptInclusion method) get_subsumption_flags() (KnowledgeBase method) get_tag_name() (FuzzyOWL2Keyword method) get_terms() (Expression method) (Inequation method) get_tmp_feature() (KnowledgeBase method) get_top() (TruthConcept static method) get_top_concept_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_top_data_property_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_top_object_property_name() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) get_total_time() (Query method) get_truth_constants() (KnowledgeBase method) get_type() (Assertion method) (ConceptDefinition method) (ConcreteFeature method) (FeatureFunction method) (GeneralConceptInclusion method) (Inequation method) (PrimitiveConceptDefinition method) (RepresentativeIndividual method) (Variable method) get_upper_bound() (Variable method) get_value() (FuzzyDLKeyword method) (FuzzyOWL2Keyword method) get_var() (Term method) get_variable() (DegreeVariable method) (MILPHelper method) (SigmaCount method) get_variables() (ShowVariablesHelper method) get_weighted_concepts() (WeightedMaxConcept method) (WeightedMinConcept method) (WeightedSumConcept method) (WeightedSumZeroConcept method) get_weights() (ChoquetConcept method) (OwaConcept method) (QsugenoConcept method) (SugenoConcept method) get_xb() (DatatypeReasoner static method) global_abstract_fillers (ShowVariablesHelper attribute) global_concrete_fillers (ShowVariablesHelper attribute) GOEDEL (FuzzyOWL2Keyword attribute) (LogicOperatorType attribute) GOEDEL_AND (ConceptType attribute) (FuzzyDLKeyword attribute) goedel_and() (OperatorConcept static method) goedel_cnf() (Thing method) goedel_dnf() (Thing method) GOEDEL_IMPLIES (ConceptType attribute) (FuzzyDLKeyword attribute) goedel_implies() (ImpliesConcept static method) (KnowledgeBase method) goedel_implies_equation() (ZadehSolver static method) goedel_not_equation() (ZadehSolver static method) GOEDEL_OR (ConceptType attribute) (FuzzyDLKeyword attribute) goedel_or() (OperatorConcept static method) GoedelAnd (in module fuzzy_dl_owl2.fuzzydl.concept.operator_concept) GoedelImplies (in module fuzzy_dl_owl2.fuzzydl.concept.implies_concept) GoedelOr (in module fuzzy_dl_owl2.fuzzydl.concept.operator_concept) GRE (FuzzyOWL2Keyword attribute) GREATER_EQUAL (RepresentativeIndividualType attribute) GREATER_THAN (InequalityType attribute) GREATER_THAN_OR_EQUAL_TO (FuzzyDLKeyword attribute) greater_then() (Inequation static method) GreaterThan (in module fuzzy_dl_owl2.fuzzydl.milp.inequation) GUROBI (MILPProvider attribute)

H

has_defined_range() (TriangularFuzzyNumber static method) has_functional_abstract_roles() (KnowledgeBase method) has_integer_value() (Util static method) has_name() (ClassificationNode method) has_nominal_variable() (MILPHelper method) has_nominals() (Thing method) has_nominals_in_abox() (KnowledgeBase method) has_nominals_in_tbox() (KnowledgeBase method) has_only_crisp_sub_concepts() (KnowledgeBase method) HAS_VALUE (ConceptType attribute) (FuzzyDLKeyword attribute)

has_value() (HasValueConcept static method) has_variable() (MILPHelper method) HasConceptInterface (class in fuzzy_dl_owl2.fuzzydl.concept.interface.has_concept_interface) HasConceptsInterface (class in fuzzy_dl_owl2.fuzzydl.concept.interface.has_concepts_interface) HasRoleConceptInterface (class in fuzzy_dl_owl2.fuzzydl.concept.interface.has_role_concept_interface) HasRoleInterface (class in fuzzy_dl_owl2.fuzzydl.concept.interface.has_role_interface) HasValueConcept (class in fuzzy_dl_owl2.fuzzydl.concept.has_value_concept) HasValueInterface (class in fuzzy_dl_owl2.fuzzydl.concept.interface.has_value_interface) HasValueRestriction (class in fuzzy_dl_owl2.fuzzydl.restriction.has_value_restriction) HasWeightedConceptsInterface (class in fuzzy_dl_owl2.fuzzydl.concept.interface.has_weighted_concepts_interface)

I

implication (PrimitiveConceptDefinition attribute) IMPLIES (FuzzyDLKeyword attribute) implies() (KnowledgeBase method) IMPLIES_ROLE (FuzzyDLKeyword attribute) ImpliesConcept (class in fuzzy_dl_owl2.fuzzydl.concept.implies_concept) INCONSISTENT_KB (Solution attribute) InconsistentOntologyException increment_constant() (Expression method) ind (InstanceQuery attribute) (RepresentativeIndividual attribute) ind1 (MaxRelatedQuery attribute) (MinRelatedQuery attribute) (RelatedQuery attribute) ind2 (MaxRelatedQuery attribute) (MinRelatedQuery attribute) (RelatedQuery attribute) ind_a (Relation attribute) ind_b (Relation attribute) ind_name (HasValueRestriction attribute) (NegatedNominal property) individual (Assertion attribute) Individual (class in fuzzy_dl_owl2.fuzzydl.individual.individual) INDIVIDUAL (FuzzyOWL2Keyword attribute) individual (SigmaCount attribute) individual_iri() (FuzzydlToOwl2 method) individual_set_intersection_of() (CreatedIndividual method) IndividualHandler (class in fuzzy_dl_owl2.fuzzydl.knowledge_base) individuals (AllInstancesQuery attribute) (KnowledgeBase attribute) (ShowVariablesHelper attribute) (SigmaConcept attribute) (SigmaCount attribute) InequalityType (class in fuzzy_dl_owl2.fuzzydl.util.constants) Inequation (class in fuzzy_dl_owl2.fuzzydl.milp.inequation) info() (Util static method) initial_time (Query attribute) INPUT_EDGES (ClassificationNode attribute) input_FDL (FuzzydlToOwl2 attribute) INSTANCE (FuzzyDLKeyword attribute) InstanceQuery (class in fuzzy_dl_owl2.fuzzydl.query.instance_query) INTEGER (ConcreteFeatureType attribute) (FuzzyDLKeyword attribute) (VariableType attribute) INTEGER_MAX_VALUE (FuzzyOwl2ToFuzzyDL attribute) INTEGER_MIN_VALUE (FuzzyOwl2ToFuzzyDL attribute) IntegerVar (in module fuzzy_dl_owl2.fuzzydl.milp.variable) INVERSE (FuzzyDLKeyword attribute) INVERSE_APPROXIMATION (ApproximationConcept attribute) INVERSE_FUNCTIONAL (FuzzyDLKeyword attribute) inverse_functional_roles (KnowledgeBase attribute) inverse_roles (KnowledgeBase attribute) iri() (FuzzydlToOwl2 method) is_and() (OperatorConcept static method) is_assertion_processed() (KnowledgeBase method) is_atomic() (AtomicConcept method) (Concept method) (OperatorConcept method) (TruthConcept method) is_atomic_crisp_concept() (KnowledgeBase method) is_blockable() (CreatedIndividual method) (Individual method) is_blocked() (CreatedIndividualHandler static method) is_classified() (KnowledgeBase method) is_complemented_atomic() (AllSomeConcept method) (AtomicConcept method) (Concept method) (OperatorConcept method) (TruthConcept method) is_concrete() (AtomicConcept method) (CreatedIndividual method) (FuzzyConcreteConcept method) (ModifiedConcept method) (OperatorConcept method) (Thing method) (TriangularFuzzyNumber method)

is_concrete_type() (KnowledgeBase method) is_consistent_kb() (KbSatisfiableQuery method) (Solution method) is_crisp_concept() (KnowledgeBase method) (MILPHelper method) is_crisp_role() (KnowledgeBase method) (MILPHelper method) is_directly_anywhere_pairwise_blocked() (CreatedIndividualHandler static method) is_directly_anywhere_simple_blocked() (CreatedIndividualHandler static method) is_directly_blocked() (CreatedIndividualHandler static method) is_directly_pairwise_blocked() (CreatedIndividualHandler static method) is_directly_simple_blocked() (CreatedIndividualHandler static method) is_indirectly_anywhere_pairwise_blocked() (CreatedIndividualHandler static method) is_indirectly_anywhere_simple_blocked() (CreatedIndividualHandler static method) is_indirectly_blocked() (CreatedIndividualHandler static method) is_indirectly_pairwise_blocked() (CreatedIndividualHandler static method) is_indirectly_simple_blocked() (CreatedIndividualHandler static method) is_lazy_unfoldable() (KnowledgeBase method) is_loaded() (KnowledgeBase method) is_nominal_variable() (MILPHelper method) is_not_at_least_value() (OperatorConcept static method) is_not_at_most_value() (OperatorConcept static method) is_not_choquet() (OperatorConcept static method) is_not_concrete() (OperatorConcept static method) is_not_exact_value() (OperatorConcept static method) is_not_ext_neg_threshold() (OperatorConcept static method) is_not_ext_pos_threshold() (OperatorConcept static method) is_not_fuzzy_number() (OperatorConcept static method) is_not_goedel_implies() (OperatorConcept static method) is_not_has_value() (OperatorConcept static method) is_not_modified() (OperatorConcept static method) is_not_neg_threshold() (OperatorConcept static method) is_not_owa() (OperatorConcept static method) is_not_pos_threshold() (OperatorConcept static method) is_not_qowa() (OperatorConcept static method) is_not_quasi_sugeno() (OperatorConcept static method) is_not_self() (OperatorConcept static method) is_not_sigma_concept() (OperatorConcept static method) is_not_sugeno() (OperatorConcept static method) is_not_type() (OperatorConcept static method) is_not_weighted() (OperatorConcept static method) is_not_weighted_max() (OperatorConcept static method) is_not_weighted_min() (OperatorConcept static method) is_not_weighted_sum() (OperatorConcept static method) is_not_weighted_sum_zero() (OperatorConcept static method) is_not_zadeh_implies() (OperatorConcept static method) is_nothing() (ClassificationNode method) is_number() (TriangularFuzzyNumber method) is_number_not_one() (Degree method) (DegreeExpression method) (DegreeNumeric method) (DegreeVariable method) is_number_zero() (Degree method) (DegreeExpression method) (DegreeNumeric method) (DegreeVariable method) is_numeric() (Degree method) (DegreeExpression method) (DegreeNumeric method) (DegreeVariable method) is_or() (OperatorConcept static method) is_redundant_A_is_a_C() (KnowledgeBase method) is_redundant_gci() (KnowledgeBase method) is_reserved_word() (FuzzyOwl2ToFuzzyDL static method) is_simplified() (OperatorConcept method) (Thing method) is_tbox_acyclic() (KnowledgeBase method) is_thing() (ClassificationNode method) is_zero() (Inequation method)

K

k1 (CrispConcreteConcept attribute) (FuzzyConcreteConcept property) (LeftConcreteConcept attribute) (LinearConcreteConcept attribute) (ModifiedConcreteConcept attribute) (RightConcreteConcept attribute) (TrapezoidalConcreteConcept attribute) (TriangularConcreteConcept attribute) K1 (TriangularFuzzyNumber attribute) k2 (CrispConcreteConcept attribute) (FuzzyConcreteConcept property) (LeftConcreteConcept attribute) (LinearConcreteConcept attribute) (ModifiedConcreteConcept attribute) (RightConcreteConcept attribute) (TrapezoidalConcreteConcept attribute) (TriangularConcreteConcept attribute)

K2 (TriangularFuzzyNumber attribute) kb (DLParser attribute) KB_LOADED (KnowledgeBase attribute) KB_UNSAT (KnowledgeBase attribute) KbSatisfiableQuery (class in fuzzy_dl_owl2.fuzzydl.query.kb_satisfiable_query) KLEENE_DIENES (LogicOperatorType attribute) KLEENE_DIENES_IMPLIES (FuzzyDLKeyword attribute) kleene_dienes_implies() (ImpliesConcept static method) (KnowledgeBase method) kleene_dienes_implies_equation() (ZadehSolver static method) KleeneDienesImplies (in module fuzzy_dl_owl2.fuzzydl.concept.implies_concept) KNOWLEDGE_BASE_SEMANTICS (in module fuzzy_dl_owl2.fuzzydl.util.constants) KnowledgeBase (class in fuzzy_dl_owl2.fuzzydl.knowledge_base) KnowledgeBaseRules (class in fuzzy_dl_owl2.fuzzydl.util.constants)

L

Label (class in fuzzy_dl_owl2.fuzzydl.label) labels_for_fillers (ShowVariablesHelper attribute) labels_with_nodes (KnowledgeBase attribute) language (KnowledgeBase attribute) lazy_unfondable (KnowledgeBase attribute) LEFT_SHOULDER (FuzzyDLKeyword attribute) (FuzzyOWL2Keyword attribute) LeftConcreteConcept (class in fuzzy_dl_owl2.fuzzydl.concept.concrete.left_concrete_concept) LeftShoulderFunction (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.left_shoulder_function) LEQ (FuzzyOWL2Keyword attribute) LES (FuzzyOWL2Keyword attribute) LESS_EQUAL (RepresentativeIndividualType attribute) LESS_THAN (InequalityType attribute) less_than() (Inequation static method) LESS_THAN_OR_EQUAL_TO (FuzzyDLKeyword attribute) LessThan (in module fuzzy_dl_owl2.fuzzydl.milp.inequation) LINEAR (FuzzyDLKeyword attribute) (FuzzyOWL2Keyword attribute) LINEAR_MODIFIER (FuzzyDLKeyword attribute) LinearConcreteConcept (class in fuzzy_dl_owl2.fuzzydl.concept.concrete.linear_concrete_concept) LinearFunction (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.linear_function) LinearlyModifiedConcept (class in fuzzy_dl_owl2.fuzzydl.concept.modified.linearly_modified_concept) LinearModifier (class in fuzzy_dl_owl2.fuzzydl.modifier.linear_modifier) (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.linear_modifier) lines (FuzzyOwl2 attribute) (FuzzyOwl2ToFuzzyDL attribute) list_of_concepts (Individual attribute) load_config() (DLParser static method) (FuzzyOwl2Parser static method) (FuzzyOwl2XMLParser static method) load_parameters() (ConfigReader static method) log2() (Util static method) LOG_DIR (in module fuzzy_dl_owl2.fuzzydl.parser.dl_parser) (in module fuzzy_dl_owl2.fuzzydl.util.util) logger (in module fuzzy_dl_owl2.fuzzydl.util.util)

LOGIC (FuzzyOWL2Keyword attribute) LogicOperatorType (class in fuzzy_dl_owl2.fuzzydl.util.constants) LomDefuzzifyQuery (class in fuzzy_dl_owl2.fuzzydl.query.defuzzify.lom_defuzzify_query) LOOSE_LOWER_APPROX (ConceptType attribute) loose_lower_approx() (ApproximationConcept static method) LOOSE_LOWER_APPROXIMATION (FuzzyDLKeyword attribute) LOOSE_UPPER_APPROX (ConceptType attribute) loose_upper_approx() (ApproximationConcept static method) LOOSE_UPPER_APPROXIMATION (FuzzyDLKeyword attribute) LooseLowerApprox (in module fuzzy_dl_owl2.fuzzydl.concept.approximation_concept) LooseUpperApprox (in module fuzzy_dl_owl2.fuzzydl.concept.approximation_concept) LOWER_APPROX (ConceptType attribute) lower_approx() (ApproximationConcept static method) LOWER_APPROXIMATION (FuzzyDLKeyword attribute) lower_bound (Variable attribute) LowerApprox (in module fuzzy_dl_owl2.fuzzydl.concept.approximation_concept) LUKASIEWICZ (FuzzyDLKeyword attribute) (FuzzyLogic attribute) (FuzzyOWL2Keyword attribute) (LogicOperatorType attribute) LUKASIEWICZ_AND (ConceptType attribute) (FuzzyDLKeyword attribute) lukasiewicz_and() (OperatorConcept static method) lukasiewicz_cnf() (Thing method) lukasiewicz_dnf() (Thing method) LUKASIEWICZ_IMPLIES (FuzzyDLKeyword attribute) lukasiewicz_implies() (ImpliesConcept static method) (KnowledgeBase method) LUKASIEWICZ_OR (ConceptType attribute) (FuzzyDLKeyword attribute) lukasiewicz_or() (OperatorConcept static method) LukasiewiczAnd (in module fuzzy_dl_owl2.fuzzydl.concept.operator_concept) LukasiewiczImplies (in module fuzzy_dl_owl2.fuzzydl.concept.implies_concept) LukasiewiczOr (in module fuzzy_dl_owl2.fuzzydl.concept.operator_concept) LukasiewiczSolver (class in fuzzy_dl_owl2.fuzzydl.knowledge_base)

M

main() (DLParser static method) (FuzzyOwl2Parser static method) (FuzzyOwl2XMLParser static method) (in module fuzzy_dl_owl2.fuzzydl.fuzzydl_to_owl2) mark_indirectly_blocked() (CreatedIndividual method) mark_indirectly_simple_unchecked() (CreatedIndividualHandler static method) mark_process_assertion() (KnowledgeBase method) match_concept_labels() (CreatedIndividualHandler static method) match_set_concept_labels() (CreatedIndividualHandler static method) match_subset_concept_labels() (CreatedIndividualHandler static method) matching_individual() (CreatedIndividualHandler static method) max_depth (KnowledgeBase attribute) MAX_G_SUBS_QUERY (FuzzyDLKeyword attribute) MAX_INDIVIDUALS (ConfigReader attribute) MAX_INSTANCE_QUERY (FuzzyDLKeyword attribute) MAX_KD_SUBS_QUERY (FuzzyDLKeyword attribute) MAX_L_SUBS_QUERY (FuzzyDLKeyword attribute) MAX_RELATED_QUERY (FuzzyDLKeyword attribute) MAX_SAT_QUERY (FuzzyDLKeyword attribute) MAX_SUBS_QUERY (FuzzyDLKeyword attribute) MAX_VAR_QUERY (FuzzyDLKeyword attribute) MaxInstanceQuery (class in fuzzy_dl_owl2.fuzzydl.query.max.max_instance_query) MaxQuery (class in fuzzy_dl_owl2.fuzzydl.query.max.max_query) MaxRelatedQuery (class in fuzzy_dl_owl2.fuzzydl.query.max.max_related_query) MaxSatisfiableQuery (class in fuzzy_dl_owl2.fuzzydl.query.max.max_satisfiable_query) MaxSubsumesQuery (class in fuzzy_dl_owl2.fuzzydl.query.max.max_subsumes_query) MAXVAL (in module fuzzy_dl_owl2.fuzzydl.util.constants) MAXVAL2 (in module fuzzy_dl_owl2.fuzzydl.util.constants) merge() (KnowledgeBase method) merge_fillers() (KnowledgeBase method) milp (KnowledgeBase attribute) MILP_PROVIDER (ConfigReader attribute) MILPHelper (class in fuzzy_dl_owl2.fuzzydl.milp.milp_helper) MILPProvider (class in fuzzy_dl_owl2.fuzzydl.util.constants) MIN_G_SUBS_QUERY (FuzzyDLKeyword attribute) MIN_INSTANCE_QUERY (FuzzyDLKeyword attribute) MIN_KD_SUBS_QUERY (FuzzyDLKeyword attribute) MIN_L_SUBS_QUERY (FuzzyDLKeyword attribute) MIN_RELATED_QUERY (FuzzyDLKeyword attribute) MIN_SAT_QUERY (FuzzyDLKeyword attribute) MIN_SUBS_QUERY (FuzzyDLKeyword attribute) MIN_VAR_QUERY (FuzzyDLKeyword attribute) MinInstanceQuery (class in fuzzy_dl_owl2.fuzzydl.query.min.min_instance_query) MinQuery (class in fuzzy_dl_owl2.fuzzydl.query.min.min_query) MinRelatedQuery (class in fuzzy_dl_owl2.fuzzydl.query.min.min_related_query) MinSatisfiableQuery (class in fuzzy_dl_owl2.fuzzydl.query.min.min_satisfiable_query) MinSubsumesQuery (class in fuzzy_dl_owl2.fuzzydl.query.min.min_subsumes_query) minus() (TriangularFuzzyNumber static method) MIP (MILPProvider attribute) MODIFIED (ConceptType attribute) (FuzzyDLKeyword attribute) (FuzzyOWL2Keyword attribute) modified (ModifiedConcreteConcept property) MODIFIED_COMPLEMENT (ConceptType attribute) MODIFIED_CONCEPT (ConceptType attribute) ModifiedConcept (class in fuzzy_dl_owl2.fuzzydl.concept.modified.modified_concept) (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.modified_concept) ModifiedConcreteConcept (class in fuzzy_dl_owl2.fuzzydl.concept.concrete.modified_concrete_concept) ModifiedFunction (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.modified_function) ModifiedProperty (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.modified_property) Modifier (class in fuzzy_dl_owl2.fuzzydl.modifier.modifier) MODIFIER (FuzzyOWL2Keyword attribute) modifier (ModifiedConcept property) (ModifiedConcreteConcept property) modifiers (FuzzydlToOwl2 attribute) (KnowledgeBase attribute) modify() (LinearModifier method) (Modifier method) (TriangularModifier method) module fuzzy_dl_owl2 fuzzy_dl_owl2.fuzzydl fuzzy_dl_owl2.fuzzydl.assertion fuzzy_dl_owl2.fuzzydl.assertion.assertion fuzzy_dl_owl2.fuzzydl.assertion.atomic_assertion fuzzy_dl_owl2.fuzzydl.classification_node fuzzy_dl_owl2.fuzzydl.concept fuzzy_dl_owl2.fuzzydl.concept.all_some_concept fuzzy_dl_owl2.fuzzydl.concept.approximation_concept fuzzy_dl_owl2.fuzzydl.concept.atomic_concept fuzzy_dl_owl2.fuzzydl.concept.choquet_integral fuzzy_dl_owl2.fuzzydl.concept.concept fuzzy_dl_owl2.fuzzydl.concept.concrete fuzzy_dl_owl2.fuzzydl.concept.concrete.crisp_concrete_concept fuzzy_dl_owl2.fuzzydl.concept.concrete.fuzzy_concrete_concept fuzzy_dl_owl2.fuzzydl.concept.concrete.fuzzy_number fuzzy_dl_owl2.fuzzydl.concept.concrete.fuzzy_number.triangular_fuzzy_number fuzzy_dl_owl2.fuzzydl.concept.concrete.left_concrete_concept fuzzy_dl_owl2.fuzzydl.concept.concrete.linear_concrete_concept fuzzy_dl_owl2.fuzzydl.concept.concrete.modified_concrete_concept fuzzy_dl_owl2.fuzzydl.concept.concrete.right_concrete_concept fuzzy_dl_owl2.fuzzydl.concept.concrete.trapezoidal_concrete_concept fuzzy_dl_owl2.fuzzydl.concept.concrete.triangular_concrete_concept fuzzy_dl_owl2.fuzzydl.concept.ext_threshold_concept fuzzy_dl_owl2.fuzzydl.concept.has_value_concept fuzzy_dl_owl2.fuzzydl.concept.implies_concept fuzzy_dl_owl2.fuzzydl.concept.interface fuzzy_dl_owl2.fuzzydl.concept.interface.has_concept_interface fuzzy_dl_owl2.fuzzydl.concept.interface.has_concepts_interface fuzzy_dl_owl2.fuzzydl.concept.interface.has_role_concept_interface fuzzy_dl_owl2.fuzzydl.concept.interface.has_role_interface fuzzy_dl_owl2.fuzzydl.concept.interface.has_value_interface fuzzy_dl_owl2.fuzzydl.concept.interface.has_weighted_concepts_interface fuzzy_dl_owl2.fuzzydl.concept.modified fuzzy_dl_owl2.fuzzydl.concept.modified.linearly_modified_concept fuzzy_dl_owl2.fuzzydl.concept.modified.modified_concept fuzzy_dl_owl2.fuzzydl.concept.modified.triangularly_modified_concept fuzzy_dl_owl2.fuzzydl.concept.negated_nominal fuzzy_dl_owl2.fuzzydl.concept.operator_concept fuzzy_dl_owl2.fuzzydl.concept.owa_concept fuzzy_dl_owl2.fuzzydl.concept.qowa_concept fuzzy_dl_owl2.fuzzydl.concept.quasi_sugeno_integral fuzzy_dl_owl2.fuzzydl.concept.self_concept fuzzy_dl_owl2.fuzzydl.concept.sigma_concept fuzzy_dl_owl2.fuzzydl.concept.sigma_count fuzzy_dl_owl2.fuzzydl.concept.string_concept fuzzy_dl_owl2.fuzzydl.concept.sugeno_integral fuzzy_dl_owl2.fuzzydl.concept.threshold_concept fuzzy_dl_owl2.fuzzydl.concept.truth_concept fuzzy_dl_owl2.fuzzydl.concept.value_concept fuzzy_dl_owl2.fuzzydl.concept.weighted_concept fuzzy_dl_owl2.fuzzydl.concept.weighted_max_concept fuzzy_dl_owl2.fuzzydl.concept.weighted_min_concept fuzzy_dl_owl2.fuzzydl.concept.weighted_sum_concept fuzzy_dl_owl2.fuzzydl.concept.weighted_sum_zero_concept fuzzy_dl_owl2.fuzzydl.concept_equivalence fuzzy_dl_owl2.fuzzydl.concrete_feature fuzzy_dl_owl2.fuzzydl.degree fuzzy_dl_owl2.fuzzydl.degree.degree fuzzy_dl_owl2.fuzzydl.degree.degree_expression fuzzy_dl_owl2.fuzzydl.degree.degree_numeric fuzzy_dl_owl2.fuzzydl.degree.degree_variable fuzzy_dl_owl2.fuzzydl.domain_axiom fuzzy_dl_owl2.fuzzydl.exception fuzzy_dl_owl2.fuzzydl.exception.fuzzy_ontology_exception fuzzy_dl_owl2.fuzzydl.exception.inconsistent_ontology_exception fuzzy_dl_owl2.fuzzydl.feature_function fuzzy_dl_owl2.fuzzydl.fuzzydl_to_owl2 fuzzy_dl_owl2.fuzzydl.general_concept_inclusion fuzzy_dl_owl2.fuzzydl.individual fuzzy_dl_owl2.fuzzydl.individual.created_individual fuzzy_dl_owl2.fuzzydl.individual.individual fuzzy_dl_owl2.fuzzydl.individual.representative_individual fuzzy_dl_owl2.fuzzydl.knowledge_base fuzzy_dl_owl2.fuzzydl.label fuzzy_dl_owl2.fuzzydl.milp fuzzy_dl_owl2.fuzzydl.milp.expression fuzzy_dl_owl2.fuzzydl.milp.inequation fuzzy_dl_owl2.fuzzydl.milp.milp_helper fuzzy_dl_owl2.fuzzydl.milp.show_variables_helper fuzzy_dl_owl2.fuzzydl.milp.solution fuzzy_dl_owl2.fuzzydl.milp.term fuzzy_dl_owl2.fuzzydl.milp.variable fuzzy_dl_owl2.fuzzydl.modifier fuzzy_dl_owl2.fuzzydl.modifier.linear_modifier fuzzy_dl_owl2.fuzzydl.modifier.modifier fuzzy_dl_owl2.fuzzydl.modifier.triangular_modifier fuzzy_dl_owl2.fuzzydl.parser fuzzy_dl_owl2.fuzzydl.parser.dl_parser fuzzy_dl_owl2.fuzzydl.primitive_concept_definition fuzzy_dl_owl2.fuzzydl.query fuzzy_dl_owl2.fuzzydl.query.all_instances_query fuzzy_dl_owl2.fuzzydl.query.bnp_query fuzzy_dl_owl2.fuzzydl.query.classification_query fuzzy_dl_owl2.fuzzydl.query.defuzzify fuzzy_dl_owl2.fuzzydl.query.defuzzify.defuzzify_query fuzzy_dl_owl2.fuzzydl.query.defuzzify.lom_defuzzify_query fuzzy_dl_owl2.fuzzydl.query.defuzzify.mom_defuzzify_query fuzzy_dl_owl2.fuzzydl.query.defuzzify.som_defuzzify_query fuzzy_dl_owl2.fuzzydl.query.instance_query fuzzy_dl_owl2.fuzzydl.query.kb_satisfiable_query fuzzy_dl_owl2.fuzzydl.query.max fuzzy_dl_owl2.fuzzydl.query.max.max_instance_query fuzzy_dl_owl2.fuzzydl.query.max.max_query fuzzy_dl_owl2.fuzzydl.query.max.max_related_query fuzzy_dl_owl2.fuzzydl.query.max.max_satisfiable_query fuzzy_dl_owl2.fuzzydl.query.max.max_subsumes_query fuzzy_dl_owl2.fuzzydl.query.min fuzzy_dl_owl2.fuzzydl.query.min.min_instance_query fuzzy_dl_owl2.fuzzydl.query.min.min_query fuzzy_dl_owl2.fuzzydl.query.min.min_related_query fuzzy_dl_owl2.fuzzydl.query.min.min_satisfiable_query fuzzy_dl_owl2.fuzzydl.query.min.min_subsumes_query fuzzy_dl_owl2.fuzzydl.query.query fuzzy_dl_owl2.fuzzydl.query.related_query fuzzy_dl_owl2.fuzzydl.query.satisfiable_query fuzzy_dl_owl2.fuzzydl.query.subsumption_query fuzzy_dl_owl2.fuzzydl.range_axiom fuzzy_dl_owl2.fuzzydl.relation fuzzy_dl_owl2.fuzzydl.restriction fuzzy_dl_owl2.fuzzydl.restriction.has_value_restriction fuzzy_dl_owl2.fuzzydl.restriction.restriction fuzzy_dl_owl2.fuzzydl.role_parent_with_degree fuzzy_dl_owl2.fuzzydl.util fuzzy_dl_owl2.fuzzydl.util.config_reader fuzzy_dl_owl2.fuzzydl.util.constants fuzzy_dl_owl2.fuzzydl.util.util fuzzy_dl_owl2.fuzzydl.util.utils fuzzy_dl_owl2.fuzzyowl2 fuzzy_dl_owl2.fuzzyowl2.fuzzyowl2 fuzzy_dl_owl2.fuzzyowl2.fuzzyowl2_to_fuzzydl fuzzy_dl_owl2.fuzzyowl2.owl_types fuzzy_dl_owl2.fuzzyowl2.owl_types.choquet_concept fuzzy_dl_owl2.fuzzyowl2.owl_types.concept_definition fuzzy_dl_owl2.fuzzyowl2.owl_types.crisp_function fuzzy_dl_owl2.fuzzyowl2.owl_types.fuzzy_datatype fuzzy_dl_owl2.fuzzyowl2.owl_types.fuzzy_modifier fuzzy_dl_owl2.fuzzyowl2.owl_types.fuzzy_nominal_concept fuzzy_dl_owl2.fuzzyowl2.owl_types.fuzzy_property fuzzy_dl_owl2.fuzzyowl2.owl_types.left_shoulder_function fuzzy_dl_owl2.fuzzyowl2.owl_types.linear_function fuzzy_dl_owl2.fuzzyowl2.owl_types.linear_modifier fuzzy_dl_owl2.fuzzyowl2.owl_types.modified_concept fuzzy_dl_owl2.fuzzyowl2.owl_types.modified_function fuzzy_dl_owl2.fuzzyowl2.owl_types.modified_property fuzzy_dl_owl2.fuzzyowl2.owl_types.owa_concept fuzzy_dl_owl2.fuzzyowl2.owl_types.property_definition fuzzy_dl_owl2.fuzzyowl2.owl_types.qowa_concept fuzzy_dl_owl2.fuzzyowl2.owl_types.quasi_sugeno_concept fuzzy_dl_owl2.fuzzyowl2.owl_types.right_shoulder_function fuzzy_dl_owl2.fuzzyowl2.owl_types.sugeno_concept fuzzy_dl_owl2.fuzzyowl2.owl_types.trapezoidal_function fuzzy_dl_owl2.fuzzyowl2.owl_types.triangular_function fuzzy_dl_owl2.fuzzyowl2.owl_types.triangular_modifier fuzzy_dl_owl2.fuzzyowl2.owl_types.weighted_concept fuzzy_dl_owl2.fuzzyowl2.owl_types.weighted_max_concept fuzzy_dl_owl2.fuzzyowl2.owl_types.weighted_min_concept fuzzy_dl_owl2.fuzzyowl2.owl_types.weighted_sum_concept fuzzy_dl_owl2.fuzzyowl2.owl_types.weighted_sum_zero_concept fuzzy_dl_owl2.fuzzyowl2.parser fuzzy_dl_owl2.fuzzyowl2.parser.owl2_parser fuzzy_dl_owl2.fuzzyowl2.parser.owl2_xml_parser fuzzy_dl_owl2.fuzzyowl2.util fuzzy_dl_owl2.fuzzyowl2.util.constants fuzzy_dl_owl2.fuzzyowl2.util.fuzzy_xml fuzzy_dl_owl2.fuzzyowl2.util.sort_dl_lines

MomDefuzzifyQuery (class in fuzzy_dl_owl2.fuzzydl.query.defuzzify.mom_defuzzify_query) MUL (FuzzyDLKeyword attribute) multiply_constant() (Degree method) (DegreeExpression method) (DegreeNumeric method) (DegreeVariable method) (Expression static method)

N

name (AllInstancesQuery attribute) (ApproximationConcept attribute) (Concept property) (ExtThresholdConcept attribute) (FuzzyConcreteConcept attribute) NAME (FuzzyOWL2Keyword attribute) name (HasValueConcept attribute) (ImpliesConcept attribute) (Individual attribute) (Modifier attribute) (NegatedNominal attribute) (OperatorConcept attribute) (QowaConcept attribute) (SelfConcept attribute) (SigmaConcept attribute) (ThresholdConcept attribute) (TrapezoidalConcreteConcept attribute) (TruthConcept attribute) (ValueConcept attribute) (Variable attribute) (WeightedConcept attribute) (WeightedMaxConcept attribute) (WeightedMinConcept attribute) (WeightedSumConcept attribute) (WeightedSumZeroConcept attribute) NEG_INFINITY (FuzzyOwl2 attribute) NEG_THRESHOLD (ConceptType attribute) neg_threshold() (ThresholdConcept static method) negate_expression() (Expression static method) NegatedNominal (class in fuzzy_dl_owl2.fuzzydl.concept.negated_nominal) NegThreshold (in module fuzzy_dl_owl2.fuzzydl.concept.threshold_concept) new() (AllSomeConcept static method) new_atomic_concept() (AtomicConcept static method) NO_BLOCKING (BlockingDynamicType attribute) nodes_classification (KnowledgeBase attribute) NOMINAL (FuzzyOWL2Keyword attribute) nominal_absorption() (KnowledgeBase method) nominal_list (Individual attribute) nominal_variables (MILPHelper attribute) normal_form() (OperatorConcept method) (Thing method)

NOT (FuzzyDLKeyword attribute) Not (in module fuzzy_dl_owl2.fuzzydl.concept.operator_concept) not_() (OperatorConcept static method) NOT_AT_LEAST_VALUE (ConceptType attribute) NOT_AT_MOST_VALUE (ConceptType attribute) NOT_BLOCKED (CreatedIndividualBlockingType attribute) NOT_CHOQUET_INTEGRAL (ConceptType attribute) NOT_EXACT_VALUE (ConceptType attribute) NOT_EXT_NEG_THRESHOLD (ConceptType attribute) NOT_EXT_POS_THRESHOLD (ConceptType attribute) NOT_GOEDEL_IMPLIES (ConceptType attribute) NOT_HAS_VALUE (ConceptType attribute) NOT_NEG_THRESHOLD (ConceptType attribute) NOT_OWA (ConceptType attribute) NOT_POS_THRESHOLD (ConceptType attribute) NOT_QUANTIFIED_OWA (ConceptType attribute) NOT_QUASI_SUGENO_INTEGRAL (ConceptType attribute) NOT_SELF (ConceptType attribute) not_self_roles (Individual attribute) NOT_SIGMA_CONCEPT (ConceptType attribute) NOT_SUGENO_INTEGRAL (ConceptType attribute) NOT_W_MAX (ConceptType attribute) NOT_W_MIN (ConceptType attribute) NOT_W_SUM (ConceptType attribute) NOT_W_SUM_ZERO (ConceptType attribute) NOT_WEIGHTED (ConceptType attribute) NOT_ZADEH_IMPLIES (ConceptType attribute) num_assertions (KnowledgeBase attribute) num_classes (FuzzydlToOwl2 attribute) num_defined_concepts (KnowledgeBase attribute) num_defined_individuals (KnowledgeBase attribute) num_new_concepts (Concept attribute) num_relations (KnowledgeBase attribute) NUMBER (FeatureFunctionType attribute) (in module fuzzy_dl_owl2.fuzzydl.util.constants) NUMBER_DIGITS (ConfigReader attribute) number_of_concepts (KnowledgeBase attribute) number_of_roles (KnowledgeBase attribute) number_of_variables (MILPHelper attribute) numerical_datatypes (FuzzyOwl2ToFuzzyDL attribute)

O

obj_expr (DefuzzifyQuery attribute) (InstanceQuery attribute) (MaxQuery attribute) (MinQuery attribute) (RelatedQuery attribute) (SubsumptionQuery attribute) object_properties (FuzzyOwl2ToFuzzyDL attribute) object_property_iri() (FuzzydlToOwl2 method) old_01_variables (KnowledgeBase attribute) old_binary_variables (KnowledgeBase attribute) ontologies (FuzzyOwl2 attribute) ontology (FuzzydlToOwl2 attribute) (FuzzyOwl2 attribute) ONTOLOGY (FuzzyOWL2Keyword attribute) ontology_iri (FuzzydlToOwl2 attribute) (FuzzyOwl2 attribute) ontology_path (FuzzydlToOwl2 attribute) (FuzzyOwl2 attribute) OPEN_TAG (FuzzyOWL2Keyword attribute) OperatorConcept (class in fuzzy_dl_owl2.fuzzydl.concept.operator_concept) OPERATORS (OperatorConcept attribute)

OPTIMIZATIONS (ConfigReader attribute) optimize() (KnowledgeBase method) (MILPHelper method) OR (ConceptType attribute) (FuzzyDLKeyword attribute) Or (in module fuzzy_dl_owl2.fuzzydl.concept.operator_concept) or_() (OperatorConcept static method) or_equation() (LukasiewiczSolver static method) (ZadehSolver static method) or_negated_equation() (ZadehSolver static method) OR_OPERATORS (OperatorConcept attribute) order (KnowledgeBase attribute) order() (Util static method) output_dl (FuzzyOwl2 attribute) OUTPUT_EDGES (ClassificationNode attribute) output_FOWL (FuzzydlToOwl2 attribute) OWA (ConceptType attribute), [1] (FuzzyDLKeyword attribute) (FuzzyOWL2Keyword attribute) OwaConcept (class in fuzzy_dl_owl2.fuzzydl.concept.owa_concept) (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.owa_concept) OWL_ANNOTATION_LABEL (ConfigReader attribute)

P

parent (RoleParentWithDegree attribute) parse_string() (DLParser static method) (FuzzyOwl2Parser static method) (FuzzyOwl2XMLParser static method) parse_string_opt() (DLParser static method) PARTITION (MILPHelper attribute) partition_loop_A_is_a_B() (KnowledgeBase method) partition_loop_A_is_a_C() (KnowledgeBase method) partition_loop_C_is_a_A() (KnowledgeBase method) partition_loop_C_is_a_D() (KnowledgeBase method) partition_loop_to_do_A_is_a_B() (KnowledgeBase method) partition_loop_to_do_A_is_a_C() (KnowledgeBase method) POS_INFINITY (FuzzyOwl2 attribute) POS_THRESHOLD (ConceptType attribute) pos_threshold() (ThresholdConcept static method) positive_concrete_value_assertions (KnowledgeBase attribute) PosThreshold (in module fuzzy_dl_owl2.fuzzydl.concept.threshold_concept) preprocess() (AllInstancesQuery method) (BnpQuery method) (ClassificationQuery method) (DefuzzifyQuery method) (KbSatisfiableQuery method) (MaxInstanceQuery method) (MaxQuery method) (MaxRelatedQuery method) (MaxSatisfiableQuery method) (MaxSubsumesQuery method) (MinInstanceQuery method) (MinQuery method) (MinRelatedQuery method) (MinSatisfiableQuery method) (MinSubsumesQuery method) (MomDefuzzifyQuery method) (Query method)

preprocess_tbox() (KnowledgeBase method) PrimitiveConceptDefinition (class in fuzzy_dl_owl2.fuzzydl.primitive_concept_definition) print_instance_of_labels() (MILPHelper method) PRINT_LABELS (MILPHelper attribute) print_tbox() (KnowledgeBase method) PRINT_VARIABLES (MILPHelper attribute) process_concept_annotations() (FuzzyOwl2 method) process_datatype_annotations() (FuzzyOwl2 method) process_ontology_annotations() (FuzzyOwl2 method) process_ontology_axioms() (FuzzyOwl2 method) process_property_annotations() (FuzzyOwl2 method) processed_assertions (KnowledgeBase attribute) processed_axioms (FuzzyOwl2 attribute) processed_functional_data_properties (FuzzyOwl2ToFuzzyDL attribute) processed_functional_object_properties (FuzzyOwl2ToFuzzyDL attribute) PRODUCT (FeatureFunctionType attribute) (FuzzyOWL2Keyword attribute) PropertyDefinition (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.property_definition) prune() (Individual method) PULP (MILPProvider attribute) PULP_CPLEX (MILPProvider attribute) PULP_GLPK (MILPProvider attribute) PULP_HIGHS (MILPProvider attribute)

Q

Q_OWA (FuzzyDLKeyword attribute) (FuzzyOWL2Keyword attribute) QowaConcept (class in fuzzy_dl_owl2.fuzzydl.concept.qowa_concept) (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.qowa_concept) QsugenoConcept (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.quasi_sugeno_concept) QsugenoIntegral (class in fuzzy_dl_owl2.fuzzydl.concept.quasi_sugeno_integral) QUANTIFIED_OWA (ConceptType attribute), [1]

QUANTIFIER (FuzzyOWL2Keyword attribute) quantifier (QowaConcept property) QUASI_SUGENO (ConceptType attribute) (FuzzyDLKeyword attribute) (FuzzyOWL2Keyword attribute) QUASI_SUGENO_INTEGRAL (ConceptType attribute) queries_list (DLParser attribute) Query (class in fuzzy_dl_owl2.fuzzydl.query.query)

R

r_successors (KnowledgeBase attribute) RANGE (FuzzyDLKeyword attribute) range_restrictions (KnowledgeBase attribute) RangeAxiom (class in fuzzy_dl_owl2.fuzzydl.range_axiom) read_object_from_file() (KnowledgeBase method) REAL (ConcreteFeatureType attribute) (FuzzyDLKeyword attribute) recursion_unlimited() (in module fuzzy_dl_owl2.fuzzydl.util.utils) reduce_double_negation() (OperatorConcept method) (Thing method) reduce_idempotency() (AtomicConcept method) (OperatorConcept method) (Thing method) reduce_quantifiers() (OperatorConcept method) (Thing method) reduce_truth_values() (OperatorConcept method) (Thing method) REFLEXIVE (FuzzyDLKeyword attribute) reflexive_roles (KnowledgeBase attribute) RELATED (FuzzyDLKeyword attribute) RelatedQuery (class in fuzzy_dl_owl2.fuzzydl.query.related_query) Relation (class in fuzzy_dl_owl2.fuzzydl.relation) remove_A_is_a_B() (KnowledgeBase method) remove_A_is_a_C() (KnowledgeBase method) remove_A_is_a_X() (KnowledgeBase method) remove_C_is_a_A() (KnowledgeBase method) remove_C_is_a_D() (KnowledgeBase method) remove_C_is_a_X() (KnowledgeBase method) remove_element() (Thing static method) remove_input_edge() (ClassificationNode method) remove_ouput_edge() (ClassificationNode method) replace() (AllSomeConcept method) (ApproximationConcept method) (AtomicConcept method) (ChoquetIntegral method) (ExtThresholdConcept method) (FuzzyConcreteConcept method) (HasValueConcept method) (ImpliesConcept method) (LinearlyModifiedConcept method) (ModifiedConcept method) (OperatorConcept method) (OwaConcept method) (QowaConcept method) (QsugenoIntegral method) (SelfConcept method) (SigmaConcept method) (StringConcept method) (SugenoIntegral method) (Thing method) (ThresholdConcept method) (TriangularlyModifiedConcept method) (TruthConcept method) (ValueConcept method) (WeightedConcept method) (WeightedMaxConcept method) (WeightedMinConcept method) (WeightedSumConcept method) (WeightedSumZeroConcept method) represent_tbox_with_gcis() (KnowledgeBase method) RepresentativeIndividual (class in fuzzy_dl_owl2.fuzzydl.individual.representative_individual) RepresentativeIndividualType (class in fuzzy_dl_owl2.fuzzydl.util.constants) restrict_range() (KnowledgeBase method) Restriction (class in fuzzy_dl_owl2.fuzzydl.restriction.restriction) RestrictionType (class in fuzzy_dl_owl2.fuzzydl.util.constants) RESULTS_PATH (in module fuzzy_dl_owl2.fuzzydl.util.constants) RIGHT_SHOULDER (FuzzyDLKeyword attribute) (FuzzyOWL2Keyword attribute) RightConcreteConcept (class in fuzzy_dl_owl2.fuzzydl.concept.concrete.right_concrete_concept) RightShoulderFunction (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.right_shoulder_function) role (DomainAxiom attribute) ROLE (FuzzyOWL2Keyword attribute) role (HasRoleInterface property) (MaxRelatedQuery attribute) (MinRelatedQuery attribute) (RangeAxiom attribute) (RelatedQuery attribute) (SigmaConcept attribute) (SigmaCount attribute) role_absorption() (KnowledgeBase method) role_domain() (KnowledgeBase method) role_implies() (KnowledgeBase method) role_is_functional() (KnowledgeBase method) role_is_inverse_functional() (KnowledgeBase method) role_is_reflexive() (KnowledgeBase method) role_is_symmetric() (KnowledgeBase method) role_is_transitive() (KnowledgeBase method) role_name (Relation attribute) (Restriction attribute) role_range() (KnowledgeBase method) role_relations (Individual attribute) role_restrictions (Individual attribute) role_subsumes() (KnowledgeBase method) role_subsumes_bool() (KnowledgeBase method) RoleParentWithDegree (class in fuzzy_dl_owl2.fuzzydl.role_parent_with_degree) roles_with_all_parents (KnowledgeBase attribute) roles_with_parents (KnowledgeBase attribute) roles_with_trans_children (KnowledgeBase attribute) round() (Util static method) rule_acyclic_tbox (KnowledgeBase attribute) RULE_ACYCLIC_TBOXES (ConfigReader attribute) rule_all() (KnowledgeBase method) rule_and() (KnowledgeBase method) rule_ass_nom() (KnowledgeBase method) RULE_ATOMIC (KnowledgeBaseRules attribute) rule_atomic() (KnowledgeBase method) RULE_BOTTOM (KnowledgeBaseRules attribute) rule_bottom() (KnowledgeBase method) rule_choquet() (KnowledgeBase method) RULE_CHOQUET_INTEGRAL (KnowledgeBaseRules attribute) RULE_COMPLEMENT (KnowledgeBaseRules attribute) rule_complemented() (KnowledgeBase method) rule_complemented_at_least_datatype_restriction() (KnowledgeBase method) rule_complemented_at_most_datatype_restriction() (KnowledgeBase method) rule_complemented_atomic() (KnowledgeBase method) rule_complemented_choquet() (KnowledgeBase method)

rule_complemented_complex_assertion() (KnowledgeBase method) rule_complemented_concrete() (KnowledgeBase method) rule_complemented_exact_datatype_restriction() (KnowledgeBase method) rule_complemented_extended_negative_threshold() (KnowledgeBase method) rule_complemented_extended_positive_threshold() (KnowledgeBase method) rule_complemented_fuzzy_number() (KnowledgeBase method) rule_complemented_goedel_implication() (KnowledgeBase method) rule_complemented_has_value() (KnowledgeBase method) rule_complemented_lazy_unfolding() (KnowledgeBase method) rule_complemented_modified() (KnowledgeBase method) rule_complemented_negative_threshold() (KnowledgeBase method) rule_complemented_owa() (KnowledgeBase method) rule_complemented_positive_threshold() (KnowledgeBase method) rule_complemented_quantified_owa() (KnowledgeBase method) rule_complemented_quasi_sugeno() (KnowledgeBase method) rule_complemented_self() (KnowledgeBase method) rule_complemented_sigma_concept() (KnowledgeBase method) rule_complemented_sugeno() (KnowledgeBase method) rule_complemented_weighted_concept() (KnowledgeBase method) rule_complemented_weighted_max() (KnowledgeBase method) rule_complemented_weighted_min() (KnowledgeBase method) rule_complemented_weighted_sum() (KnowledgeBase method) rule_complemented_weighted_sum_zero() (KnowledgeBase method) rule_complemented_zadeh_implication() (KnowledgeBase method) RULE_CONCRETE (KnowledgeBaseRules attribute) rule_concrete() (KnowledgeBase method) RULE_DATATYPE (KnowledgeBaseRules attribute) rule_domain_lazy_unfolding() (KnowledgeBase method) rule_extended_negative_threshold() (KnowledgeBase method) rule_extended_positive_threshold() (KnowledgeBase method) rule_feature_function() (DatatypeReasoner static method) RULE_FUZZY_NUMBER (KnowledgeBaseRules attribute) rule_fuzzy_number() (KnowledgeBase method) RULE_GOEDEL_ALL (KnowledgeBaseRules attribute) RULE_GOEDEL_AND (KnowledgeBaseRules attribute) rule_goedel_and() (KnowledgeBase method) rule_goedel_implication() (KnowledgeBase method) RULE_GOEDEL_IMPLIES (KnowledgeBaseRules attribute) RULE_GOEDEL_OR (KnowledgeBaseRules attribute) rule_goedel_or() (KnowledgeBase method) RULE_GOEDEL_SOME (KnowledgeBaseRules attribute) RULE_HAS_VALUE (KnowledgeBaseRules attribute) rule_has_value() (KnowledgeBase method) rule_lazy_unfolding() (KnowledgeBase method) rule_loose_lower_approximation() (KnowledgeBase method) rule_loose_upper_approximation() (KnowledgeBase method) rule_lower_approximation() (KnowledgeBase method) RULE_LUKASIEWICZ_ALL (KnowledgeBaseRules attribute) RULE_LUKASIEWICZ_AND (KnowledgeBaseRules attribute) rule_lukasiewicz_and() (KnowledgeBase method) RULE_LUKASIEWICZ_OR (KnowledgeBaseRules attribute) rule_lukasiewicz_or() (KnowledgeBase method) RULE_LUKASIEWICZ_SOME (KnowledgeBaseRules attribute) RULE_MODIFIED (KnowledgeBaseRules attribute) rule_modified() (KnowledgeBase method) rule_n2() (KnowledgeBase method) rule_n3() (KnowledgeBase method) rule_negative_threshold() (KnowledgeBase method) RULE_NOT_CHOQUET_INTEGRAL (KnowledgeBaseRules attribute) RULE_NOT_CONCRETE (KnowledgeBaseRules attribute) RULE_NOT_DATATYPE (KnowledgeBaseRules attribute) RULE_NOT_FUZZY_NUMBER (KnowledgeBaseRules attribute) RULE_NOT_GOEDEL_IMPLIES (KnowledgeBaseRules attribute) RULE_NOT_HAS_VALUE (KnowledgeBaseRules attribute) RULE_NOT_MODIFIED (KnowledgeBaseRules attribute) RULE_NOT_OWA (KnowledgeBaseRules attribute) RULE_NOT_QUASI_SUGENO_INTEGRAL (KnowledgeBaseRules attribute) RULE_NOT_SELF (KnowledgeBaseRules attribute) RULE_NOT_SIGMA_COUNT (KnowledgeBaseRules attribute) rule_not_simple_restriction() (DatatypeReasoner static method) RULE_NOT_SUGENO_INTEGRAL (KnowledgeBaseRules attribute) RULE_NOT_THRESHOLD (KnowledgeBaseRules attribute) rule_not_triangular_fuzzy_number() (DatatypeReasoner static method) RULE_NOT_W_MAX (KnowledgeBaseRules attribute) RULE_NOT_W_MIN (KnowledgeBaseRules attribute) RULE_NOT_W_SUM (KnowledgeBaseRules attribute) RULE_NOT_W_SUM_ZERO (KnowledgeBaseRules attribute) RULE_NOT_WEIGHTED (KnowledgeBaseRules attribute) RULE_NOT_ZADEH_IMPLIES (KnowledgeBaseRules attribute) rule_or() (KnowledgeBase method) RULE_OWA (KnowledgeBaseRules attribute) rule_owa() (KnowledgeBase method) rule_positive_threshold() (KnowledgeBase method) rule_quantified_owa() (KnowledgeBase method) rule_quasi_sugeno() (KnowledgeBase method) RULE_QUASI_SUGENO_INTEGRAL (KnowledgeBaseRules attribute) rule_range_lazy_unfolding() (KnowledgeBase method) RULE_SELF (KnowledgeBaseRules attribute) rule_self() (KnowledgeBase method) rule_sigma_concept() (KnowledgeBase method) RULE_SIGMA_COUNT (KnowledgeBaseRules attribute) rule_simple_restriction() (DatatypeReasoner static method) rule_some() (KnowledgeBase method) rule_sugeno() (KnowledgeBase method) RULE_SUGENO_INTEGRAL (KnowledgeBaseRules attribute) RULE_THRESHOLD (KnowledgeBaseRules attribute) rule_threshold_common() (KnowledgeBase method) rule_tight_lower_approximation() (KnowledgeBase method) rule_tight_upper_approximation() (KnowledgeBase method) RULE_TOP (KnowledgeBaseRules attribute) rule_top() (KnowledgeBase method) rule_triangular_fuzzy_number() (DatatypeReasoner static method) rule_upper_approximation() (KnowledgeBase method) RULE_W_MAX (KnowledgeBaseRules attribute) RULE_W_MIN (KnowledgeBaseRules attribute) RULE_W_SUM (KnowledgeBaseRules attribute) RULE_W_SUM_ZERO (KnowledgeBaseRules attribute) RULE_WEIGHTED (KnowledgeBaseRules attribute) rule_weighted_concept() (KnowledgeBase method) rule_weighted_max() (KnowledgeBase method) rule_weighted_min() (KnowledgeBase method) rule_weighted_sum() (KnowledgeBase method) rule_weighted_sum_zero() (KnowledgeBase method) rule_zadeh_implication() (KnowledgeBase method) RULE_ZADEH_IMPLIES (KnowledgeBaseRules attribute) rules_applied (KnowledgeBase attribute) run() (FuzzydlToOwl2 method)

S

SAT_QUERY (FuzzyDLKeyword attribute) SatisfiableQuery (class in fuzzy_dl_owl2.fuzzydl.query.satisfiable_query) save_absorbed_tbox_to_file() (KnowledgeBase method) save_tbox_common_part_to_file() (KnowledgeBase method) save_tbox_to_file() (KnowledgeBase method) save_to_file() (KnowledgeBase method) SELF (ConceptType attribute) (FuzzyDLKeyword attribute) self() (SelfConcept static method) SelfConcept (class in fuzzy_dl_owl2.fuzzydl.concept.self_concept) SEMI_CONTINUOUS (VariableType attribute) SEPARATOR (in module fuzzy_dl_owl2.fuzzydl.util.constants) set_binary_variable() (Variable method) set_binary_variables() (MILPHelper method) SET_BLOCKING (BlockingDynamicType attribute) set_concrete_individual() (CreatedIndividual method) set_constant() (Expression method) set_crisp_concept() (KnowledgeBase method) set_crisp_role() (KnowledgeBase method) set_datatype_filler_variable() (Variable method) set_definition() (PrimitiveConceptDefinition method) set_degree() (GeneralConceptInclusion method) (PrimitiveConceptDefinition method) set_dynamic_blocking() (KnowledgeBase method) set_individual() (Assertion method) set_initial_time() (Query method) set_label() (Individual method) set_logic() (KnowledgeBase method) set_lower_limit() (Assertion method) set_max_value() (FuzzyDatatype method) set_min_value() (FuzzyDatatype method) set_name() (Individual method) (Modifier method) (Variable method) set_nominal_variables() (MILPHelper method) set_object_individual() (Relation method) set_range() (ConcreteFeature method) (TriangularFuzzyNumber static method) set_subject_individual() (Relation method) set_subsumed() (GeneralConceptInclusion method) set_subsumer() (GeneralConceptInclusion method) set_total_time() (Query method) set_truth_constants() (KnowledgeBase method) set_type() (ConcreteFeature method) (Variable method) set_unsatisfiable_KB() (KnowledgeBase method) SHOW_ABSTRACT_FILLERS (FuzzyDLKeyword attribute) SHOW_ABSTRACT_FILLERS_FOR (FuzzyDLKeyword attribute) show_abstract_role_fillers() (ShowVariablesHelper method) SHOW_CONCEPTS (FuzzyDLKeyword attribute) show_concepts() (ShowVariablesHelper method) SHOW_CONCRETE_FILLERS (FuzzyDLKeyword attribute) show_concrete_fillers() (ShowVariablesHelper method) SHOW_CONCRETE_FILLERS_FOR (FuzzyDLKeyword attribute) SHOW_CONCRETE_INSTANCE_FOR (FuzzyDLKeyword attribute) show_individuals() (ShowVariablesHelper method) SHOW_INSTANCES (FuzzyDLKeyword attribute) SHOW_LANGUAGE (FuzzyDLKeyword attribute) show_language (KnowledgeBase attribute) show_statistics() (KnowledgeBase method) show_variable() (ShowVariablesHelper method) SHOW_VARIABLES (FuzzyDLKeyword attribute) show_vars (MILPHelper attribute) ShowVariablesHelper (class in fuzzy_dl_owl2.fuzzydl.milp.show_variables_helper) SIGMA_CONCEPT (ConceptType attribute) SIGMA_COUNT (FuzzyDLKeyword attribute) SigmaConcept (class in fuzzy_dl_owl2.fuzzydl.concept.sigma_concept) SigmaCount (class in fuzzy_dl_owl2.fuzzydl.concept.sigma_count) similarity_relations (KnowledgeBase attribute) SINGLE_CLOSE_TAG (FuzzyOWL2Keyword attribute) SLASH (FuzzyOWL2Keyword attribute) Solution (class in fuzzy_dl_owl2.fuzzydl.milp.solution) solve() (AllInstancesQuery method) (BnpQuery method) (ClassificationQuery method) (DefuzzifyQuery method) (KbSatisfiableQuery method) (MaxInstanceQuery method) (MaxQuery method) (MaxRelatedQuery method) (MaxSatisfiableQuery method) (MaxSubsumesQuery method) (MinInstanceQuery method) (MinQuery method) (MinRelatedQuery method) (MinSatisfiableQuery method) (MinSubsumesQuery method) (MomDefuzzifyQuery method) (Query method) solve_abox() (KnowledgeBase method) solve_all() (ClassicalSolver static method) (LukasiewiczSolver static method) (ZadehSolver static method) solve_and() (ClassicalSolver static method) (LukasiewiczSolver static method) (ZadehSolver static method)

solve_assertions() (KnowledgeBase method) solve_cardinality_list() (KnowledgeBase method) solve_choquet_integral_assertion() (KnowledgeBase method) solve_choquet_integral_complemented_assertion() (KnowledgeBase method) solve_concept_assertion() (KnowledgeBase method) solve_concept_complemented_assertion() (KnowledgeBase method) solve_concrete_value_assertions() (KnowledgeBase method) solve_crisp_concrete_concept_assertion() (KnowledgeBase method) solve_domain_and_range_axioms() (KnowledgeBase method) solve_functional_roles() (KnowledgeBase method) solve_fuzzy_concrete_concept_complement_assertion() (KnowledgeBase method) solve_gci() (KnowledgeBase method) solve_goedel_gci() (KnowledgeBase method) solve_gurobi() (MILPHelper method) solve_inverse_roles() (KnowledgeBase method) solve_kb() (KnowledgeBase method) solve_kleene_dienes_gci() (KnowledgeBase method) solve_left_concrete_concept_assertion() (KnowledgeBase method) solve_linear_concrete_concept_assertion() (KnowledgeBase method) solve_linear_modifier_assertion() (KnowledgeBase method) solve_lukasiewicz_gci() (KnowledgeBase method) solve_mip() (MILPHelper method) solve_modifier_assertion() (KnowledgeBase method) solve_modifier_complemented_assertion() (KnowledgeBase method) solve_new() (AllInstancesQuery method) solve_not_self_rule() (IndividualHandler static method) solve_one_exist_assertion() (KnowledgeBase method) solve_or() (ClassicalSolver static method) (LukasiewiczSolver static method) (ZadehSolver static method) solve_owa_assertion() (KnowledgeBase method) solve_owa_complemented_assertion() (KnowledgeBase method) solve_pulp() (MILPHelper method) solve_reflexive_role() (KnowledgeBase method) solve_reflexive_roles() (KnowledgeBase method) solve_relation_restriction() (IndividualHandler static method) solve_right_concrete_concept_assertion() (KnowledgeBase method) solve_role_inclusion_axioms() (KnowledgeBase method) solve_some() (ClassicalSolver static method) (LukasiewiczSolver static method) (ZadehSolver static method) solve_sugeno_integral_assertion() (KnowledgeBase method) solve_sugeno_integral_complemented_assertion() (KnowledgeBase method) solve_trapezoidal_concrete_concept_assertion() (KnowledgeBase method) solve_triangular_concrete_concept_assertion() (KnowledgeBase method) solve_triangular_modifier_assertion() (KnowledgeBase method) solve_w_max_assertion() (KnowledgeBase method) solve_w_max_complemented_assertion() (KnowledgeBase method) solve_w_min_assertion() (KnowledgeBase method) solve_w_min_complemented_assertion() (KnowledgeBase method) solve_w_sum_assertion() (KnowledgeBase method) solve_w_sum_complemented_assertion() (KnowledgeBase method) solve_w_sum_zero_assertion() (KnowledgeBase method) solve_w_sum_zero_complemented_assertion() (KnowledgeBase method) solve_zadeh_gci() (KnowledgeBase method) SomDefuzzifyQuery (class in fuzzy_dl_owl2.fuzzydl.query.defuzzify.som_defuzzify_query) SOME (ConceptType attribute) (FuzzyDLKeyword attribute) Some (in module fuzzy_dl_owl2.fuzzydl.concept.all_some_concept) some() (AllSomeConcept static method) sort_by_fuzzydl_pdf_order() (in module fuzzy_dl_owl2.fuzzyowl2.util.sort_dl_lines) SPECIAL_STRING (Concept attribute) STAR_SEPARATOR (in module fuzzy_dl_owl2.fuzzydl.util.constants) STRING (ConcreteFeatureType attribute) (FuzzyDLKeyword attribute) string_datatypes (FuzzyOwl2ToFuzzyDL attribute) string_features (MILPHelper attribute) string_values (MILPHelper attribute) StringConcept (class in fuzzy_dl_owl2.fuzzydl.concept.string_concept) SUB (FuzzyDLKeyword attribute) SUBSET_BLOCKING (BlockingDynamicType attribute) subsumed (GeneralConceptInclusion attribute) subsumer (GeneralConceptInclusion attribute) subsumption_flags (KnowledgeBase attribute) SubsumptionQuery (class in fuzzy_dl_owl2.fuzzydl.query.subsumption_query) subtract_expressions() (Expression static method) subtract_from_expression() (Degree method) (DegreeExpression method) (DegreeNumeric method) (DegreeVariable method) SUBTRACTION (FeatureFunctionType attribute) SUGENO (ConceptType attribute) (FuzzyDLKeyword attribute) (FuzzyOWL2Keyword attribute) SUGENO_INTEGRAL (ConceptType attribute) SugenoConcept (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.sugeno_concept) SugenoIntegral (class in fuzzy_dl_owl2.fuzzydl.concept.sugeno_integral) SUM (FeatureFunctionType attribute) (FuzzyDLKeyword attribute) SYMMETRIC (FuzzyDLKeyword attribute) symmetric_roles (KnowledgeBase attribute) synonym_absorption_A_is_a_B() (KnowledgeBase method) synonym_absorption_to_do_A_is_a_B() (KnowledgeBase method)

T

t_definitions (KnowledgeBase attribute) t_disjoints (KnowledgeBase attribute) t_G (KnowledgeBase attribute) t_inclusions (KnowledgeBase attribute) t_synonyms (KnowledgeBase attribute) temp_relations_list (KnowledgeBase attribute) temp_string_concept_list (KnowledgeBase attribute) temp_string_list (KnowledgeBase attribute) Term (class in fuzzy_dl_owl2.fuzzydl.milp.term) Thing (class in fuzzy_dl_owl2.fuzzydl.concept.concept) ThresholdConcept (class in fuzzy_dl_owl2.fuzzydl.concept.threshold_concept) TIGHT_LOWER_APPROX (ConceptType attribute) tight_lower_approx() (ApproximationConcept static method) TIGHT_LOWER_APPROXIMATION (FuzzyDLKeyword attribute) TIGHT_UPPER_APPROX (ConceptType attribute) tight_upper_approx() (ApproximationConcept static method) TIGHT_UPPER_APPROXIMATION (FuzzyDLKeyword attribute) TightLowerApprox (in module fuzzy_dl_owl2.fuzzydl.concept.approximation_concept) TightUpperApprox (in module fuzzy_dl_owl2.fuzzydl.concept.approximation_concept) times() (TriangularFuzzyNumber static method) tmp_features (KnowledgeBase attribute) to_all_some_concept() (ApproximationConcept method) to_expression() (FeatureFunction method) to_owl_annotation() (FuzzydlToOwl2 method) to_str() (FuzzyXML static method) TODAY (in module fuzzy_dl_owl2.fuzzydl.parser.dl_parser) (in module fuzzy_dl_owl2.fuzzydl.util.util) TOP (ConceptType attribute) (FuzzyDLKeyword attribute) (in module fuzzy_dl_owl2.fuzzydl.concept.truth_concept)

total_time (Query attribute) TRANSITIVE (FuzzyDLKeyword attribute) transitive_roles (KnowledgeBase attribute) translate_owl2ontology() (FuzzyOwl2 method) TRAPEZOIDAL (FuzzyDLKeyword attribute) (FuzzyOWL2Keyword attribute) TrapezoidalConcreteConcept (class in fuzzy_dl_owl2.fuzzydl.concept.concrete.trapezoidal_concrete_concept) TrapezoidalFunction (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.trapezoidal_function) TRIANGULAR (FuzzyDLKeyword attribute) (FuzzyOWL2Keyword attribute) TRIANGULAR_MODIFIER (FuzzyDLKeyword attribute) TriangularConcreteConcept (class in fuzzy_dl_owl2.fuzzydl.concept.concrete.triangular_concrete_concept) TriangularFunction (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.triangular_function) TriangularFuzzyNumber (class in fuzzy_dl_owl2.fuzzydl.concept.concrete.fuzzy_number.triangular_fuzzy_number) TriangularlyModifiedConcept (class in fuzzy_dl_owl2.fuzzydl.concept.modified.triangularly_modified_concept) TriangularModifier (class in fuzzy_dl_owl2.fuzzydl.modifier.triangular_modifier) (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.triangular_modifier) truth_constants (KnowledgeBase attribute) TruthConcept (class in fuzzy_dl_owl2.fuzzydl.concept.truth_concept) type (Concept property) TYPE (FuzzyOWL2Keyword attribute) type (GeneralConceptInclusion attribute) (Inequation attribute) (OperatorConcept attribute) (QowaConcept attribute) (QsugenoIntegral attribute) (RepresentativeIndividual attribute) (SubsumptionQuery attribute) (Variable attribute)

U

unblock() (CreatedIndividualHandler static method) unblock_children() (KnowledgeBase method) unblock_directly_blocked() (CreatedIndividualHandler static method) unblock_indirectly_blocked() (CreatedIndividualHandler static method) unblock_individual() (KnowledgeBase method) unblock_pairwise() (CreatedIndividualHandler static method) unblock_simple() (IndividualHandler static method) UNCHECKED (CreatedIndividualBlockingType attribute)

update_role_successors() (CreatedIndividualHandler static method) UPPER_APPROX (ConceptType attribute) upper_approx() (ApproximationConcept static method) UPPER_APPROXIMATION (FuzzyDLKeyword attribute) upper_bound (Variable attribute) UpperApprox (in module fuzzy_dl_owl2.fuzzydl.concept.approximation_concept) UpVar (in module fuzzy_dl_owl2.fuzzydl.milp.variable) Util (class in fuzzy_dl_owl2.fuzzydl.util.util)

V

value (DegreeNumeric attribute) (HasValueInterface property) ValueConcept (class in fuzzy_dl_owl2.fuzzydl.concept.value_concept) Variable (class in fuzzy_dl_owl2.fuzzydl.milp.variable) variable (DegreeVariable attribute) (SigmaCount attribute)

VARIABLE_NAME (Variable attribute) VARIABLE_NUMBER (Variable attribute) variables (MILPHelper attribute) (ShowVariablesHelper attribute) VariableType (class in fuzzy_dl_owl2.fuzzydl.util.constants)

W

W_MAX (ConceptType attribute) (FuzzyDLKeyword attribute) W_MIN (ConceptType attribute) (FuzzyDLKeyword attribute) W_SUM (ConceptType attribute) (FuzzyDLKeyword attribute) W_SUM_ZERO (ConceptType attribute) (FuzzyDLKeyword attribute) warning() (Util static method) WEIGHT (FuzzyOWL2Keyword attribute) weight (Label attribute) (ThresholdConcept property) (WeightedConcept property) weight_variable (ExtThresholdConcept property) WEIGHTED (ConceptType attribute) (FuzzyOWL2Keyword attribute) WEIGHTED_CONCEPT (ConceptType attribute) WEIGHTED_MAX (ConceptType attribute) WEIGHTED_MAXIMUM (FuzzyOWL2Keyword attribute) WEIGHTED_MIN (ConceptType attribute) WEIGHTED_MINIMUM (FuzzyOWL2Keyword attribute) WEIGHTED_SUM (ConceptType attribute) (FuzzyOWL2Keyword attribute) WEIGHTED_SUM_ZERO (ConceptType attribute) WEIGHTED_SUMZERO (FuzzyOWL2Keyword attribute) WeightedConcept (class in fuzzy_dl_owl2.fuzzydl.concept.weighted_concept) (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.weighted_concept) WeightedMaxConcept (class in fuzzy_dl_owl2.fuzzydl.concept.weighted_max_concept) (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.weighted_max_concept) WeightedMinConcept (class in fuzzy_dl_owl2.fuzzydl.concept.weighted_min_concept) (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.weighted_min_concept) WeightedSumConcept (class in fuzzy_dl_owl2.fuzzydl.concept.weighted_sum_concept) (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.weighted_sum_concept) WeightedSumZeroConcept (class in fuzzy_dl_owl2.fuzzydl.concept.weighted_sum_zero_concept) (class in fuzzy_dl_owl2.fuzzyowl2.owl_types.weighted_sum_zero_concept) WEIGHTS (FuzzyOWL2Keyword attribute) weights (HasWeightedConceptsInterface property) weights_equal() (Label static method) write_asymmetric_object_property_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_choquet_concept_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_concept_assertion_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_concept_declaration() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_crisp_function_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_data_property_assertion_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_data_property_declaration() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_data_property_domain_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_data_property_range_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_different_individuals_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_disjoint_classes_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_disjoint_data_properties_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_disjoint_object_properties_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_disjoint_union_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_equivalent_classes_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_equivalent_data_properties_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_equivalent_object_properties_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_feature_equation() (DatatypeReasoner static method) write_functional_data_property_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_functional_object_property_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_fuzzy_logic() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method)

write_fuzzy_nominal_concept_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_fuzzy_number_equation() (DatatypeReasoner static method) write_inverse_functional_object_property_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_inverse_object_property_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_irreflexive_object_property_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_left_shoulder_function_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_linear_function_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_linear_modifier_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_modified_concept_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_modified_function_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_modified_property_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_negative_data_property_assertion_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_negative_object_property_assertion_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_not_feature_equation() (DatatypeReasoner static method) write_not_fuzzy_number_equation() (DatatypeReasoner static method) write_object_property_assertion_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_object_property_declaration() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_object_property_domain_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_object_property_range_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_object_to_file() (KnowledgeBase method) write_owa_concept_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_qowa_concept_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_quasi_sugeno_concept_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_reflexive_object_property_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_right_shoulder_function_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_same_individual_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_sub_data_property_of_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_sub_object_property_of_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_sub_property_chain_of_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_subclass_of_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_sugeno_concept_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_symmetric_object_property_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_transitive_object_property_axiom() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_trapezoidal_function_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_triangular_function_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_triangular_modifier_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_weighted_concept_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_weighted_max_concept_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_weighted_min_concept_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_weighted_sum_concept_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method) write_weighted_sum_zero_concept_definition() (FuzzyOwl2 method) (FuzzyOwl2ToFuzzyDL method)

X

x_prime_individuals (KnowledgeBase attribute)

Y

y_prime_individuals (KnowledgeBase attribute)

Z

ZADEH (FuzzyDLKeyword attribute) (FuzzyLogic attribute) (FuzzyOWL2Keyword attribute) (LogicOperatorType attribute) ZADEH_IMPLIES (ConceptType attribute) (FuzzyDLKeyword attribute)

zadeh_implies() (ImpliesConcept static method) (KnowledgeBase method) zadeh_implies_equation() (ZadehSolver static method) zadeh_implies_leq_equation() (ZadehSolver static method) ZadehImplies (in module fuzzy_dl_owl2.fuzzydl.concept.implies_concept) ZadehSolver (class in fuzzy_dl_owl2.fuzzydl.knowledge_base)