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...
| Auteurs principaux: | , , , |
|---|---|
| Format: | Conference item |
| Publié: |
CEUR−WS.org
2012
|
Search Result 1
Equality−Friendly Well−Founded Semantics and Applications to Description Logics
Publié 2012
Conference item