• My Scientific Outlook

  • My Philosophy of Teaching

  • LinkedIn site: http://www.linkedin.com/in/hak2007

  • Detailed CV

  • My ResearchGate page

  • My Google Scholar page

  • Self-introduction to the W3C RIF WG

  • The essence of LIFE for the Semantic Web—a short paper (8 pages) written as a self-contained non-technical overview putting OSF-constraint logic (and thus LIFE) in the context of the Semantic Web.

  • Data models as constraint systems—A key to the Semantic Web

  • Keynote speaker at WI-IAT 2011: (1)--talk abstract (2)--presentation slides

  • DL vs. OSF—a short (6 mins) video explaining the gist of of how Description Logic reasoning and Order-Sorted Feature constraint processing relate. This is a commented animation of my presentation at the 2007 International Workshop on Description Logics (DL2007) in Brixen-Bressanone, Italy, 8–10 June, 2007.

  • An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations—tutorial slides of my ILPS'93 invited talk.

  • LIFE Su Doku—An interesting–and entertaining–illustration of how LIFE's added declarativeness enables constraint-activated daemons to keep a tight control on solution searching by detecting any violation at the earliest possible time, thus automatically yielding a surprisingly focused solving strategy.