a b s t r a c tClassical ontologies are not suitable to represent vague pieces of information, which has lead to the birth of Fuzzy Description Logics as an appropriate formalism to represent this type of knowledge. Different families of fuzzy operators lead to Fuzzy Description Logics with different properties. This paper studies Fuzzy Description Logics under a semantics given by the Gödel family of fuzzy operators. We investigate some logical properties and show the decidability of a fuzzy extension of the logic SROIQ, theoretical basis of the language OWL 1.1, by providing a reasoning preserving procedure to obtain a crisp representation for it. Additionally, we show how to represent some types of concept and role modifiers.
The energy consumption of residential and commercial buildings has risen steadily in recent years, an increase largely due to their HVAC systems. Expected energy loads, transportation, and storage as well as user behavior influence the quantity and quality of the energy consumed daily in buildings. However, technology is now available that can accurately monitor, collect, and store the huge amount of data involved in this process. Furthermore, this technology is capable of analyzing and exploiting such data in meaningful ways. Not surprisingly, the use of data science techniques to increase energy efficiency is currently attracting a great deal of attention and interest. This paper reviews how Data Science has been applied to address the most difficult problems faced by practitioners in the field of Energy Management, especially in the building sector. The work also discusses the challenges and opportunities that will arise with the advent of fully connected devices and new computational technologies.
Ontologies have succeeded as a knowledge representation formalism in many domains of application. Nevertheless, they are not suitable to represent vague or imprecise information. To overcome this limitation, several extensions to classical ontologies based on fuzzy logic have been proposed. Even though different fuzzy logics lead to fuzzy ontologies with very different logical properties, the combined use of different fuzzy logics has received little attention to date. This paper proposes a fuzzy extension of the Description Logic [Formula: see text] — the logic behind the ontology language OWL 2 — that joins Gödel and Zadeh fuzzy logics. We analyze the properties of the new fuzzy Description Logic in order to provide guidelines to ontology developers to exploit the best features of each fuzzy logic. The proposal also considers degrees of truth belonging to a finite set of linguistic terms rather than numerical values, thus being closer to real experts' reasonings. We prove the decidability of the combined logic by presenting a reasoning preserving procedure to obtain a crisp representation for it. This result is generalized to offer a similar reduction that can be applied when any other finite t -norms, t -conorms, negations or implications are considered in the logic.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.