Initial Draft of a Possible Declarative Semantics for the Language

Schaffert, Sebastian; Bry, François and Furche, Tim (15. April 2005): Initial Draft of a Possible Declarative Semantics for the Language.

Abstract

This article introduces a preliminary declarative semantics for a subset of the language Xcerpt (so-called grouping-stratifiable programs) in form of a classical (Tarski style) model theory, adapted to the specific requirements of Xcerpt’s constructs (e.g. the various aspects of incompleteness in query terms, grouping constructs in rule heads, etc.). Most importantly, the model theory uses term simulation as a replacement for term equality to handle incomplete term specifications, and an extended notion of substitutions in order to properly convey the semantics of grouping constructs. Based upon this model theory, a fixpoint semantics is also described, leading to a first notion of forward chaining evaluation of Xcerpt programs

• Item Type: Paper
• Form of publication: Submitted Version
• Keywords: reasoning, query language, Semantic Web, model theory, semantics, declarative semantics
• Faculties: Mathematics, Computer Science and Statistics > Computer Science
• Subjects: 000 Computer science, information and general works > 004 Data processing computer science
• Language: English