Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
U. Keller, S. Heymans:
"Deciding Fuzzy Description Logics by Type Elimination";
Vortrag: 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW),
Karlsruhe, Germany;
26.10.2008; in: "4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008)",
(2008),
15 S.
Kurzfassung englisch:
We present a novel procedure FixIt(ALC) for deciding knowledge
base satisfiability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC)
does not search for tree-structured models as in tableau-based proof procedures,
but embodies a fixpoint-computation of canonical models that are not necessar-
ily tree-structured. Conceptually, the procedure is based on a type-elimination
process. Soundness, completeness and termination are proven. To the best of our
knowledge it is the first fixpoint-based decision procedure for FDLs, hence intro-
ducing a new class of inference procedures into FDL reasoning.
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_167778.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.