Disjunctive Datalog
id:
disjunctive-datalog-318-3499075
title:
Disjunctive Datalog
text:
Disjunctive Datalog is an extension of the logic programming language Datalog that allows disjunctions in the heads of rules. This extension enables disjunctive Datalog to express several NP-hard problems that are not known to be expressable in plain Datalog. Disjunctive Datalog has been applied in the context of reasoning about ontologies in the semantic web. DLV is an implementation of disjunctive Datalog.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Disjunctive_Datalog
date created:
date modified:
2024-04-21T04:32:20Z
main entity:
{"identifier":"Q117190582","url":"https://www.wikidata.org/entity/Q117190582"}
image:
fields total:
13
integrity:
13