Untrennbarkeit und konservative Erweiterungen von Beschreibungslogikontologien: Eine Umfrage