A Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems

Adrian Paschke A Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems http://arxiv.org/abs/cs/0610006 2006 CoRR abs/cs/0610006 db/journals/corr/corr0610.html#abs-cs-0610006 informal publication