H
Honglei Zeng
Researcher at Stanford University
Publications - 6
Citations - 5215
Honglei Zeng is an academic researcher from Stanford University. The author has contributed to research in topics: Semantic Web Stack & OWL-S. The author has an hindex of 4, co-authored 6 publications receiving 5182 citations.
Papers
More filters
Proceedings Article
DAML-S: semantic markup for web services
Anupriya Ankolekar,Mark Burstein,Jerry R. Hobbs,Ora Lassila,David Martin,Sheila A. McIlraith,Srini Narayanan,Massimo Paolucci,Terry R. Payne,Katia Sycara,Honglei Zeng +10 more
TL;DR: The overall structure of the ontology, the service profile for advertising services, and the process model for the detailed description of the operation of services are described, which compare DAML-S with several industry efforts to define standards for characterizing services on the Web.
Journal ArticleDOI
Semantic Web services
TL;DR: The authors propose the markup of Web services in the DAML family of Semantic Web markup languages, which enables a wide variety of agent technologies for automated Web service discovery, execution, composition and interoperation.
Proceedings Article
Mobilizing the semantic web with DAML-enabled web services
TL;DR: This paper proposes markup of Web services in the DAML family of semantic Web markup languages, and presents one logic-based agent technology for service composition, predicated on the use of reusable, task-specific, high-level generic procedures and user-specific customizing constraints.
DAML-S: A Semantic Markup Language For Web Services
Anupriya Ankolenkar,Mark Burstein,Jerry R. Hobbs,Ora Lassila,David Martin,Sheila A. McIlraith,Srini Narayanan,Massimo Paolucci,Terry R. Payne,Katia Sycara,Honglei Zeng +10 more
TL;DR: The overall structure of the ontology, the service profile for advertising services, and the process model for the detailed description of the operation of services are described, which are compared with several industry efforts to define standards for characterizing services on the Web.
Book ChapterDOI
The role of redundant clauses in solving satisfiability problems
Honglei Zeng,Sheila A. McIlraith +1 more
TL;DR: A definition of weighted clause-to-variable ratio (WCV), which substantially improves the classic clause- to-variable (m/n) ratio in predicting search cost and explaining the phase transition, is proposed.