Results 11 to 20 of about 2,678,979 (243)
Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics [PDF]
International Journal of Approximate Reasoning, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Giorgos Stoilos +2 more
openaire +4 more sources
Description Logics with Fuzzy Concrete Domains
CoRR, 2005 We present a fuzzy version of description logics with concrete domains. Main features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication; (ii) concrete domains are fuzzy sets; (iii) fuzzy modifiers are allowed; and (iv) the reasoning algorithm is based on a mixture of completion rules and bounded mixed integer ...
Straccia U
core +8 more sources
Fuzzy descriptions logics with fuzzy truth values
, 2009 Fuzzy Description Logics are a family of 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, current fuzzy DLs are open to be extend with several features worked out in the fuzzy logic literature.
Bobillo F, Straccia U
openaire +4 more sources
Reducing Fuzzy Description Logics into Classical Description Logics
, 2004 In this paper we consider Description Logics (DLs), well-known logics for managing structured knowledge, with its fuzzy extension to deal with vague information. While for fuzzy DLs correct and complete ad-hoc reasoning procedures have been given, the topic of this paper is to present a reasoning preserving transformation of fuzzy DLs into classical ...
Straccia U
openaire +2 more sources
Complexity Sources in Fuzzy Description Logic
, 2014 In recent years many Fuzzy Description Logics (FDLs) based on infinite $t$-norms have been proved to be undecidable. On the other hand, several FDLs based on finite $t$-norms, not only have been proved to be decidable, but they have been proved to belong to the same complexity classes as the corresponding crisp DLs. In light of such results, a question
Cerami M, Straccia U
openaire +4 more sources
Equality-friendly well-founded semantics and applications to description logics [PDF]
, 2012 We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and nega- tions in their bodies. In particular, we provide a WFS for the recent Datalog± family of ontology languages,
Lukasiewicz, Thomas +3 more
core +4 more sources
Tailoring temporal description logics for reasoning over temporal conceptual models [PDF]
, 2011 Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal ...
Ryzhikov, Vladislav +8 more
core +1 more source
How Fuzzy Is My Fuzzy Description Logic? [PDF]
, 2012 Fuzzy Description Logics (DLs) with t-norm semantics have been studied as a means for representing and reasoning with vague knowledge. Recent work has shown that even fairly inexpressive fuzzy DLs become undecidable for a wide variety of t-norms. We complement those results by providing a class of t-norms and an expressive fuzzy DL for which ontology ...
Stefan Borgwardt +2 more
openaire +3 more sources
Nilpotent Minimum Fuzzy Description Logics [PDF]
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011), 2011 We dene the fuzzy description logic ALCHNM based on the t-norm of Nilpotent Minimum and we prove its reduction to the crisp description logic ALCH. Hence we prove decidability results for ALCHNM.
GERLA, BRUNELLA, Dalla Rovere M.
openaire +3 more sources
Decidability and Complexity of Fuzzy Description Logics [PDF]
KI - Künstliche Intelligenz, 2016 Fuzzy description logics (FDLs) have been introduced to represent concepts for which membership cannot be determined in a precise way, i.e., where instead of providing a strict border between being a member and not being a member, it is more appropriate to model a gradual change from membership to non-membership.
Baader, F, Borgwardt, S, Peñaloza, R
openaire +2 more sources