## A fuzzy description logic for the semantic web

### Cached

### Download Links

Venue: | Fuzzy Logic and the Semantic Web. Capturing Intelligence, Elsevier (2006) 73–90 |

Citations: | 103 - 22 self |

### BibTeX

@INPROCEEDINGS{Straccia_afuzzy,

author = {Umberto Straccia},

title = {A fuzzy description logic for the semantic web},

booktitle = {Fuzzy Logic and the Semantic Web. Capturing Intelligence, Elsevier (2006) 73–90},

year = {}

}

### Years of Citing Articles

### OpenURL

### Abstract

Abstract. In this paper we present a fuzzy version of SHOIN (D), the corresponding

### Citations

7067 | Probabilistic Reasoning in Intelligence Systems: Networks of Plausible Inference - Pearl - 1988 |

3091 | Fuzzy sets
- Zadeh
- 1965
(Show Context)
Citation Context ...e “creamy”, “dark”, “hot”, “large” and “thick”, for which a clear and precise definition is not possible. 2 The problem to deal with imprecise concepts has been addressed several decades ago by Zadeh =-=[31]-=-, which gave bird in the meanwhile to the so-called fuzzy set and fuzzy logic theory and a huge number of real life applications exists. Unfortunately, despite the popularity of fuzzy set theory, rela... |

1657 | The Semantic Web
- Berners-Lee, Hendler, et al.
- 2001
(Show Context)
Citation Context ... capture the meaning of the most popular features of structured representation of knowledge. Nowadays, DLs have gained even more popularity due to their application in the context of the Semantic Web =-=[4, 15]-=-. Semantic Web has recently attracted much attention both from academia and industry, and is widely regarded as the next step in the evolution of the World Wide Web. It aims at enhancing content on th... |

828 | Fuzzy Sets and Fuzzy Logic Theory and Applications. Upper Saddle River - Klir, Yuan - 1995 |

474 | From SHIQ and RDF to OWL: The making of a web ontology language
- Horrocks, Patel-Schneider, et al.
(Show Context)
Citation Context ... capture the meaning of the most popular features of structured representation of knowledge. Nowadays, DLs have gained even more popularity due to their application in the context of the Semantic Web =-=[4, 15]-=-. Semantic Web has recently attracted much attention both from academia and industry, and is widely regarded as the next step in the evolution of the World Wide Web. It aims at enhancing content on th... |

383 | Metamathematics of Fuzzy Logic - Hájek - 1998 |

373 | system description, in
- Haarslev, Möller, et al.
- 2001
(Show Context)
Citation Context ... K satisfies E. According to [16], the entailment and subsumption problem can be reduced to knowledge base satisfiability problem, for which decision procedures and reasoning tools exists (e.g. RACER =-=[11]-=- and FACT [14]). Example 1. Let us consider the following excerpt of a simple ontology (TBox T ) about cars, with empty RBox (R = ∅): Car ⊑ (= 1 maker) ⊓ (= 1 passanger) ⊓ (= 1 speed) (= 1 maker) ⊑ Ca... |

261 | A Schema for Integrating Concrete Domains into Concept Languages
- Baader, Hanschke
- 1991
(Show Context)
Citation Context ...ical SHOIN (D). We present its syntax and semantics. Interesting features are that concrete domains are fuzzy and entailment and subsumption relationships may hold to some degree in the unit interval =-=[0, 1]-=-. 1 Introduction In the last decade a substantial amount of work has been carried out in the context of Description Logics (DLs) [2]. DLs are a logical reconstruction of the so-called framebased knowl... |

251 | Using an expressive description logic: Fact or fiction
- Horrocks
- 1998
(Show Context)
Citation Context .... According to [16], the entailment and subsumption problem can be reduced to knowledge base satisfiability problem, for which decision procedures and reasoning tools exists (e.g. RACER [11] and FACT =-=[14]-=-). Example 1. Let us consider the following excerpt of a simple ontology (TBox T ) about cars, with empty RBox (R = ∅): Car ⊑ (= 1 maker) ⊓ (= 1 passanger) ⊓ (= 1 speed) (= 1 maker) ⊑ Car ⊤ ⊑ ∀maker.M... |

