LATPub490: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| (2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 6: | Zeile 6: | ||
{{Inproceedings | {{Inproceedings | ||
|Referiert=1 | |Referiert=1 | ||
|Title=Non- | |Title=Non-Gödel Negation Makes Unwitnessed Consistency Undecidable | ||
|Year=2012 | |Year=2012 | ||
|Month= | |Month= | ||
|Booktitle=Proceedings of the 2012 International Workshop on Description Logics ( | |Booktitle=Proceedings of the 2012 International Workshop on Description Logics (DL'12) | ||
|Editor=Yevgeny | |Editor=Yevgeny Kazakov and Domenico Lembo and Frank Wolter | ||
|Note= | |Note= | ||
|Organization= | |Organization= | ||
|Pages=411 | |Pages=411-421 | ||
|Publisher= | |Publisher= | ||
|Series=CEUR-WS | |Series=CEUR-WS | ||
| Zeile 20: | Zeile 20: | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=Recent results show that ontology consistency is undecidable for a wide variety of fuzzy Description | |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. | ||
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= | |ISBN= | ||
|ISSN= | |ISSN= | ||
| Zeile 47: | Zeile 40: | ||
year = {2012}, | year = {2012}, | ||
} | } | ||
}} | }} | ||
Aktuelle Version vom 25. März 2015, 15:34 Uhr
{{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},
} }}
