Adrian Paschke. A Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems. In Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, Evan Wallace, editors, Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006. Volume 216 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]
Abstract is missing.