A Logic Programming Environment for Document Semantics and Inference

David Dubin, Allen Renear, C. M. Sperberg-MCqueen, Claus Huitfeldt

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish (US)
Pages (from-to)39-47
Number of pages9
JournalLiterary and Linguistic Computing
Issue number1
StatePublished - Apr 2003

ASJC Scopus subject areas

  • Information Systems
  • Language and Linguistics
  • Linguistics and Language


Dive into the research topics of 'A Logic Programming Environment for Document Semantics and Inference'. Together they form a unique fingerprint.

Cite this