Résumé | Le langage POSL [pour POsitional-Slotted] est un langage Web sémantique qui permet l’échange de connaissances en affaires électroniques [e Business]. Il fait concorder les formules de positions de Horn avec celles de tiroirs de Frame-logique [F-logic] pour signaler des faits et des règles sur le Web, faisant optionnellement référence aux classes RDFS et OWL pour les types ordonnés. La sémantique du langage POSL étend les modèles Herbrand aux relations N-aires en adaptant l’instanciation des clauses à tiroirs et l’égalité de surface, restreints davantage par des signatures et des types. La webisation fait appel à des adresses IRI de type IETF pour la syntaxe N3 pour les individus, relations, tiroirs et types. Les atomes « webisés » permettent davantage la représentation d’objets de F-logic et de descriptions RDF comme des faits par tiroirs ancrés renforcés par des règles. Toutes les notions de POSL sont illustrées au moyen d’un cas d’utilisation d’affaires électroniques en logistique. Le traducteur en ligne du POSL au OO RuleML et le moteur POSL OO jDREW ont permis des applications Web sémantiques en intégration d’information d’affaires, en planification touristique et en requêtes sur des experts, des symposiums et le bien-être. |
---|