"Integrating Description Logics and Action Formalisms: First Results."

Franz Baader et al. (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics