Notice bibliographique
Résumé
Two trends are emerging in the World Wide Web (WWW). The first is the proliferation of Web Services -- self-contained, Web-accessible software applications and associated distributed systems architectures. The second is the emergence of the the vision for a next-generation WWW that is computer interpretable. Today's Web was designed primarily for human use. To enable reliable, large-scale automated interoperation of Web services, their properties and capabilities must be understandable to a computer program. In this talk we briefy overview our ongoing work to develop a declarative language for describing Web services on the Semantic Web, contrasting it with emerging industrial Web service and Semantic Web standards. Our declarative representation of Web services enables automation of a wide variety of tasks including Web service discovery, invocation, interoperation, composition, simulation, verification and monitoring.To address the problem of automated Web service composition, we propose automated reasoning techniques based on the notion of generic procedures and customizing user constraint. To this end, we adapt and extend a logic programming language to enable programs that are generic, customizable and usable in the context of the Web. We combine these with deductive synthesis techniques to generate compositions of Web services. Further, we propose logical criteria for these generic procedures that define when they are knowledge self-sufficient and physically self-sufficient. To support information gathering combined with search, we propose a middle-ground interpreter that operates under an assumption of reasonable persistence of key information. Our implemented prototype system is currently interacting with services on the Web.Parts of this work were done in collaboration with Tran Cao Son and Honglei Zeng. The notion of semantic Web services is introduced in [3]. The origins of OWL-S, the OWL (Ontology Web Language) ontology for Web services are described as DAML-S in [1]. Up-to-date work on OWL-S can be found at [5]. Research on automated Web service composition can be found in [3, 2], with research on analysis, simulation and verification of Web services discussed in [4].
Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.
Comment cette classification a été obtenuedéplier
Prédiction machine sur la base complète
Imitation des enseignantsNi prévalence calibrée, ni vérité terrain. Validation humaine à venir. Le volet Gemma est une étiquette directe du modèle pour chaque travail de la base, lue sur la notice réduite au titre. Le volet Codex est un classifieur appris des 10 348 étiquettes directes de Codex et calibré sur les taux pondérés de l'échantillon; les champs sans appui suffisant ne portent aucun appel Codex. Le mode candidate est l'union des deux volets; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont pas des étiquettes humaines.
Scores du classifieur distillé par catégorie (deux têtes)
| Catégorie | Codex | Gemma |
|---|---|---|
| Métarecherche | 0,001 | 0,004 |
| Méta-épidémiologie (sens strict) | 0,001 | 0,000 |
| Méta-épidémiologie (sens large) | 0,001 | 0,001 |
| Bibliométrie | 0,001 | 0,001 |
| Études des sciences et des technologies | 0,002 | 0,001 |
| Communication savante | 0,006 | 0,004 |
| Science ouverte | 0,002 | 0,005 |
| Intégrité de la recherche | 0,004 | 0,003 |
| Charge utile insuffisante (le modèle a refusé de juger) | 0,661 | 0,465 |
Scores machine (provisoires)
Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.
Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.
score_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découleClassification
machine, non validéePrédiction automatique; l’étiquette directe de Gemma et le classifieur distillé Codex s’accordent sur ce qui est montré ici.
Le détail, modèle par modèle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».