Logic form (original) (raw)

About DBpedia

Logic forms are simple, first-order logic knowledge representations of natural language sentences formed by the conjunction of concept predicates related through shared arguments. Each noun, verb, adjective, adverb, pronoun, preposition and conjunction generates a predicate. Logic forms can be decorated with word senses to disambiguate the semantics of the word. There are two types of predicates: events are marked with e, and entities are marked with x. The shared arguments connect the subjects and objects of verbs and prepositions together. Example input/output might look like this:

Property Value
dbo:abstract Logic forms are simple, first-order logic knowledge representations of natural language sentences formed by the conjunction of concept predicates related through shared arguments. Each noun, verb, adjective, adverb, pronoun, preposition and conjunction generates a predicate. Logic forms can be decorated with word senses to disambiguate the semantics of the word. There are two types of predicates: events are marked with e, and entities are marked with x. The shared arguments connect the subjects and objects of verbs and prepositions together. Example input/output might look like this: Input: The Earth provides the food we eat every day.Output: Earth:n_#1(x1) provide:v_#2(e1, x1, x2) food:n_#1(x2) we(x3) eat:v_#1(e2, x3, x2; x4) day:n_#1(x4) Logic forms are used in some natural language processing techniques, such as question answering, as well as in inference both for database systems and QA systems. (en) Una forma logica è una rappresentazione in logica del prim'ordine di una frase in lingua naturale. Tale rappresentazione è costituita dalla congiunzione logica di predicati concettuali correlati da argomenti comuni. Nomi, verbi, aggettivi, avverbi, pronomi, preposizioni e congiunzioni in una frase danno luogo a un predicato. Le forme logiche possono essere "decorate" con significati per disambiguare la semantica delle parole. Un esempio di forma logica è il seguente: Frase in lingua naturale: Luigi mangia la minestra.Forma logica corrispondente: Luigi:n_#1(x1) mangia:v_#2(e1, x1, x2) minestra:n_#1(x2) Le forme logiche sono utilizzate da tecniche di elaborazione del linguaggio naturale quali il question answering, l'inferenza, ecc. (it)
dbo:wikiPageExternalLink http://engr.smu.edu/~vasile/acl2001.ps http://www.engr.smu.edu/~vasile/rus02.PhDThesis.ps https://web.archive.org/web/20051103065652/http:/acl.ldc.upenn.edu/acl2004/senseval/pdf/rus.pdf https://web.archive.org/web/20060913123640/http:/engr.smu.edu/~vasile/acl2001.ps http://acl.ldc.upenn.edu/acl2004/senseval/pdf/rus.pdf
dbo:wikiPageID 1936537 (xsd:integer)
dbo:wikiPageLength 3120 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1017447302 (xsd:integer)
dbo:wikiPageWikiLink dbr:Question_answering dbr:Natural_language_processing dbr:Inference dbr:Database dbr:First-order_logic dbr:Knowledge_representation dbc:Computational_linguistics dbc:Knowledge_representation dbc:Natural_language_processing dbr:Word_sense_disambiguation dbr:Word_sense dbr:Natural_language
dbp:wikiPageUsesTemplate dbt:Cite_book dbt:Cite_conference dbt:Cite_journal dbt:Comp-ling-stub
dcterms:subject dbc:Computational_linguistics dbc:Knowledge_representation dbc:Natural_language_processing
gold:hypernym dbr:Representations
rdf:type dbo:Colour
rdfs:comment Logic forms are simple, first-order logic knowledge representations of natural language sentences formed by the conjunction of concept predicates related through shared arguments. Each noun, verb, adjective, adverb, pronoun, preposition and conjunction generates a predicate. Logic forms can be decorated with word senses to disambiguate the semantics of the word. There are two types of predicates: events are marked with e, and entities are marked with x. The shared arguments connect the subjects and objects of verbs and prepositions together. Example input/output might look like this: (en) Una forma logica è una rappresentazione in logica del prim'ordine di una frase in lingua naturale. Tale rappresentazione è costituita dalla congiunzione logica di predicati concettuali correlati da argomenti comuni. Nomi, verbi, aggettivi, avverbi, pronomi, preposizioni e congiunzioni in una frase danno luogo a un predicato. Le forme logiche possono essere "decorate" con significati per disambiguare la semantica delle parole. Un esempio di forma logica è il seguente: (it)
rdfs:label Forma logica (it) Logic form (en)
owl:sameAs freebase:Logic form wikidata:Logic form dbpedia-fa:Logic form dbpedia-it:Logic form https://global.dbpedia.org/id/3TvAr
prov:wasDerivedFrom wikipedia-en:Logic_form?oldid=1017447302&ns=0
foaf:isPrimaryTopicOf wikipedia-en:Logic_form
is dbo:wikiPageRedirects of dbr:Logic_Form dbr:Formulation_(logic) dbr:Logic_forms
is dbo:wikiPageWikiLink of dbr:Logic_Form dbr:Outline_of_natural_language_processing dbr:Formulation_(logic) dbr:Logic_forms
is foaf:primaryTopic of wikipedia-en:Logic_form