250 |
Representing and reasoning with probabilistic knowledge
- Bacchus
- 1990
(Show Context)
Citation Context ... YoungPerson = Person ⊓ ∃age.Young (2) will denote a young person. Furthermore, by referring to Example 1, we may define the concept of sports car as the concept SportsCar = Car ⊓ ∃speed.very(High) , =-=(3)-=- where very is a concept modifier and High is a fuzzy concrete predicate over the domain of speed expressed in kilometers per hour and may be defined as High(x) = min(1, 0.004x). Similarly, we may rep... |

186 | Reducing OWL entailment to description logic satisfiability
- Horrocks, Patel-Schneider
(Show Context)
Citation Context ...[15]. Although several XML and RDF syntaxes for OWL-DL exist, in this paper we use the traditional description logic notation. For explicating the relationship between OWL DL and DLs syntax, see e.g. =-=[15, 16]-=-. The purpose of this section is to make the paper selfcontained. More importantly it helps in understanding the differences between classical SHOIN (D) and fuzzy SHOIN (D). The reader confident with ... |

180 | The Tractability of Subsumption in Frame-based Description Languages - Brachman, Levesque - 1984 |

173 | Formal ontology, conceptual analysis and knowledge representation
- Guarino
(Show Context)
Citation Context ...e evolution of the World Wide Web. It aims at enhancing content on the World Wide Web with meta-data, enabling agents (machines or human users) to process, share and interpret Web content. Ontologies =-=[10]-=- play a key role in the Semantic Web and major effort has been put by the Semantic Web community into this issue. Informally, an ontology consists of a hierarchical description of important concepts i... |

168 |
Attributive Concept Descriptions with Complements
- Schmidt-Schauß, Smolka
- 1991
(Show Context)
Citation Context ... not satisfiable . Unfortunately, from a computational point of view, no calculus exists yet checking satisfiability of fuzzy SHOIN (D) knowledge bases. [13, 29] report a calculus for the case of ALC =-=[24]-=- (with concept constructors ⊤, ⊥, ¬, ⊓, ⊔, ∀, ∃) with modifiers and simple TBox, with min, max and →KD connectives. No indication for the BDB problem is given. [25, 26] reports a calculus for ALC and ... |

151 | Reasoning within fuzzy description logics
- Straccia
(Show Context)
Citation Context ...cation operator i. 3.2 Fuzzy SHOIN (D) In this section we give syntax and semantics of fuzzy SHOIN (D), using the fuzzy operators defined in the previous section. We generalize the semantics given in =-=[13, 26, 29]-=-. Syntax. We have seen that SHOIN (D) allows to reason with concrete data types, such as strings and integers using so-called concrete domains. In our fuzzy approach, concrete domains may be based on ... |

145 | NExpTime-complete description logics with concrete domains
- Lutz
- 2004
(Show Context)
Citation Context ...der confident with the SHOIN (D) terminology may skip directly to Section 3. Syntax. SHOIN (D) allows to reason with concrete data types, such as strings and integers using so-called concrete domains =-=[1, 18, 20, 21]-=-. A concrete domain D is a pair 〈∆D, ΦD〉, where ∆D is an interpretation domain and ΦD is the set of concrete domain predicates d with a predefined arity n and an interpretation dD ⊆ ∆n D . For instanc... |

117 | Expressiveness and tractability in knowledge representation and reasoning - Brachman, Levesque - 1987 |

