f-DLPs: Extending description logic programs with fuzzy sets and fuzzy logic

Venetis, T; Stoilos, G; Stamou, G; Kollias, S

dc.contributor.author	Venetis, T	en
dc.contributor.author	Stoilos, G	en
dc.contributor.author	Stamou, G	en
dc.contributor.author	Kollias, S	en
dc.date.accessioned	2014-03-01T02:44:37Z
dc.date.available	2014-03-01T02:44:37Z
dc.date.issued	2007	en
dc.identifier.issn	10987584	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/31912
dc.subject	Description Logic	en
dc.subject	Fuzzy Logic	en
dc.subject	Fuzzy Set	en
dc.subject	Logic Programs	en
dc.subject	Semantic Web	en
dc.subject.other	Computer programming	en
dc.subject.other	Conformal mapping	en
dc.subject.other	Data description	en
dc.subject.other	Fuzzy inference	en
dc.subject.other	Fuzzy sets	en
dc.subject.other	Fuzzy systems	en
dc.subject.other	Information theory	en
dc.subject.other	Laws and legislation	en
dc.subject.other	Logic programming	en
dc.subject.other	Ontology	en
dc.subject.other	Semantic Web	en
dc.subject.other	Semantics	en
dc.subject.other	Set theory	en
dc.subject.other	Description logic	en
dc.subject.other	Description logics	en
dc.subject.other	Fuzzy logics	en
dc.subject.other	International conferences	en
dc.subject.other	Real-life applications	en
dc.subject.other	Fuzzy logic	en
dc.title	f-DLPs: Extending description logic programs with fuzzy sets and fuzzy logic	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1109/FUZZY.2007.4295599	en
heal.identifier.secondary	http://dx.doi.org/10.1109/FUZZY.2007.4295599	en
heal.identifier.secondary	4295599	en
heal.publicationDate	2007	en
heal.abstract	The Semantic Web can be viewed as largely about ""Knowledge meets the Web"". Thus its vision includes ontologies and rules. A key requirement for the architecture of the Semantic Web is to be able to layer ""rules on top of ontologies"" and ""ontologies on top of rules"". This has as a counterpart the definition of a mapping between Description Logics and Logic Programming, which is known as Description Logic Programs. In this paper we extend the Description Logic Programs with fuzzy sets and fuzzy logic in order to be able to represent the imprecision and vagueness of real-life applications. We provide the common semantics of the mapping, and the conditions that must be met for this semantic equivalence, based on the modeltheoretic semantics. © 2007 IEEE.	en
heal.journalName	IEEE International Conference on Fuzzy Systems	en
dc.identifier.doi	10.1109/FUZZY.2007.4295599	en