Expressive reasoning with horn rules and fuzzy description logics

Mailis, T; Stoilos, G; Stamou, G

dc.contributor.author	Mailis, T	en
dc.contributor.author	Stoilos, G	en
dc.contributor.author	Stamou, G	en
dc.date.accessioned	2014-03-01T01:33:29Z
dc.date.available	2014-03-01T01:33:29Z
dc.date.issued	2010	en
dc.identifier.issn	0219-1377	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/20442
dc.subject	Conjunctive queries	en
dc.subject	Existential entailment	en
dc.subject	Fuzzy CARIN	en
dc.subject	Fuzzy description logics	en
dc.subject	Horn rules	en
dc.subject.classification	Computer Science, Artificial Intelligence	en
dc.subject.classification	Computer Science, Information Systems	en
dc.title	Expressive reasoning with horn rules and fuzzy description logics	en
heal.type	journalArticle	en
heal.identifier.primary	10.1007/s10115-010-0304-1	en
heal.identifier.secondary	http://dx.doi.org/10.1007/s10115-010-0304-1	en
heal.language	English	en
heal.publicationDate	2010	en
heal.abstract	In this paper, we describe fuzzy CARIN, a knowledge representation language combining fuzzy Description Logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy logic into the non-recursive CARIN language. We introduce the decision problems of answering to conjunctive queries, unions of conjunctive queries and the existential entailment problem and provide a sound and complete algorithm that permits reasoning with the DL fuzzy ALCNR extended with non-recursive Horn rules. This extension is most useful in realistic applications that handle uncertain or imprecise data such as multimedia processing and medical applications. © 2010 Springer-Verlag London Limited.	en
heal.publisher	SPRINGER LONDON LTD	en
heal.journalName	Knowledge and Information Systems	en
dc.identifier.doi	10.1007/s10115-010-0304-1	en
dc.identifier.isi	ISI:000282514300006	en
dc.identifier.volume	25	en
dc.identifier.issue	1	en
dc.identifier.spage	105	en
dc.identifier.epage	136	en