Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML

Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML

This paper contains a proposal of an abstract syntax and a model theoretic semantics for NafNegDatalog, sublanguage of RuleML [9]. The model-theoretic semantics use the partial logic ([7], [10]) to provide an interpretation and a satisfaction relation, and provide a formal meaning for RuleML knowled...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Giurca, Adrian, Wagner, Gerd
Format: Tagungsbericht
Sprache:eng
Schlagworte:
abstract syntax
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
partial logic
Programming languages
rule markup languages
RuleML
semantics
Software
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper contains a proposal of an abstract syntax and a model theoretic semantics for NafNegDatalog, sublanguage of RuleML [9]. The model-theoretic semantics use the partial logic ([7], [10]) to provide an interpretation and a satisfaction relation, and provide a formal meaning for RuleML knowledge bases written in the abstract syntax.
ISSN:0302-9743
1611-3349
DOI:10.1007/11580072_5