Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

{{Publikation Details |Abstract=Recent results show that ontology consistency is undecidable for a wide variety of fuzzy Description Logics (DLs). Most notably, undecidability arises for a family of inexpressive fuzzy DLs using only conjunction, existential restrictions, and residual negation, even if the ontology itself is crisp. All those results depend on restricting reasoning to witnessed models. In this paper, we show that ontology consistency for inexpressive fuzzy DLs using any t-norm starting with the Łukasiewicz t-norm is also undecidable w.r.t. general models. |ISBN= |ISSN= |Link= |Download=BoPe-DL12.pdf |Slides= |DOI Name= |Projekt= |Forschungsgruppe=Automatentheorie |BibTex=@inproceedings{ BoPe-DL12,

 address = {Rome, Italy},
 author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza} },
 booktitle = {Proceedings of the 2012 International Workshop on Description Logics ({DL'12})},
 editor = {Yevgeny {Kazakov} and Domenico {Lembo} and Frank {Wolter} },
 pages = {411--421},
 series = {CEUR-WS},
 title = {Non-{G{\"o} }del Negation Makes Unwitnessed Consistency Undecidable},
 volume = {846},
 year = {2012},

} }}