Fuzzy extensions of OWL: Logical properties and reduction to Fuzzy Description Logics

Stoilos, G; Stamou, G; Pan, JZ

dc.contributor.author	Stoilos, G	en
dc.contributor.author	Stamou, G	en
dc.contributor.author	Pan, JZ	en
dc.date.accessioned	2014-03-01T01:33:31Z
dc.date.available	2014-03-01T01:33:31Z
dc.date.issued	2010	en
dc.identifier.issn	0888-613X	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/20459
dc.subject	Fuzzy OWL	en
dc.subject	Fuzzy Description Logics	en
dc.subject	Reduction of f-OWL	en
dc.subject	Syntactic sugar axioms	en
dc.subject	Reduction of f-nominals	en
dc.subject.classification	Computer Science, Artificial Intelligence	en
dc.subject.other	SEMANTIC WEB	en
dc.title	Fuzzy extensions of OWL: Logical properties and reduction to Fuzzy Description Logics	en
heal.type	journalArticle	en
heal.identifier.primary	10.1016/j.ijar.2010.01.005	en
heal.identifier.secondary	http://dx.doi.org/10.1016/j.ijar.2010.01.005	en
heal.language	English	en
heal.publicationDate	2010	en
heal.abstract	The Semantic Web is an extension of the current web, where information would have precisely defined meaning, based on knowledge representation languages. The current W3C standard for representing knowledge is the Web Ontology Language (OWL). OWL is based on Description Logics which is a popular knowledge representation formalism. Although, DLs are quire expressive they feature limitations with respect to what can be said about vague knowledge, which appears in several applications. Consequently, fuzzy extensions to OWL and DLs have gained considerable attention. In the current paper we study fuzzy extensions of the Semantic Web language OWL. First, we present the (abstract) syntax and semantics of a rather elementary fuzzy extension of OWL creating fuzzy OWL (f-OWL). More importantly we use this extension to provide an investigation on the semantics of several f-OWL axioms and more precisely for those which, in classical DLs, can be expressed in different but equivalent ways. Moreover, we present a translation method which reduces inference problems off-OWL into inference problems of expressive fuzzy Description Logics, in order to provide reasoning support through fuzzy DLs. Finally, we present two further fuzzy extensions of OWL based on fuzzy subsumption and fuzzy nominals. (C) 2010 Elsevier Inc. All rights reserved.	en
heal.publisher	ELSEVIER SCIENCE INC	en
heal.journalName	INTERNATIONAL JOURNAL OF APPROXIMATE REASONING	en
dc.identifier.doi	10.1016/j.ijar.2010.01.005	en
dc.identifier.isi	ISI:000279207100003	en
dc.identifier.volume	51	en
dc.identifier.issue	6	en
dc.identifier.spage	656	en
dc.identifier.epage	679	en