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

Add code button

Human or AI?

Log in/sign up for free to see all code implementations