LATPub472: 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 9: | Zeile 9: | ||
|Year=2011 | |Year=2011 | ||
|Month= | |Month= | ||
|Booktitle=Proceedings of 2011 IEEE International Conference on Fuzzy Systems ( | |Booktitle=Proceedings of 2011 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2011) | ||
|Editor= | |Editor= | ||
|Note= | |Note= | ||
|Organization= | |Organization= | ||
|Pages=1735 | |Pages=1735-1742 | ||
|Publisher=IEEE Press | |Publisher=IEEE Press | ||
|Series= | |Series= | ||
| Zeile 20: | Zeile 20: | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=This paper concentrates on a fuzzy Description Logic with product t-norm and involutive negation. | |Abstract=This paper concentrates on a fuzzy Description Logic with product t-norm and involutive negation. It does not answer the question posed in its title for this logic, but it gives strong indications that the answer might in fact be "no." On the one hand, it shows that an algorithm that was claimed to answer the question affirmatively for this logic is actually incorrect. On the other hand, it proves undecidability of a variant of this logic. | ||
It does not answer the question posed in its title for this logic, but it gives strong | |||
indications that the answer might in fact be "no." On the one hand, it shows | |||
that an algorithm that was claimed to answer the question affirmatively for this logic is actually | |||
incorrect. On the other hand, it proves undecidability of a variant of this logic. | |||
|ISBN= | |ISBN= | ||
|ISSN= | |ISSN= | ||
| Zeile 42: | Zeile 37: | ||
year = {2011}, | year = {2011}, | ||
} | } | ||
}} | }} | ||
Aktuelle Version vom 25. März 2015, 16:34 Uhr
Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?
Franz BaaderFranz Baader, Rafael PeñalozaRafael Peñaloza
Franz Baader, Rafael Peñaloza
Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?
Proceedings of 2011 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2011), 1735-1742, 2011. IEEE Press
Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?
Proceedings of 2011 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2011), 1735-1742, 2011. IEEE Press
- KurzfassungAbstract
This paper concentrates on a fuzzy Description Logic with product t-norm and involutive negation. It does not answer the question posed in its title for this logic, but it gives strong indications that the answer might in fact be "no." On the one hand, it shows that an algorithm that was claimed to answer the question affirmatively for this logic is actually incorrect. On the other hand, it proves undecidability of a variant of this logic. - Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BaPe-FuzzIEEE11,
author = {Franz {Baader} and Rafael {Pe{\~n}aloza}},
booktitle = {Proceedings of 2011 IEEE International Conference on Fuzzy Systems ({Fuzz-IEEE 2011})},
pages = {1735--1742},
publisher = {IEEE Press},
title = {Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?},
year = {2011},
}
