Conference item icon

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


Access Document


Files:

Authors


Publisher:
CEUR−WS.org
Volume:
846
Publication date:
2012-01-01
URN:
uuid:cc4b930b-7cfe-4784-954f-1227ada13e15
Local pid:
cs:6324

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP