Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.


  • Due to its theoretical properties (decidability & complexity) First-Order Logic is not always an ideal solution
  • This motivates research towards formalisms with more practically oriented computitional properties and expressivity
    • Description Logics
      • Syntactic fragments of FOL
      • Focus on decidability and optimized algorithms key reasoning tasks (terminological reasoning / schema reasoning)
    • Logic Programming
      • Provides different expressivity than classical FOL (non-monotonic reasoning with non-classical negation)
      • Provides a very intuitive way to model knowledge
      • Efficient reasoning procedures for large data-sets

Speaker notes:

Content Tools


There are currently no sources for this slide.