首页/论文/1007.2364

arXiv 1007.23642010-07-14cs.AIcs.LO

A Note on Semantic Web Services Specification and Composition in Constructive Description Logics

Università degli Studi dell’Insubria（因苏布里亚大学）

Loris Bozzato, Mauro Ferrari

备注：: 15 pages, 2 figures. Part of this work will appear as a position paper in Proceedings of 4th Int. Conf. on Web Reasoning and Rule Systems (RR 2010)

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

英文摘要相关论文

英文摘要：

The idea of the Semantic Web is to annotate Web content and services with computer interpretable descriptions with the aim to automatize many tasks currently performed by human users. In the context of Web services, one of the most interesting tasks is their composition. In this paper we formalize this problem in the framework of a constructive description logic. In particular we propose a declarative service specification language and a calculus for service composition. We show by means of an example how this calculus can be used to define composed Web services and we discuss the problem of automatic service synthesis.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Distributed Subweb Specifications for Traversing the Web

Ghent University（根特大学）；imec（比利时微电子研究中心）；IDLab（IDLab实验室）；Cambridge University Press（剑桥大学出版社）

Link Traversal-based Query Processing (ltqp), in which a sparql query is evaluated over a web of documents rather than a single dataset, is often seen as a theoretically interesting yet impractical technique. However, in a time where the hypercentralization of data has increasingly come under scrutiny, a decentralized Web of Data with a simple document-based interface is appealing, as it enables data publishers to control their data and access rights. While ltqp allows evaluating complex queries over such webs, it suffers from performance issues (due to the high number of documents containing …

2023-03-27cs.AIcs.DB

From Quantitative Spatial Operator to Qualitative Spatial Relation Using Constructive Solid Geometry, Logic Rules and Optimized 9-IM Model, A Semantic Based Approach

The Constructive Solid Geometry (CSG) is a data model providing a set of binary Boolean operators such as Union, Difference and Intersection. In this work, these operators are used to compute topological relations between objects defined by the constraints of the nine Intersection Model (9-IM) from Egenhofer. With the help of these constraints, we define a procedure to compute the topological relations on CSG objects. These topological relations are Disjoint, Contains, Inside, Covers, CoveredBy, Equals and Overlaps, and are defined in a top-level ontology with a specific semantic definition on…

2013-01-21cs.AIcs.CG

Towards an ontology of HTTP interactions

Néréide（Néréide 公司）

Enterprise information systems have adopted Web-based foundations for exchanges between heterogeneous programmes. These programs provide and consume via Web APIs some resources identified by URIs, whose representations are transmitted via HTTP. Furthermore HTTP remains at the heart of all Web developments (Semantic Web, linked data, IoT...). Thus, situations where a program must be able to reason about HTTP interactions (request-response) are multiplying. This requires an explicit formal specification of a shared conceptualization of those interactions. A proposal for an RDF vocabulary exists,…

2020-07-20cs.AI

FT-SWRL: A Fuzzy-Temporal Extension of Semantic Web Rule Language

Crops For the Future Research Centre（未来作物研究中心）；University of the West of England, Bristol（西英格兰大学布里斯托尔分校）

We present, FT-SWRL, a fuzzy temporal extension to the Semantic Web Rule Language (SWRL), which combines fuzzy theories based on the valid-time temporal model to provide a standard approach for modeling imprecise temporal domain knowledge in OWL ontologies. The proposal introduces a fuzzy temporal model for the semantic web, which is syntactically defined as a fuzzy temporal SWRL ontology (SWRL-FTO) with a new set of fuzzy temporal SWRL built-ins for defining their semantics. The SWRL-FTO hierarchically defines the necessary linguistic terminologies and variables for the fuzzy temporal model. …

2019-11-27cs.AI

OBA: An Ontology-Based Framework for Creating REST APIs for Knowledge Graphs

Information Sciences Institute, University of Southern California（南加州大学信息科学研究所）

In recent years, Semantic Web technologies have been increasingly adopted by researchers, industry and public institutions to describe and link data on the Web, create web annotations and consume large knowledge graphs like Wikidata and DBPedia. However, there is still a knowledge gap between ontology engineers, who design, populate and create knowledge graphs; and web developers, who need to understand, access and query these knowledge graphs but are not familiar with ontologies, RDF or SPARQL. In this paper we describe the Ontology-Based APIs framework (OBA), our approach to automatically cr…

2020-07-17cs.AI

SOSA: A Lightweight Ontology for Sensors, Observations, Samples, and Actuators

University of California, Santa Barbara（加利福尼亚大学圣巴巴拉分校）；Australian National University（澳大利亚国立大学）；CSIRO（澳大利亚联邦科学与工业研究组织）；Ecole des Mines de Saint-Etienne（圣艾蒂安国立高等矿业学校）

The Sensor, Observation, Sample, and Actuator (SOSA) ontology provides a formal but lightweight general-purpose specification for modeling the interaction between the entities involved in the acts of observation, actuation, and sampling. SOSA is the result of rethinking the W3C-XG Semantic Sensor Network (SSN) ontology based on changes in scope and target audience, technical developments, and lessons learned over the past years. SOSA also acts as a replacement of SSN's Stimulus Sensor Observation (SSO) core. It has been developed by the first joint working group of the Open Geospatial Consorti…

2018-12-25cs.AI

更多相关论文收起更多论文

利用知识图谱和大语言模型自动化因果规范生成

Automating Cause-Effect Specification with Knowledge Graphs and Large Language Models

Autonomous Industrial Systems Lab, Imperial College London（帝国理工学院自主工业系统实验室）

提出一种语义AI框架，结合知识图谱与约束大语言模型，自动生成因果逻辑和操作安全叙述，减少手动工作。

2026-07-01cs.AIcs.SYeess.SY

Architecture of a Web-based Predictive Editor for Controlled Natural Language Processing

Macquarie University（麦考瑞大学）

In this paper, we describe the architecture of a web-based predictive text editor being developed for the controlled natural language PENG$^{ASP)$. This controlled language can be used to write non-monotonic specifications that have the same expressive power as Answer Set Programs. In order to support the writing process of these specifications, the predictive text editor communicates asynchronously with the controlled natural language processor that generates lookahead categories and additional auxiliary information for the author of a specification text. The text editor can display multiple …

2014-06-27cs.AIcs.CL

DiLogics：创建具有多样化逻辑的 Web 自动化程序

DiLogics: Creating Web Automation Programs With Diverse Logics

University of Toronto（多伦多大学）；University of Michigan（密歇根大学）；Virginia Tech（弗吉尼亚理工大学）

本文提出 DiLogics 编程示范系统，利用 NLP 语义分割输入并记录用户示范，使非专家能创建可适应不同输入条件的多样化 Web 自动化程序。

2023-08-18cs.AIcs.HCcs.PL

LLM辅助的Web应用功能需求生成：针对四个主流LLM在餐饮管理系统上的案例研究

LLM assisted web application functional requirements generation: A case study of four popular LLMs over a Mess Management System

Department of Computer Science and Engineering（计算机科学与工程系）；PDPM IIITDM Jabalpur

本研究通过案例比较GPT、Claude、Gemini和DeepSeek四个LLM在餐饮管理系统功能需求生成中的表现，发现Claude生成的规格最完整，Gemini最精确，而所有模型在业务规则生成上均有不足。

2025-05-23cs.AIcs.SE

Semantic Web Environments for Multi-Agent Systems: Enabling agents to use Web of Things via semantic web

Université Jean Monnet - Saint Étienne（圣艾蒂安让·莫内大学）；Univ. Lyon（里昂大学）；MINES Saint-Étienne（圣艾蒂安国立高等矿业学院）；CNRS Lab Hubert Curien（法国国家科学研究中心休伯特·居里安实验室）

The Web is ubiquitous, increasingly populated with interconnected data, services, people, and objects. Semantic web technologies (SWT) promote uniformity of data formats, as well as modularization and reuse of specifications (e.g., ontologies), by allowing them to include and refer to information provided by other ontologies. In such a context, multi-agent system (MAS) technologies are the right abstraction for developing decentralized and open Web applications in which agents discover, reason and act on Web resources and cooperate with each other and with people. The aim of the project is to …

2020-02-20cs.AIcs.MAcs.SE

Web Services: A Process Algebra Approach

It is now well-admitted that formal methods are helpful for many issues raised in the Web service area. In this paper we present a framework for the design and verification of WSs using process algebras and their tools. We define a two-way mapping between abstract specifications written using these calculi and executable Web services written in BPEL4WS. Several choices are available: design and correct errors in BPEL4WS, using process algebra verification tools, or design and correct in process algebra and automatically obtaining the corresponding BPEL4WS code. The approaches can be combined. …

2004-06-28cs.AIcs.DB

From End-User's Requirements to Web Services Retrieval: A Semantic and Intention-Driven Approach

Université de Nice Sophia-Antipolis（尼斯-索菲亚·安提波利斯大学）

In this paper, we present SATIS, a framework to derive Web Service specifications from end-user's requirements in order to opera-tionalise business processes in the context of a specific application domain. The aim of SATIS is to provide to neuroscientists, which are not familiar with computer science, a complete solution to easily find a set of Web Services to implement an image processing pipeline. More precisely, our framework offers the capability to capture high-level end-user's requirements in an iterative and incremental way and to turn them into queries to retrieve Web Services descrip…

2015-04-23cs.AIcs.SE