About: Horn clause

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal

Property Value
dbo:description
  • Bestandteil der Prädikatenlogik (de)
  • clause comportant au plus un littéral positif (fr)
  • disgiunzione di letterali in cui al massimo uno dei letterali è positivo (it)
  • disjunkcio de negacio(j) de atomo(j) kaj nul aŭ unu (neneita) atomo (eo)
  • clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal (en)
  • cláusula (disyunción de literales) con, como máximo, un literal positivo (es)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Horn clause (en)
  • Clàusula de Horn (ca)
  • Hornova klauzule (cs)
  • Horn-Formel (de)
  • Cláusula de Horn (es)
  • Clause de Horn (fr)
  • Clausola di Horn (it)
  • ホーン節 (ja)
  • Klauzula Horna (pl)
  • Horn-clausule (nl)
  • Cláusula de Horn (pt)
  • Диз'юнкт Горна (uk)
  • Хорновский дизъюнкт (ru)
  • 霍恩子句 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International