Résumé | Cet article décrit FOL RuleML (First-Order Logic RuleML ou RuleML de la logique du premier ordre), dont on prévoit qu'il constituera le sous langage de la logique du premier ordre (FOL) de RuleML 0.9, la composante de règles de SWRL FOL, et un langage de contenu FOL pour SWSI. FOL RuleML est basé sur une combinaison modulaire de deux sous langages caractérisés syntaxiquement : (1) Quantifier RuleML est une extension de RuleML 0.87 au moyen de quantificateurs explicites. (2) Disjunctive RuleML est une extension de RuleML 0.87 au moyen de disjonctions de tête. Des opérateurs d'équivalence et de négation sont ensuite modulairement ajoutés pour définir FOL RuleML. La DTD de ce langage est disponible pour des tests de validation. La sémantique de FOL RuleML est issue de la théorie du modèle de la logique du premier ordre classique. Les formules de FOL RuleML peuvent être utilisées à titre de contenu déclaratif dans des expressions performatives du type KQML « Assert » et « Query », qui sont complétées par l'expression performative neutre « Consider ». |
---|