LATPub493: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 20: | Zeile 20: | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=Ontology consistency has been shown to be undecidable for a wide variety of fairly inexpressive fuzzy | |Abstract=Ontology consistency has been shown to be undecidable for a wide variety of fairly inexpressive fuzzy Description Logics (DLs). In particular, for any t-norm "starting with" the Lukasiewicz t-norm, consistency of crisp ontologies (w.r.t. witnessed models) is undecidable in any fuzzy DL with conjunction, existential restrictions, and (residual) negation. In this paper we show that for any t-norm with Gödel negation, that is, any t-norm not starting with Lukasiewicz, ontology consistency for a variant of fuzzy SHOI is linearly reducible to crisp reasoning, and hence decidable in exponential time. Our results hold even if reasoning is not restricted to the class of witnessed models only. | ||
Description Logics (DLs). In particular, for any t-norm "starting with" the Lukasiewicz t-norm, | |||
consistency of crisp ontologies (w.r.t. witnessed models) is undecidable in any fuzzy DL with conjunction, | |||
existential restrictions, and (residual) negation. In this paper we show that for any t-norm with Gödel | |||
negation, that is, any t-norm not starting with Lukasiewicz, ontology consistency for a variant of | |||
fuzzy SHOI is linearly reducible to crisp reasoning, and hence decidable in exponential time. Our | |||
results hold even if reasoning is not restricted to the class of witnessed models only. | |||
|ISBN= | |ISBN= | ||
|ISSN= | |ISSN= | ||
| Zeile 48: | Zeile 40: | ||
year = {2012}, | year = {2012}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:24 Uhr
Gödel Negation Makes Unwitnessed Consistency Crisp
Stefan BorgwardtStefan Borgwardt, Felix DistelFelix Distel, Rafael PeñalozaRafael Peñaloza
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Gödel Negation Makes Unwitnessed Consistency Crisp
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, 103-113, 2012
Gödel Negation Makes Unwitnessed Consistency Crisp
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, 103-113, 2012
- KurzfassungAbstract
Ontology consistency has been shown to be undecidable for a wide variety of fairly inexpressive fuzzy Description Logics (DLs). In particular, for any t-norm "starting with" the Lukasiewicz t-norm, consistency of crisp ontologies (w.r.t. witnessed models) is undecidable in any fuzzy DL with conjunction, existential restrictions, and (residual) negation. In this paper we show that for any t-norm with Gödel negation, that is, any t-norm not starting with Lukasiewicz, ontology consistency for a variant of fuzzy SHOI is linearly reducible to crisp reasoning, and hence decidable in exponential time. Our results hold even if reasoning is not restricted to the class of witnessed models only. - Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BoDP-DL12,
address = {Rome, Italy},
author = {Stefan {Borgwardt} and Felix {Distel} 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 = {103--113},
series = {CEUR-WS},
title = {{G{\"o}}del Negation Makes Unwitnessed Consistency Crisp},
volume = {846},
year = {2012},
}
