Ontologies and Logics

I have been working in various forms of knowledge representation and reasoning all of my career.  My sentaments are captured well by the quote that I have placed in the footer of my site:

The power of the unaided mind is highly overrated. Without external aids, memory, thought, and reasoning are all constrained. But human intelligence is highly flexible and adaptive, superb at inventing procedures and objects that overcome its own limits. The real powers come from devising external aids that enhance cognitive abilities. How have we increased memory, thought, and reasoning? By the inventions of external aids: It is things that make us smart.

-- Donald Norman, Things that make us smart

In this notebook I am placing discussions of some technologies that I find exciting that I have worked on. Some are:

  • Polyontology - aligning multiple ontologies for related but distinct audiences (such as pre-clinical vs. clinical safety scientists researching drugs under development)
     
  • Description Logics, OWL, etc.
     
  • Feature Logics
     
  • Logic Programming