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