Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/DLV> ?p ?o }
Showing triples 1 to 37 of
37
with 100 triples per page.
- DLV abstract "The DLV (DataLog with Disjunction, whereas the logical disjunction symbol V is used) system is a disjunctive logic programming system, implementing the stable model semantics under the Answer set programming paradigm. It extends the datalog language to allow the use of OR in rules. The tutorial page gives a simple example modeling some laughing when told a joke.joke.laugh :- joke.The following would represent the case where a joke was not told.laugh :- joke.Since the value of joke is not indicated as true in the second program it is assumed to be false.".
- DLV wikiPageExternalLink DLV_User_Manual.html.
- DLV wikiPageExternalLink The_DLV_Tutorial.html.
- DLV wikiPageID "1209287".
- DLV wikiPageLength "911".
- DLV wikiPageOutDegree "7".
- DLV wikiPageRevisionID "662134881".
- DLV wikiPageWikiLink Answer_set_programming.
- DLV wikiPageWikiLink Category:Logic_programming_languages.
- DLV wikiPageWikiLink Category:Query_languages.
- DLV wikiPageWikiLink Datalog.
- DLV wikiPageWikiLink Logic_programming.
- DLV wikiPageWikiLink Logical_disjunction.
- DLV wikiPageWikiLink Stable_model_semantics.
- DLV wikiPageWikiLinkText "DLV".
- DLV wikiPageUsesTemplate Template:Compu-lang-stub.
- DLV wikiPageUsesTemplate Template:One_source.
- DLV wikiPageUsesTemplate Template:Other_uses.
- DLV subject Category:Logic_programming_languages.
- DLV subject Category:Query_languages.
- DLV hypernym System.
- DLV type Language.
- DLV type ProgrammingLanguage.
- DLV type Language.
- DLV type Redirect.
- DLV type Language.
- DLV type Thing.
- DLV type Q315.
- DLV type Q34770.
- DLV type Q9143.
- DLV comment "The DLV (DataLog with Disjunction, whereas the logical disjunction symbol V is used) system is a disjunctive logic programming system, implementing the stable model semantics under the Answer set programming paradigm. It extends the datalog language to allow the use of OR in rules.".
- DLV label "DLV".
- DLV sameAs Q5205570.
- DLV sameAs m.04hg4d.
- DLV sameAs Q5205570.
- DLV wasDerivedFrom DLV?oldid=662134881.
- DLV isPrimaryTopicOf DLV.