Conference item
Equality−Friendly Well−Founded Semantics and Applications to Description Logics
- Abstract:
-
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 description logics (DLs). To do so, we generalize Datalog by non-stratified nonmonotonic negation in rule bodies, and we define a WFS for this generalization via guarded fixed point logic. We refer to this approach...
Expand abstract
Actions
Authors
Bibliographic Details
- Publisher:
- CEUR−WS.org
- Volume:
- 846
- Host title:
- Proceedings of the 25th International Workshop on Description Logics‚ DL 2012‚ Rome‚ Italy‚ June 7−10‚ 2012
- Publication date:
- 2012-01-01
Item Description
- UUID:
-
uuid:cc4b930b-7cfe-4784-954f-1227ada13e15
- Local pid:
- cs:6324
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2012
If you are the owner of this record, you can report an update to it here: Report update to this record