Controlled Natural Language (Registro nro. 202636)

MARC details
000 -LÍDER
fixed length control field 04430nam a22005415i 4500
001 - NÚMERO DE CONTROL
control field u374756
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
control field SIRSI
005 - FECHA Y HORA DE LA ULTIMA TRANSACCIÓN
control field 20160812084250.0
007 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL
fixed length control field cr nn 008mamaa
008 - ELEMENTOS DE LONGITUD FIJA -- INFORMACIÓN GENERAL
fixed length control field 100706s2010 gw | s |||| 0|eng d
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS
International Standard Book Number 9783642144189
-- 978-3-642-14418-9
040 ## - FUENTE DE CATALOGACIÓN
Transcribing agency MX-MeUAM
050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Classification number Q334-342
050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Classification number TJ210.2-211.495
082 04 - NÚMERO DE CLASIFICACIÓN DECIMAL DEWEY
Classification number 006.3
Edition number 23
100 1# - ASIENTO PRINCIPAL--NOMBRE PERSONAL
Personal name Fuchs, Norbert E.
Relator term editor.
245 10 - MENCIÓN DE TITULO
Title Controlled Natural Language
Medium [recurso electrónico] :
Remainder of title Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers /
Statement of responsibility, etc. edited by Norbert E. Fuchs.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Berlin, Heidelberg :
Name of producer, publisher, distributor, manufacturer Springer Berlin Heidelberg,
Date of production, publication, distribution, manufacture, or copyright notice 2010.
300 ## - DESCRIPCIÓN FÍSICA
Extent X, 291p. 62 illus.
Other physical details online resource.
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
Encoding format PDF
Source rda
490 1# - MENCIÓN DE SERIE
Series statement Lecture Notes in Computer Science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 5972
505 0# - NOTA DE CONTENIDO
Formatted contents note Language Aspects -- An Evaluation Framework for Controlled Natural Languages -- Rhetorical Compositions for Controlled Natural Languages -- Anaphora Resolution Involving Interactive Knowledge Acquisition -- Talking Rabbit: A User Evaluation of Sentence Production -- Naturalness vs. Predictability: A Key Debate in Controlled Languages -- Implementing Controlled Languages in GF -- Polysemy in Controlled Natural Language Texts -- Economical Discourse Representation Theory -- Controlled English Ontology-Based Data Access -- SBVR’s Approach to Controlled Natural Language -- Tools and Applications -- The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts -- On Designing Controlled Natural Languages for Semantic Annotation -- Development of a Controlled Natural Language Interface for Semantic MediaWiki -- A Controlled Language for the Specification of Contracts -- Rabbit to OWL: Ontology Authoring with a CNL-Based Tool -- Writing Clinical Practice Guidelines in Controlled Natural Language -- What Are Controlled Natural Languages? -- On Controlled Natural Languages: Properties and Prospects.
520 ## - NOTA DE RESUMEN, ETC.
Summary, etc. Controlled natural languages (CNLs) are subsets of natural languages, obtained by - stricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. Traditionally, controlled languagesfall into two major types: those that - prove readability for human readers, and those that enable reliable automatic semantic analysis of the language. [. . . ] The second type of languages has a formal logical basis, i. e. they have a formal syntax and semantics, and can be mapped to an existing formal language, such as ?rst-order logic. Thus, those languages can be used as knowledge representation languages, and writing of those languages is supported by fully au- matic consistency and redundancy checks, query answering, etc. Wikipedia Variouscontrollednatural languagesof the second type have been developedby a n- ber of organizations, and have been used in many different application domains, most recently within the Semantic Web. The workshop CNL 2009 was dedicated to discussing the similarities and the d- ferences of existing controlled natural languages of the second type, possible impro- ments to these languages, relations to other knowledge representation languages, tool support, existing and future applications, and further topics of interest.
596 ## -
-- 19
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Computer science.
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Database management.
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Data mining.
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Information storage and retrieval systems.
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Information systems.
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Artificial intelligence.
650 14 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Computer Science.
650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Artificial Intelligence (incl. Robotics).
650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Information Storage and Retrieval.
650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Information Systems Applications (incl.Internet).
650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Mathematical Logic and Formal Languages.
650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Database Management.
650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Data Mining and Knowledge Discovery.
710 2# - ASIENTO SECUNDARIO - NOMBRE CORPORATIVO
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783642144172
830 #0 - ASIENTO SECUNDARIO DE SERIE--TITULO UNIFORME
Uniform title Lecture Notes in Computer Science,
International Standard Serial Number 0302-9743 ;
Volume number/sequential designation 5972
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Public note Libro electrónico
Uniform Resource Identifier <a href="http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-14418-9">http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-14418-9</a>
942 ## - TIPO DE MATERIAL (KOHA)
Koha item type Libro Electrónico
Existencias
Estado de retiro Fuente de clasificación Colección Ubicación permanente Ubicación actual Fecha de ingreso Total Checkouts Signatura topográfica Código de barras Date last seen Número de copia Tipo de material
    Colección de Libros Electrónicos Biblioteca Electrónica Biblioteca Electrónica     Q334 -342 374756-2001 12/08/2016 1 Libro Electrónico

Con tecnología Koha