77 |
an d P ra d e, H ., Fuzzy Sets and Systems
- Dubois
- 1980
(Show Context)
Citation Context ...embership of being the individual a a member of the fuzzy set C. In the following, we present first some preliminaries on fuzzy set theory (for a more complete and comprehensive presentation see e.g. =-=[7]-=-) and then define fuzzy SHOIN (D). 3.1 Preliminaries on fuzzy set theory Let X be a countable crisp set and let A be a fuzzy subset of X, with membership function µA(x), or simply A(x) ∈ [0, 1], x ∈ X... |

64 | A description logic for vague knowledge
- Tresp, Molitor
- 1998
(Show Context)
Citation Context ...cation operator i. 3.2 Fuzzy SHOIN (D) In this section we give syntax and semantics of fuzzy SHOIN (D), using the fuzzy operators defined in the previous section. We generalize the semantics given in =-=[13, 26, 29]-=-. Syntax. We have seen that SHOIN (D) allows to reason with concrete data types, such as strings and integers using so-called concrete domains. In our fuzzy approach, concrete domains may be based on ... |

54 | The complexity of reasoning with concrete domains
- Lutz
- 2001
(Show Context)
Citation Context ...der confident with the SHOIN (D) terminology may skip directly to Section 3. Syntax. SHOIN (D) allows to reason with concrete data types, such as strings and integers using so-called concrete domains =-=[1, 18, 20, 21]-=-. A concrete domain D is a pair 〈∆D, ΦD〉, where ∆D is an interpretation domain and ΦD is the set of concrete domain predicates d with a predefined arity n and an interpretation dD ⊆ ∆n D . For instanc... |

54 |
Generalizing Term Subsumption Languages to Fuzzy Logic
- Yen
- 1991
(Show Context)
Citation Context ..., relative little work has been carried out in extending DLs towards the representation of imprecise concepts, notwithstanding DLs can be considered as a quite natural candidate for such an extension =-=[5, 6, 13, 23, 25, 26, 27, 29, 30]-=- (see also [9], Chapter 6). In this paper we consider a fuzzy extension of SHOIN(D), the corresponding DL of the ontology description language OWL DL, and present its syntax and semantics. The main fe... |

51 | A fuzzy description logic
- Straccia
- 1998
(Show Context)
Citation Context ..., relative little work has been carried out in extending DLs towards the representation of imprecise concepts, notwithstanding DLs can be considered as a quite natural candidate for such an extension =-=[5, 6, 13, 23, 25, 26, 27, 29, 30]-=- (see also [9], Chapter 6). In this paper we consider a fuzzy extension of SHOIN(D), the corresponding DL of the ontology description language OWL DL, and present its syntax and semantics. The main fe... |

49 | Uncertainty and Vagueness in Knowledge Based Systems Ů Numerical Methods - Kruse, Schwecke - 1991 |

44 | A model of multimedia information retrieval - Meghini, Sebastiani, et al. |

42 | Transforming fuzzy description logics into classical description logics
- Straccia
- 2004
(Show Context)
Citation Context ...ith min, max and →KD connectives. No indication for the BDB problem is given. [25, 26] reports a calculus for ALC and simple TBox, with min, max and →KD connectives and addresses the BDB problem and, =-=[27]-=- shows how the satisfiability problem and the BDB problem can be reduced to classical ALC and, thus, can be resolved by means of a tools like FACT and RACER. However, despite these negative results, r... |

23 | H.P.: A fuzzy description logic with hedges as concept modifiers
- Hölldobler, Khang, et al.
- 2002
(Show Context)
Citation Context ...cation operator i. 3.2 Fuzzy SHOIN (D) In this section we give syntax and semantics of fuzzy SHOIN (D), using the fuzzy operators defined in the previous section. We generalize the semantics given in =-=[13, 26, 29]-=-. Syntax. We have seen that SHOIN (D) allows to reason with concrete data types, such as strings and integers using so-called concrete domains. In our fuzzy approach, concrete domains may be based on ... |

