Show simple item record

dc.contributor.authorBorgwardt S
dc.contributor.authorCerami M
dc.contributor.authorPeñaloza R
dc.contributor.editorArtale A
dc.contributor.editorGlimm B
dc.contributor.editorKontchakov R
dc.date.accessioned2018-05-04T08:57:45Z
dc.date.available2018-05-04T08:57:45Z
dc.date.issued2017
dc.identifier.issn1613-0073
dc.identifier.urihttp://ceur-ws.org/Vol-1879/paper27.pdf
dc.identifier.urihttp://hdl.handle.net/10863/4520
dc.description.abstractFuzzy Description Logics have been proposed as formalisms for representing and reasoning about imprecise knowledge by introducing intermediate truth degrees. Unfortunately, it has been shown that reasoning in these logics easily becomes undecidable, when infinitely many truth degrees are considered and conjunction is not idempotent. In this paper, we take those results to the extreme, and show that subsumption in fuzzy EL under Lukasiewicz semantics is undecidable. This provides the first instance of a Horn-style logic with polynomial-time reasoning whose fuzzy extension becomes undecidable.en_US
dc.language.isoenen_US
dc.publisherCEUR-WS.orgen_US
dc.relation.ispartofseriesCEUR Workshop Proceedings;
dc.rights
dc.titleLukasiewicz fuzzy EL is undecidableen_US
dc.typeBook chapteren_US
dc.date.updated2017-11-04T09:31:44Z
dc.publication.titleProceedings of the 30th International Workshop on Description Logics
dc.language.isiEN-GB
dc.description.fulltextopenen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record