Equality−Friendly Well−Founded Semantics and Applications to Description Logics
<p>We tackle the problem of defining a well-founded semantics for Datalog rules with existentially quantified variables in their heads and negations in their bodies. In particular, we provide a well-founded semantics (WFS) for the recent Datalog+/- family of ontology languages, which covers se...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
AAAI Press
2012
|