Talks and Poster Presentations (with Proceedings-Entry):
U. Keller, S. Heymans:
"Deciding Fuzzy Description Logics by Type Elimination";
Talk: 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW),
Karlsruhe, Germany;
2008-10-26; in: "4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008)",
(2008),
15 pages.
English abstract:
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.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_167778.pdf
Created from the Publication Database of the Vienna University of Technology.