This HTML5 document contains 84 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n11https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
n4http://www.citeulike.org/user/hayashi/article/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-hrhttp://hr.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n18https://web.archive.org/web/20080117121308/http:/www.citeulike.org/user/hayashi/article/
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
n15http://www.swag.uwaterloo.ca/cppx/old_cppx_site/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n24http://citeseer.ist.psu.edu/

Statements

Subject Item
dbr:Abstract_semantic_graph
rdf:type
yago:Structure105726345 yago:PsychologicalFeature100023100 yago:Cognition100023271 yago:DataStructure105728493 yago:Arrangement105726596 yago:WikicatGraphDataStructures yago:Abstraction100002137 yago:Communication100033020 yago:Language106282651 yago:WikicatFormalLanguages
rdfs:label
Абстрактный семантический граф Abstract semantic graph
rdfs:comment
В информатике граф абстрактной семантики (ГАС) называется структура данных, используемая для представления или извлечения семантики выражения на формальном языке (например, на языке программирования). Граф абстрактной семантики — это более высокий уровень абстракции, чем дерево абстрактного синтаксиса (ДАС), которое используется для описания синтаксической структуры выражения или программы. In computer science, an abstract semantic graph (ASG) or term graph is a form of abstract syntax in which an expression of a formal or programming language is represented by a graph whose vertices are the expression's subterms. An ASG is at a higher level of abstraction than an abstract syntax tree (or AST), which is used to express the syntactic structure of an expression or program.
dcterms:subject
dbc:Formal_languages dbc:Graph_data_structures
dbo:wikiPageID
1137033
dbo:wikiPageRevisionID
1087568871
dbo:wikiPageWikiLink
dbr:Iteration dbr:Abstract_syntax_trees dbr:Term_(logic) dbc:Formal_languages dbr:Declaration_(computer_science) dbr:Back-pointer dbr:Logical_consequence dbr:Variable_(programming) dbr:Identifier dbr:Recursive dbr:Common_subexpression_elimination dbr:Edge_(graph_theory) dbr:Loop_(computing) dbr:Cycle_(graph_theory) dbr:Type_systems dbr:Abstract_syntax dbr:Abstract_syntax_tree dbr:Graph_rewriting dbr:Semantic_Web dbr:Programming_languages dbr:Abstraction_(computer_science) dbr:Intermediate_representation dbr:Code_refactoring dbr:Computer_science dbr:Compiler dbr:Compilers dbr:Name dbr:Intermediate_language dbr:Parsing dbr:Tree_(computer_science) dbr:Graph_(discrete_mathematics) dbr:Graph_(data_structure) dbc:Graph_data_structures dbr:Formal_language dbr:Program_(computer_science) dbr:Semantic_Grid dbr:Directed_acyclic_graph dbr:Functional_programming_language dbr:Expression_(computer_science) dbr:Programming_language dbr:Ontology_(computer_science) dbr:Linguistics dbr:Syntax
dbo:wikiPageExternalLink
n4:259537 n15: n18:259537 n24:devanbu96generating.html
owl:sameAs
dbpedia-ru:Абстрактный_семантический_граф dbpedia-hr:Apstraktni_semantički_graf n11:3EwEz wikidata:Q3514616 freebase:m.049fsr yago-res:Abstract_semantic_graph
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub dbt:Cite_conference dbt:Cite_document dbt:Reflist dbt:Cite_web dbt:Semantics dbt:Clarify
dbo:abstract
In computer science, an abstract semantic graph (ASG) or term graph is a form of abstract syntax in which an expression of a formal or programming language is represented by a graph whose vertices are the expression's subterms. An ASG is at a higher level of abstraction than an abstract syntax tree (or AST), which is used to express the syntactic structure of an expression or program. ASGs are more complex and concise than ASTs because they may contain shared subterms (also known as "common subexpressions"). Abstract semantic graphs are often used as an intermediate representation by compilers to store the results of performing common subexpression elimination upon abstract syntax trees. ASTs are trees and are thus incapable of representing shared terms. ASGs are usually directed acyclic graphs (DAG), although in some applications graphs containing cycles may be permitted. For example, a graph containing a cycle might be used to represent the recursive expressions that are commonly used in functional programming languages as non-looping iteration constructs. The mutability of these types of graphs, is studied in the field of graph rewriting. The nomenclature term graph is associated with the field of term graph rewriting, which involves the transformation and processing of expressions by the specification of rewriting rules, whereas abstract semantic graph is used when discussing linguistics, programming languages, type systems and compilation. Abstract syntax trees are not capable of sharing subexpression nodes because it is not possible for a node in a proper tree to have more than one parent. Although this conceptual simplicity is appealing, it may come at the cost of redundant representation and, in turn, possibly inefficiently duplicating the computation of identical terms. For this reason ASGs are often used as an intermediate language at a subsequent compilation stage to abstract syntax tree construction via parsing. An abstract semantic graph is typically constructed from an abstract syntax tree by a process of enrichment and abstraction. The enrichment can for example be the addition of back-pointers, edges from an identifier node (where a variable is being used) to a node representing the declaration of that variable. The abstraction can entail the removal of details which are relevant only in parsing, not for semantics. В информатике граф абстрактной семантики (ГАС) называется структура данных, используемая для представления или извлечения семантики выражения на формальном языке (например, на языке программирования). Граф абстрактной семантики — это более высокий уровень абстракции, чем дерево абстрактного синтаксиса (ДАС), которое используется для описания синтаксической структуры выражения или программы. Граф абстрактной семантики обычно конструируется из дерева абстрактного синтаксиса процессом обогащения и абстрагирования. Обогащением может быть, например, добавление обратных указателей, рёбер из вершины идентификатора (где используется переменная) в вершину, соответствующую объявлению этой переменной. Абстрагирование может включать удаление деталей, которые нужны только для синтаксического, но не семантического анализа.
gold:hypernym
dbr:Form
prov:wasDerivedFrom
wikipedia-en:Abstract_semantic_graph?oldid=1087568871&ns=0
dbo:wikiPageLength
7557
foaf:isPrimaryTopicOf
wikipedia-en:Abstract_semantic_graph