ASP RuleML

From RuleML Wiki
Jump to: navigation, search

Answer Set Programming (ASP) has become increasingly popular in recent years. For example, the RIF Core Answer Set Programming Dialect (RIF-CASPD) has been developed as a specialization of RIF-FLD.

Based on a modified Datalog RuleML 0.9 (viz., a disjunctive nafnegdatalog schema), ASP RuleML defines a sublanguage of RuleML for answer-set programs in XML Schema. This variant facilitates the specification of a number of ASP-related constructs in a general manner. Moreover, it constitutes a base language for specific ASP extensions, such as HEX-programs.