Are Your Rules Online? Four Web Rule Essentials

Four principal Web rule issues constitute our starting points: I1) Formal knowledge representation can act as content in its own right and/or as metadata for content. I2) Knowledge on the open Web is typically inconsistent but closed 'intranet' reasoning can exploit local consistency. I3) Scalability of reasoning calls for representation layering on top of quite inexpressive languages. I4) Rule representation should stay compatible with relevant Web standards. To address these, four corresponding essentials of Web rules have emerged: E1) Combine formal and informal knowledge in a Rule Wiki, where the formal parts can be taken as code (or as metadata) for the informal parts, and the informal parts as documentation (or as content) for the formal parts. This can be supported by tools for Controlled Natural Language: mapping a subset of, e.g., English into rules and back. E2) Represent distributed knowledge via a module construct, supporting local consistency, permitting scoped negation as failure, and reducing the search space of scoped queries. Modules are embedded into an 'Entails' element: prove whether a query is entailed by a module. E3) Develop a dual layering of assertional and terminological knowledge as well as their blends. To permit the specification of terminologies independent of assertions, the CARIN principle is adopted: a terminological predicate is not permitted in the head of a rule. E4) Differentiate the Web notion of URIs as in URLs, for access, vs. URNs, for naming. A URI can then be used: URL-like, for module import, where it is an error if dereferencing does not yield a valid knowledge document; URN-like, as an identifier, where dereferencing is not intended; or, as a name whose dereferencing can access its (partial) definition.Quatre questions principales au sujet des r\ue8gles Web constituent notre point de d\ue9part. 1) La repr\ue9sentation formelle des connaissances peut agir en soi comme un contenu \ue0 part enti\ue8re et/ou comme m\ue9tadonn\ue9e du contenu. 2) La connaissance sur le Web est habituellement non uniforme, mais le raisonnement sur un intranet \uab ferm\ue9 \ubb peut exploiter une uniformit\ue9 locale. 3) L'\ue9chelonnabilit\ue9 du raisonnement exige la superposition de couches sur des langages tr\ue8s inexpressifs. 4) La pr\ue9sentation des r\ue8gles doit demeurer compatible avec les normes Web pertinentes. Quatre aspects essentiels des r\ue8gles Web qui r\ue9pondent \ue0 ces questions ont \ue9t\ue9 d\ue9couverts : E1) Combinaison des connaissances formelles et informelles dans un wiki de r\ue8gles o\uf9 les parties formelles peuvent \ueatre consid\ue9r\ue9es comme code (ou comme m\ue9tadonn\ue9es) des parties informelles, et les parties informelles consid\ue9r\ue9es comme documentation (ou comme contenu) des parties formelles. Cela peut \ueatre trait\ue9 au moyen d'outils destin\ue9s au langage naturel contr\uf4l\ue9 : mappages de sous-ensembles comme, par exemple, traduire la langue anglaise en r\ue8gles et vice-versa. E2) Repr\ue9sentation de connaissances r\ue9parties au moyen d'un construit modulaire, soutenant l'uniformit\ue9 locale, permettant le recours \ue0 la n\ue9gation cibl\ue9e comme \ue9chec et r\ue9duisant l'espace de recherche des requ\ueates cibl\ue9es. Des modules sont imbriqu\ue9s dans un \ue9l\ue9ment \uab Entails \ubb : on prouve si une requ\ueate est requise par un module. E3) D\ue9veloppement d'une double couche de connaissances assertives et terminologiques, ainsi que de leurs m\ue9langes. Afin de permettre la sp\ue9cification de terminologies ind\ue9pendantes d'assertions, on adopte le principe CARIN : un pr\ue9dicat terminologique n'est pas permis dans l'en-t\ueate d'une r\ue8gle. E4) Diff\ue9rentiation de la notion d'URI Web comme dans des URL en vue de l'acc\ue8s, en opposition avec les URN, pour la d\ue9nomination. Un URI peut alors \ueatre utilis\ue9 comme une URL en vue de l'importation de modules, alors qu'il y a erreur si le d\ue9r\ue9f\ue9rencement ne produit pas un document de connaissance valide, ou comme URN, comme identificateur, si le d\ue9r\ue9f\ue9rencement n'est pas pr\ue9vu, ou encore comme nom dont le d\ue9r\ue9f\ue9rencement m\ue8ne \ue0 sa d\ue9finition (partielle).NRC publication: Ye