A Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems Proceedings of the OWL and Experience Workshop http://adsabs.harvard.edu/abs/2006cs.......10006P Paschke Adrian USA New York ACM Press