Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/DLV> ?p ?o }
Showing triples 1 to 39 of
39
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 hasPhotoCollection 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 Software.
- DLV type Work.
- DLV type Language.
- DLV type CreativeWork.
- DLV type Thing.
- DLV type Q386724.
- DLV type Q7397.
- 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 m.04hg4d.
- DLV sameAs Q5205570.
- DLV sameAs Q5205570.
- DLV wasDerivedFrom DLV?oldid=662134881.
- DLV isPrimaryTopicOf DLV.