DLV
Registry record
- CopyrightID
-
0xe02b6371c540840333d7f3c03707e68167492334ee948c2feea4dadd3f5a7d66
- EvidenceClass
-
chain-registered
- EvidenceClassStatement
-
This record has a CopyrightID on CopyrightChains and no confirmed Bitcoin attestation that verifies against this record, so no OTS fields are served. Verification establishes record integrity only. It says nothing about who made the work, who holds rights in it, or when it was made.
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.
Similar Artists