| Abstract | This paper describes First-Order Logic RuleML (FOL RuleML), which is planned to be the FOL sublanguage of RuleML 0.9, the rule component of SWRL FOL, and an FOL content language for SWSI. FOL RuleML is based on a modular combination of two syntactically characterized sublanguages: (1) Quantifier RuleML extends RuleML 0.87 by explicit quantifiers. (2) Disjunctive RuleML extends RuleML 0.87 by head disjunctions. Connectives for equivalence and negation are then modularly added for defining FOL RuleML. Its DTD is available for validation tests. Classical FOL model theory provides the semantics of FOL RuleML. FOL RuleML formulas can be used as the declarative content of KQML-like performatives 'Assert' and 'Query', which are augmented by a neutral 'Consider' performative. |
|---|
