Reasoning with very expressive fuzzy description logics

Stoilos, G; Starnou, G; Pan, JZ; Tzouvaras, V; Horrocks, I

dc.contributor.author	Stoilos, G	en
dc.contributor.author	Starnou, G	en
dc.contributor.author	Pan, JZ	en
dc.contributor.author	Tzouvaras, V	en
dc.contributor.author	Horrocks, I	en
dc.date.accessioned	2014-03-01T01:26:58Z
dc.date.available	2014-03-01T01:26:58Z
dc.date.issued	2007	en
dc.identifier.issn	1076-9757	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/18313
dc.subject	Decision Procedure	en
dc.subject	Description Logic	en
dc.subject	Fuzzy Description Logic	en
dc.subject	High Performance	en
dc.subject	Knowledge Base	en
dc.subject	Knowledge Representation	en
dc.subject	Satisfiability	en
dc.subject.classification	Computer Science, Artificial Intelligence	en
dc.subject.other	Computer programming languages	en
dc.subject.other	Fuzzy logic	en
dc.subject.other	Intelligent systems	en
dc.subject.other	Knowledge based systems	en
dc.subject.other	Knowledge representation	en
dc.subject.other	Fuzzy description logics	en
dc.subject.other	Knowledge representation languages	en
dc.subject.other	Transitive role axioms	en
dc.subject.other	Case based reasoning	en
dc.title	Reasoning with very expressive fuzzy description logics	en
heal.type	journalArticle	en
heal.identifier.primary	10.1613/jair.2279	en
heal.identifier.secondary	http://dx.doi.org/10.1613/jair.2279	en
heal.language	English	en
heal.publicationDate	2007	en
heal.abstract	It is widely recognized today that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are a family of knowledge representation languages that have gained considerable attention the last decade, mainly due to their decidability and the existence of empirically high performance of reasoning algorithms. In this paper, we extend the well known fuzzy ACC DL to the fuzzy SHIN DL, which extends the fuzzy ALC DL with transitive role axioms (S), inverse roles (I), role hierarchies (H) and number restrictions (N). We illustrate why transitive role axioms are difficult to handle in the presence of fuzzy interpretations and how to handle them properly. Then we extend these results by adding role hierarchies and finally number restrictions. The main contributions of the paper are the decidability proof of the fuzzy DL languages fuzzy-SI and fuzzy-SHIN, as well as decision procedures for the knowledge base satisfiability problem of the fuzzy-SI and fuzzy-SHIN. © 2007 AI Access Foundation. All rights reserved.	en
heal.publisher	AI ACCESS FOUNDATION	en
heal.journalName	Journal of Artificial Intelligence Research	en
dc.identifier.doi	10.1613/jair.2279	en
dc.identifier.isi	ISI:000250598100003	en
dc.identifier.volume	30	en
dc.identifier.spage	273	en
dc.identifier.epage	320	en