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.


  • WSML-Core is based on the Logic Programming subset of Description Logics 
  • WSML-Core allows only a restricted form of logical expressions; there are two sources for these restrictions
    • The restriction of the language to a subset of Description Logics restricts the kind of formulas which can be written down to the two-variable fragment of first-order logic . Furthermore, it disallows the use of function symbols and restricts the arity of predicates to unary and binary and chaining variables over predicates
    • The restriction of the language to a subset of Datalog (without equality) disallows the use of the equality symbol , disjunction in the head of a rule and existentially quantified variables in the head of the rule

Speaker notes:

Content Tools


There are currently no sources for this slide.