23 | Generalizing quantification in fuzzy description logics
- Sánchez, Tettamanzi
- 2004
(Show Context)
Citation Context ...to rely on [18]. Another direction is in extending fuzzy SHOIN (D) with fuzzy quantifiers, where the ∀ and ∃ quantifiers are replaced with fuzzy quantifiers like most, some, usually and the like (see =-=[23]-=- for a preliminary work in this direction). This allows to define concepts like TopCustomer = Customer ⊓ (Usually)buys.ExpensiveItem ExpensiveItem = Item ⊓ ∃price.High . Here, the fuzzy quantifier Usu... |

22 | A Treatise on Many-Valued Logics. Research Studies - Gottwald - 2001 |

15 | A tableau algorithm for reasoning about concepts and similarity - Lutz, Wolter, et al. - 2003 |

14 | The Subsumption Problem of the Fuzzy Description Logic ALCF H - Hölldobler, Störr, et al. - 2004 |

13 | A Framework for the Retrieval of Multimedia Objects Based on Four-Valued Fuzzy Description Logics - Straccia - 2000 |

11 | Some complexity results on fuzzy description logics
- Bonatti, Tettamanzi
- 2004
(Show Context)
Citation Context ..., relative little work has been carried out in extending DLs towards the representation of imprecise concepts, notwithstanding DLs can be considered as a quite natural candidate for such an extension =-=[5, 6, 13, 23, 25, 26, 27, 29, 30]-=- (see also [9], Chapter 6). In this paper we consider a fuzzy extension of SHOIN(D), the corresponding DL of the ontology description language OWL DL, and present its syntax and semantics. The main fe... |

8 | Approximate and Commonsense Reasoning: From Theory to Practice - Dubois, Prade - 1996 |

8 |
Fuzzy description logics with concrete domains
- Straccia
- 2005
(Show Context)
Citation Context ...ow the satisfiability problem and the BDB problem can be reduced to classical ALC and, thus, can be resolved by means of a tools like FACT and RACER. However, despite these negative results, recently =-=[28]-=- reports a calculus for ALC(D) whenever the connectives, the modifiers and the concrete fuzzy predicates are representable as a bounded Mixed Integer Program. For instance, Lukasiewicz logic satisfies... |

8 | Making fuzzy description logics more expressive. Fuzzy Sets and Systems - Hájek - 2005 |

6 |
Specification of coordination of rule and ontology languages. Project Deliverable D2.5.1, KnowledgeWeb NoE
- Pan, Franconi, et al.
- 2004
(Show Context)
Citation Context ...out in extending DLs towards the representation of imprecise concepts, notwithstanding DLs can be considered as a quite natural candidate for such an extension [5, 6, 13, 23, 25–27, 29, 30] (see also =-=[9]-=-, Chapter 6). In this paper we consider a fuzzy extension of SHOIN (D), the corresponding DL of the ontology description language OWL DL, and present its syntax and semantics. The main feature of fuzz... |

4 |
Hähnle and Gonzalo Escalada-Imaz, ‘Deduction in many-valued logics: a survey
- Reiner
- 1997
(Show Context)
Citation Context .... ALC with concrete domains and arbitrary t-norm, co-norm, negation and residuum as implication. We are investigating the possibility to use the methods developed in the context of Many-Valued Logics =-=[12]-=-, which seem to particularly well-suited to our context. These procedures have then to be combined with a procedure to deal with fuzzy concrete domains, for which we plan to rely on [18]. Another dire... |

3 | An overview of fuzzy quantifiers (I). Interpretations” and “An overview of fuzzy quantifiers (II). Reasoning and applications - Liu, Kerre - 1998 |

2 |
Marcio Andrade Netto. A system of knowledge representation based on formulae of predicate calculus whose variables are annotated by expressions of a fuzzy terminological logic
- Silva, Pereira
- 1994
(Show Context)
Citation Context |

2 | An overview of fuzzy quantifiers. (II). reasoning and applications. Fuzzy Sets and Systems - Liu, Kerre - 1998 |