Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in

Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis

Browse the full LATA paper archive.