Abstract:The Expressive Language ALCNHR+(D) provides conjunction, full negation, quantifiers, number restrictions, role hierarchies, transitively closed roles and concrete domains. In addition to the operators known from ALCNHR+, a restricted existential predicate restriction operator for concrete domains is supported. In order to capture the semantic of complicated knowledge reasoning model, the expressive language ALCNHR+K(D) is introduced. It cannot only be able to represent knowledge about concrete domain and constraints, but also rules in some sense of closed world semantic model hypothesis. The paper investigates an extension to description logic based knowledge reasoning by means o f decomposing and rewriting complicated hybrid concepts into partitions. We present an approach that automatically decomposes the whole knowledge base into description logic compatible and constraints solver. Our arguments are two-fold. First, complex description logics with powerful representation ability lack effectively reasoning ability and second, how to reason with the combination of inferences from distributed heterogeneous reasoner.

Extended fuzzy ALCN and its tableau algorithm

Reasoning technique for extended fuzzy ALCQ

A Fuzzy Extension of ALC with Fuzzy Modifiers

The expressive language ALCNHR+K(D) for knowledge reasoning

Product Knowledge Reasoning

New reasoning algorithm based on EFALC

On Computational Complexity of the Extended Fuzzy Description Logic with Numerical Restriction

Reasoning technique for extended fuzzy description logics

Reasoning technique for extended fuzzy script A sign script L sign script C sign script Q sign

Reasoning with General Terminological Axioms in Fuzzy Description Logic FALCN

Multivalued Logic and Fuzzy Logic--Their Relationship, Minimization, and Application to Fault Diagnosis

A fuzzy extension of description logic ALCH

Interval-valued fuzzy description logic IFALCN—Preliminary results

A Fuzzy Extension of Description Logic $\mathcal{ALCH}$

Reasoning Within Extended Fuzzy Description Logic Supporting Terminological Axiom Restrictions

Paraconsistent Reasoning With Quasi-Classical Semantic In Alc

Discrete Tableau Algorithms for FSHI

Distributed Reasoning with Fuzzy Description Logics

Two reasoning methods for extended fuzzy ALCH

Reasoning with Fuzzy Ontologies

Tableaux Algorithms for Expressive Possibilistic Description Logics.