A Logic Programming Environment for Document Semantics and Inference.
Markup licenses inferences about a text. But the information warranting such inferences may not be entirely explicit in the syntax of the markup language used to encode the text. This paper describes a Prolog environment for exploring alternative approaches to representing facts and rules of inferen...
| Publicado en: | Literary & Linguistic Computing Vol. 18; no. 1; pp. 39 - 48 |
|---|---|
| Autores principales: | , , , |
| Formato: | Artículo |
| Publicado: |
Oxford University Press / USA
Apr2003
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=10500908&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 10500908 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 02681145 BJ1 jtl: Literary & Linguistic Computing issn: 02681145 maglogo: N pubinfo: dt: Apr2003 vid: 18 iid: 1 pid: 622 pub: Oxford University Press / USA artinfo: ui: 10500908 10.1093/llc/18.1.39 ppf: 39 ppct: 9 formats: fmt: @attributes: type: P size: 116KB tig: atl: A Logic Programming Environment for Document Semantics and Inference. aug: au: D. Dubin A. Renear C.M. Sperberg-McQueen C. Huitfeldt affil: University of Illinois at Urbana-Champaign, Champaign, IL, USA World Wide Web Consortium, Cambridge, MA, USA University of Bergen, Bergen, Norway su: Logic programming Programming languages sug: subj: Logic programming Programming languages ab: Markup licenses inferences about a text. But the information warranting such inferences may not be entirely explicit in the syntax of the markup language used to encode the text. This paper describes a Prolog environment for exploring alternative approaches to representing facts and rules of inference about structured documents. It builds on earlier work proposing an account of how markup licenses inferences, and of what is needed in a specification of the meaning of a markup language. Our system permits an analyst to specify facts and rules of inference about domain entities and properties as well as facts about the markup syntax, and to construct and test alternative approaches to translation between representation layers. The system provides a level of abstraction at which the performative or interpretive meaning of the markup can be explicitly represented in machine-readable and executable form. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: © 2019 EADH: The European Association for Digital Humanities. item: Literary & Linguistic Computing holder: Oxford University Press / USA dt: @attributes: year: 2003 holdings: @attributes: islocal: N |
|---|