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 Variants and Feature Matrix – Summary

Feature

Core

DL

Flight

Rule

Full

Classical Negation (neg)

-

X

-

-

X

Existential Quantication

-

X

-

-

X

  • (Head) Disjunction

-

X

-

-

X

  • n-ary relations

-

-

X

X

X

  • Meta Modeling

-

-

X

X

X

  • Default Negation (naf)

-

-

X

X

X
  • LP implication

-

-

X

X

X

  • Integrity Constraints

-

-

X

X

X
  • Function Symbols

-

-

-

X

X

  • Unsafe Rules

-

-

-

X

X


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.