F-SROIQ(G)

Reasoning within expressive fuzzy rough description logics

Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relations such as left and right. Another important feature is imprecision which has to be taken into account to model vagueness, inherent to many spatial relations (as for instance vague expressions such as close to, to the right of), and to gain in robustness in the representations. In previous works, we have shown that fuzzy sets and fuzzy mathematical morphology are appropriate frameworks, on the one hand, to represent bipolarity and imprecision of spatial relations and, on the other hand, to combine qualitative and quantitative reasoning in description logics extended with fuzzy concrete domains. The purpose of this paper is to integrate the bipolarity feature in the latter logical framework based on bipolar and fuzzy mathematical morphology and description logics with fuzzy concrete domains. Two important issues are addressed in this paper: the modeling of the bipolarity of spatial relations at the terminological level and the integration of bipolar notions in fuzzy description logics. At last, we illustrate the potential of the proposed formalism for spatial reasoning on a simple example in brain imaging.

Classical Description Logics (DLs) are not suitable to represent vague pieces of information. The attempts to achieve a solution have lead to the birth of fuzzy DLs and rough DLs. In this work, we provide a simple solution to join these two formalisms and define a fuzzy rough DL. We also show how to extend two reasoning algorithms for fuzzy DLs, which are implemented in the fuzzy DL reasoners fuzzyDL and DeLorean.KeywordsDescription LogicVague ConceptReasoning AlgorithmIndiscernibility RelationLukasiewicz LogicThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

The existing ontology reasoners are all unilaterally description logic-based or rule-based, and their abilities to deal with fuzzy ontology are limited. It is the diversity of fuzzy ontology representation methods among them that leads to a low processing efficiency of fuzzy ontology. To solve this bottle-neck problem of fuzzy ontology-based knowledge reasoning, fuzzy ontology, fuzzy ontology representation method and fuzzy description logic are investigated, and the existing fuzzy ontology reasoners are comparatively analyzed. By virtue of the advantages of the typical reasoners such as Pellet, JenaAPI and fuzzyDL (fuzzy Description Logic), a method combining rule and description logic reasoning is designed, and a framework about fuzzy ontology based knowledge reasoning is proposed. By reducing fuzzy ontology, checking consistency and repairing inconsistency, the efficiency and accuracy of fuzzy ontology based knowledge reasoning can be improved. Finally, an experiment is given to verify the validity of proposed method.

Consistency reasoning in lattice-based fuzzy Description Logics

Description logics (DLs) are modern knowledge representation formalisms which are used today in many applications for reasoning with structured knowledge. Moreover, they are used in the semantic web (an extension of the current web) through the ontology language OWL. On the other hand fuzzy description logics (fuzzy-DLs) have been proposed as expressive logical formalisms capable of capturing and reasoning with

Extending fuzzy soft sets with fuzzy description logics

Fuzzy Description Logics (DLs) are a formalism for the representation of structured knowledge that is imprecise or vague by nature. In fuzzy DLs, restricting to a finite set of degrees of truth has proved to be useful, both for theoretical and practical reasons. In this paper, we propose finite fuzzy DLs as a generalization of existing approaches. We assume a finite totally ordered set of linguistic terms or labels, which is very useful in practice since expert knowledge is usually expressed using linguistic terms. Then, we consider fuzzy DLs based on any smooth t-norm defined over this set. Initially we focus on the finite fuzzy DL \(\mathcal{ALCH}\), studying some logical properties, and showing the decidability of the logic by presenting a reasoning preserving reduction to the classical case. Finally, we extend our logic in two directions: by considering non-smooth t-norms and by considering additional DL constructors.

The distributed fuzzy ontologies play an important role in semantic web. Most current solutions are proposed respectively on one of these two aspects. To represent distributed fuzzy ontology, we combine fuzzy description logics and E-connections, and present distributed extended fuzzy description logic (DEFSHOIN). This novel logical approach couples both fuzzy and distributed features within description logics. The main contribution of this paper is to propose a combined tableau to achieve reasoning within DEFSHOIN.

Significant research efforts in the Semantic Web community are recently directed toward the representation and reasoning with fuzzy ontologies. As the theoretical counterpart of fuzzy ontology languages, fuzzy Description Logics (DLs) have attracted a wide range of concerns. With the emergence of a great number of large-scale domain ontologies, the basic reasoning services cannot meet the need of dealing with complex queries (mainly conjunctive queries), which are indispensable in data-intensive applications. Conjunctive queries (CQs), originated from relational databases, play an important role as an expressive reasoning service for ontologies. Since, however, the negation of a role atom in a CQ is not expressible as a part of a knowledge base, existing tableau algorithms cannot be used directly to deal with the issue. In this paper, we thus present a tableau-based algorithm for deciding query entailment of fuzzy conjunctive queries w.r.t. fuzzy \(\mathcal{SHIN}\) ontologies. Moreover, the data complexity problem was still open for answering CQs in expressive fuzzy DLs. We tackle this issue by proving a tight coNP upper bound for the problem in f-\(\mathcal{SHIN}\), as long as only simple roles occur in the query. Regarding combined complexity, we prove that the algorithm for query entailment is co3NExpTime in the size of the knowledge base and the query.

Description logics are appropriate, widely used, logics for managing strudtured knowledge.

Fuzzy Description Logics are logics which allow to deal with structured knowledge affected by vagueness. Although a relatively important amount of work has been carried out in the last years, fuzzy DLs are open to be extended with several features worked out in the fuzzy logic literature. In this work, we extend fuzzy DLs towards supporting fuzzy spatial reasoning and, thus, offer a framework for modeling spatial relations such as "region a is part of region b, which is connected to region c, a is close to c and b is right over c".

In this paper we propose a knowledge-based approach for thesupport of adaptive and context-aware behavior in autonomic systems. In order to providemeaningful and adequate behavior in the presence of dynamic (or adverse) environmentssystems must possess the ability to assess their current state on the basis of knowledge about themselves andtheir environments. We propose to use ontologies for therepresentation of knowledge and its integration into a general systemsarchitecture supporting autonomic behavior. Especially we rely on fuzzy description logics in order to support robust automatic reasoning w.r.t. environmental conditions.We distinguish several aspects of knowledge and use multiset term rewritingto describe mechanisms of coordination between them.We discuss the advantages of our approach and give examples forparadigmatic applications.

Fuzzy Description Logics are logics which allow to deal with structured knowledge affected by vagueness. Although a relatively important amount of work has been carried out in the last years, fuzzy DLs are open to be extended with several features worked out in other fields. In this work, we start addressing the problem of incorporating Multi-Criteria Decision Making (MCDM) into fuzzy Description Logics and, thus, start an investigation about offering the possibility of a fuzzy ontology assisted approach to decision making.KeywordsFuzzy NumberDescription LogicDecision MatrixOptimal AlternativeMCDM MethodThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

In order to achieve representation and reasoning of fuzzy spatio-temporal knowledge on the Semantic Web, in this paper, we propose a fuzzy spatio-temporal description logic f-\(\mathcal {ALC}\)(D)-LTL that extends spatial fuzzy description logic f-\(\mathcal {ALC}\)(D) with linear temporal logic (LTL). Firstly, we give a formal definition of syntax, semantics of the f-\(\mathcal {ALC}\)(D)-LTL. Then, we propose a tableau algorithm for reasoning fuzzy spatio-temporal knowledge, i.e., determining satisfiability problem of f-\(\mathcal {ALC}\)(D)-LTL formula. Finally, we show the termination, soundness, and completeness of the tableau algorithm.