Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML

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

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 3791/2005
BookRules and Rule Markup Languages for the Semantic Web
DOI10.1007/11580072
Copyright2005
ISBN978-3-540-29922-6
DOI10.1007/11580072_5
Pages45-55
Subject CollectionComputer Science
SpringerLink DateMonday, October 24, 2005
Add to marked items

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

Adrian Giurca1 Contact Information and Gerd Wagner1 Contact Information

(1)  Institute of Informatics, Brandenburg University of Technology at Cottbus,  
Abstract
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.
Keywords: rule markup languages, RuleML, abstract syntax, semantics, partial logic.

Contact Information Adrian Giurca
Email: Giurca@tu-cottbus.de

Contact Information Gerd Wagner
Email: G.Wagner@tu-cottbus.de
Fulltext Preview (Small, Large)
Image of the first page of the fulltext
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.110 • Server: mpweb18
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)