About: dbpedia-fr:Sémantique

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Sémantique_formelle Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Sémantique formelle (fr)
rdfs:comment	En linguistique, la sémantique formelle cherche à comprendre le sens (linguistique) en construisant des modèles mathématiques précis des principes utilisés par le locuteur pour définir la relation entre des expressions en langage naturel et l’environnement supportant un discours faisant sens. Un autre domaine de recherche, utilisant la logique linéaire, est la sémantique « glue » fondée sur le principede « l'interprétation comme déduction », en relation étroite avec le paradigme d’ « analyse syntaxique comme déduction » de la grammaire catégorielle . (fr)
sameAs	dbr:Formal_semantics_(natural_language) wikidata:Q5469969 dbpedia-ar:علم_الدلالة_المنهجي dbpedia-fa:معناشناسی_صوری_(زبان‌شناسی) http://g.co/kg/m/0gkywn5 http://ma-graph.org/entity/146499914
Wikipage page ID	9533981 (xsd:integer)
Wikipage revision ID	185070966 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Cambridge_University_Press category-fr:Logique category-fr:Sémantique category-fr:Sémiotique category-fr:Théorie_linguistique dbpedia-fr:Elsevier Lambda calculus dbpedia-fr:Langage_formel dbpedia-fr:Langage_naturel Grammar dbpedia-fr:Linguistique_informatique dbpedia-fr:Logique_linéaire dbpedia-fr:Logique_mathématique dbpedia-fr:MIT_Press Richard Montague dbpedia-fr:Sens_(linguistique) Grammar dbpedia-fr:Sémantique_cognitive dbpedia-fr:Sémantique_formelle_(logique) dbpedia-fr:Théorie_des_représentations_du_discours Wiley-Blackwell Yehoshua Bar-Hillel
Link from a Wikipage to an external page	https://let.uvt.nl/general/people/rmuskens/pubs/rep.pdf http://langsci-press.org/catalog/book/143 https://books.google.com/books%3Fid=-GwbT2HMl2wC&printsec=frontcover https://books.google.com/books%3Fid=82aQOH_SSgAC&printsec=frontcover https://books.google.com/books%3Fid=ZFZ0AdoEARcC&printsec=frontcover https://books.google.com/books%3Fid=pxJGet3pKdoC&printsec=frontcover https://books.google.com/books%3Fid=ucqHMqzB_zEC&printsec=frontcover http://people.umass.edu/partee/docs/BHP_Essay_Feb05.pdf
page length (characters) of wiki page	7242 (xsd:nonNegativeInteger)
dct:subject	category-fr:Logique category-fr:Sémantique category-fr:Sémiotique category-fr:Théorie_linguistique
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Ébauche
prov:wasDerivedFrom	wikipedia-fr:Sémantique_formelle?oldid=185070966&ns=0
prop-fr:année	1989 (xsd:integer) 1993 (xsd:integer) 1994 (xsd:integer) 1995 (xsd:integer) 1998 (xsd:integer) 2000 (xsd:integer) 2004 (xsd:integer) 2006 (xsd:integer) 2008 (xsd:integer) 2010 (xsd:integer) 2017 (xsd:integer)
prop-fr:auteur	Emmon W. Bach (fr) Laurent Roussarie (fr) Alice Ter Meulen (fr) Angelika Kratzer (fr) Bob Carpenter (fr) Gennaro Chierchia (fr) Glyn V. Morrill (fr) Irene Heim (fr) Johan van Benthem (fr) John I. Saeed (fr) Max Cresswell (fr) Ronnie Cann (fr) Sally McConnell-Ginet (fr) Sean A. Fulop (fr)
prop-fr:collection	Introducing linguistics (fr)
prop-fr:isbn	978 (xsd:integer)
prop-fr:langue	en (fr) fr (fr)
prop-fr:lieu	Berlin (fr) Amsterdam/Boston (fr)
prop-fr:lireEnLigne	http://langsci-press.org/catalog/book/143 https://books.google.com/books%3Fid=-GwbT2HMl2wC&printsec=frontcover https://books.google.com/books%3Fid=82aQOH_SSgAC&printsec=frontcover https://books.google.com/books%3Fid=ZFZ0AdoEARcC&printsec=frontcover https://books.google.com/books%3Fid=pxJGet3pKdoC&printsec=frontcover https://books.google.com/books%3Fid=ucqHMqzB_zEC&printsec=frontcover
prop-fr:pagesTotales	150 (xsd:integer) 242 (xsd:integer) 336 (xsd:integer) 365 (xsd:integer) 456 (xsd:integer) 498 (xsd:integer) 573 (xsd:integer) 575 (xsd:integer) 1146 (xsd:integer)
prop-fr:sousTitre	an introduction (fr) an introduction to semantics (fr) categorial logic of signs (fr)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software