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.
Restrictions
- 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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.