請用此 Handle URI 來引用此文件：
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/38922完整後設資料紀錄
| DC 欄位 | 值 | 語言 |
|---|---|---|
| dc.contributor.advisor | 蔡益坤(Yih-Kuen Tsay) | |
| dc.contributor.author | Chen-Feng Huang | en |
| dc.contributor.author | 黃振峰 | zh_TW |
| dc.date.accessioned | 2021-06-13T16:52:37Z | - |
| dc.date.available | 2005-07-04 | |
| dc.date.copyright | 2005-07-04 | |
| dc.date.issued | 2005 | |
| dc.date.submitted | 2005-06-20 | |
| dc.identifier.citation | [1] Arvind Arasu, Junghoo Cho, Hector Garcia-Molina, Andreas Paepcke, and Sriram
Raghavan. Searching the Web. ACM Transactions on Internet Technology, 1(1):2– 43, August 2001. [2] F. Baader and P. Hanschke. A Scheme for Integrating Concrete Domains into Concept Languages. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91, pages 452–457, Sydney (Australia), 1991. [3] Franz Baader, Diego Calvanese, McGuinness Deborah, Daniele Nardi, and Peter F. Patel-Schneider. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003. [4] Tom Bellwood, Luc Clement, David Ehnebuske, Andrew Hately, Maryann Hondo, Yin L. Husband, Karsten Januszewski, Sam Lee, Barbara McKee, Joel Munter, and Claus V. Riegen. UDDI Version 3.0 Published Specification. Technical report, www.uddi.org, 2002. [5] Tim Berners-Lee, James Hendler, and Ora Lassila. The Semantic Web. Scientific American, May 2001. [6] Harold Boley, Mike Dean, Benjamin Grosof, Michael Sintek, Bruce Spencer, Said Tabet, and Gerd Wagner. FOL RuleML: The First-Order Logic Web Language. Technical report, http://www.ruleml.org/fol/, 2004. [7] Harold Boley, Said Tabet, and GerdWagner. Design Rationale of RuleML: A Markup Language for Semantic Web Rules. In Proceedings of the First Semantic Web Working Symposium (SWWS), pages 381–402, 2001. [8] Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, and Eve Maler. Extensible Markup Language (XML) 1.0 (Second Edition). Technical report, www.w3c.org, 2000. [9] Dan Brickley and R.V. Guha. RDF Vocabulary Description Language 1.0: RDF Schema. Technical report, www.w3c.org, April 2002. [10] Olga Caprotti, Mike Dewar, and Daniele Turi. Mathematical service matching using description logic and owl. In Proceeding of third International Conference on Mathematical Knowledge Management(MKM2004), volume 3119, pages 73–87. Springer, September 2004. [11] Dipanjan Chakraborty and Anupam Joshi. Dynamic Service Composition: State-ofthe- Art and Research Directions. Technical report, CSEE.UMBC, December 2001. [12] Michael Champion, Chris Ferris, Eric Newcomer, and David Orchard. Web Services Architecture. Technical report, www.w3c.org, 2002. [13] Roberto Chinnici, Martin Gudgin, Jean J. Moreau, and Sanjiva Weerawarana. Web Services Description Language (WSDL) Version 1.2. Technical report, www.w3c.org, 2002. [14] Francisco Curbera, Yaron Goland, Johannes Klein, Frank Leymann, Dieter Roller, and Sanjiva Weerawarana. Business Process Execution Language for Web Services, Version 1.0. Technical report, www.ibm.com, 2002. [15] Mike Dean. Semantic Web Rules: Covering The Use Cases. In Proceedings of RuleML2004, volume LNCS 3323, pages 1–5. Springer-Verlag, 2004. [16] ebXML Registry Project Team. Using UDDI to Find ebXML Registry/Repository. Technical report, www.ebxml.org, 2001. [17] C.L. Forgy. A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem. In Artificial Intelligence, pages 17–37, 1982. [18] Christine Golbreich. Combining Rule and Ontology Reasoners For The Semantic Web. In Proceedings of RuleML 2004, volume 3323. [19] Christine Golbreich. Web Ontology Language Requirements w.r.t Expressiveness of Taxonomy and axioms in medicine. In Proceedings of ISWC 2003, volume 2870, pages 180–194. Springer-Verlag, 2003. [20] Benjamin Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description Logic Programs: Combining Logic Programs with Description Logic. In Proceedings of the Twelfth International Conference on World Wide Web (WWW), 2003. [21] Thomas R. Gruber. A Translation Approach To Portable Ontology Specifications. Technical report, Knowledge Systems Laboratory, Computer Science Department, Stanford University, 1993. [22] Volker Haarslev and Ralf Moller. RACER System Description. volume 2083 of Lecture Notes in Artificial Intelligence, pages 701–705. Springer-Verlag, 2001. [23] Volker Haarslev and Ralf Moller. RACER User’s Guide and Reference Manual, 2004. [24] Volker Haarslev and Ralf Moller. The New Racer Query Language - nRQL, 2004. [25] Volker Haarslev, MichaelWessel, and Ralf Moller. The Description Logic ALCNHR+ Extended With Concrete Domains: A Practically Motivated Approach. volume 2083 of Lecture Notes in Computer Science, page 29. Springer-Verlag, 2001. [26] Jerry R. Hobbs and Feng Pan. An Ontology of Time for the Semantic Web. In ACM Transactions on Asian Language Information Processing, volume 3, pages 66–85, 2004. [27] Jerry R. Hobbs and Feng Pan. Time in OWL-S. In Proceedings of AAAI Spring Symposium on Semantic Web Services, pages 29–36, 2004. [28] Ian Horrocks, Peter F. Patel-Schneider, and Frank Van Harmelen. From SHIQ and RDF to OWL: The Making of aWeb Ontology Language. Journal of Web Semantics, 1(1):7–26, 2003. [29] Ian Horrocks and Peter F. Patel-Schneider. Comparing Subsumption Optimizations. In Collected Papers from the International Description Logics Workshop (DL’98), pages 90–94. CEUR, 1998. [30] Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet, Benjamin Grosof, and Mike Dean. SWRL: A Semantic Web Rule Language Combining OWL and RuleML. Technical report, www.daml.org, 2004. [31] Jos de Bruijn and Ruben Lara and Axel Polleres and Dieter Fensel. OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning for the Semantic Web. In WWW ’05: Proceedings of the 14th international conference on World Wide Web, pages 623–632, New York, NY, USA, 2005. ACM Press. [32] Ora Lassila and Ralph R. Swick. Resource Description Framework (RDF) Model and Syntax Specification. Technical report, www.w3c.org, 1999. [33] Rob Lemmens and Helbert Arenas. Semantic matchmaking in geo service chains: Reasoning with a location ontology. In Proceeding of 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), 30 August - 3 September 2004, Zaragoza, Spain, pages 797–802. IEEE Computer Society. [34] Lei Li and Ian Horrocks. A software framework for matchmaking based on semantic web technology. In Proceedings of the Twelfth International Conference on World Wide Web (WWW), pages 331–339. ACM, 2003. [35] Chiu-Ming Lung. Approximate Matching of Web Services with Descripton Logic Reasonging. Master’s thesis, National Taiwan University, June 2005. [36] Carsten Lutz. NEXPTIME-Complete Description Logics with Concrete Domains. In Proceedings of IJCAR2001, 2001. [37] Deborah L. McGuinness, Lori Alperin Resnick, and Charles Isbell. Description Logic in Practice: A CLASSIC Application. In IJCAI, pages 2045–2046, 1995. [38] Sheila McIlraith and Tran Cao Son. Adapting Golog for Composition of Semantic Web Services. In Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), 2002. [39] Sheila A. McIlraith, Tran C. Son, and Honglei Zeng. Semantic Web Services. IEEE Intelligent Systems, 16(2):46–53, March/April 2001. [40] Spivack Nova. The Ontology Problem: A Definition with Commentary. [41] Spivack Nova. Use of Role Classes to Define Predicate Semantics: Proposal for Semantic Web Best-Practice. [42] Natalya Noy and Alan Rector. Defining N-ary Relations on the Semantic Web: Use With Individuals. Technical report, http://www.w3.org/TR/swbp-n-aryRelations/, 2004. [43] Natalya F. Noy, Michael Sintek, Stefan Decker, Monica Crubezy, Ray W. Fergerson, and Mark A. Musen. Creating Semantic Web Contents with Protege-2000. IEEE Intelligent Systems, 2(16):60–71, 2001. [44] Massimo Paolucci, Takahiro Kawamura, Terry R. Payne, and Katia Sycara. Semantic Matching of Web Services Capabilities. In Proceedings of the First International Semantic Web Conference (ISWC), volume 2342 of Lecture Notes in Computer Science, pages 333–347. Springer-Verlag, 2002. [45] Peter F. Patel-Schneider and Dieter Fensel. Layering the Semantic Web: Problems and Directions. In Proceedings of the First International Semantic Web Conference (ISWC), 2002. [46] Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks. OWL Web Ontology Language Semantics and Abstract Syntax. Technical report, www.w3c.org, 2004. [47] Peter F. Patel-Schneider, Bell Labs Research, and Lucent Technologies. A Proposal for a SWRL Extension to First-Order Logic. Technical report, www.daml.org, 2004. [48] Joachim Peer. Bringing Together Semantic Web and Web Services. In Proceedings of the First International Semantic Web Conference (ISWC), number 2342 in Lecture Notes in Computer Science, pages 279–291. Springer-Verlag, 2002. [49] M. Schmidt-Schauss and G. Smolka. Attributive Concept Descriptions with Complements. Artificial Intelligence, 48:1–26, 1991. [50] Mithun Sheshagiri, Marie desJardins, and Finin Timothy. A Planner for Composing Services Described in DAML-S. In Proceedings of the AAMAS’03 Workshop on Web Services and Agent-based Engineering, 2003. [51] Tanja Sollazzo, Siegfried Handschuh, Steffen Staab, and Martin Frank. Semantic Web Service Architecture - Evolving Web Service Standards toward the Semantic Web. In Special Track on Semantic Web at FLAIRS 2002, 2002. [52] David Trastour, Claudio Bartolini, and Javier Gonzalez-Castillo. A Semantic Web Approach to Service Description for Matchmaking of Services. In Proceedings of the First Semantic Web Working Symposium (SWWS), pages 447–461, 2001. [53] Paolo Traverso and Marco Pistore. Automated Composition of Semantic Web Services into Executable Processes. In Proceedings of the Third International Semantic Web Conference (ISWC), 2004. [54] UDDI. The UDDI Technical White Paper. Technical report, www.uddi.org, 2000. [55] UDDI. UDDI Executive Overview: Enabling Service-Oriented Architecture. Technical report, www.uddi.org, 2004. [56] Dan Wu, Evren Sirin, James Hendler, Dana Nau, and Bijan Parsia. Automatic Web Services Composition Using SHOP2. In Proceedings of the Second International Semantic Web Conference (ISWC), 2003. | |
| dc.identifier.uri | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/38922 | - |
| dc.description.abstract | Semantic Web technology facilitates automatic processing of
information on the Web by making up for the inadequacy of resources that are only human-readable. It also enables service discovery when services are described with OWL, a markup language for the Web based on Description Logic. Service searches and classifications are achieved via Description Logic inference mechanisms. The expressiveness of OWL, however, is restricted due to decidability concerns. This is complemented by SWRL, a combination of subsets of OWL and RuleML, which contributes the use of Horn-like rules in conjunction with ontologies. It also provides extra inference capabilities for the ontologies. We consider a practical approach that exploits reasoning services on ontologies and rules based on current Semantic Web standards, to provide a framework for service composition. In this framework one can build ontologies and rules for the application domain, and utilizes the inference services to accomplish service composition. We also present an application for this framework and discuss some implementation issues. | en |
| dc.description.provenance | Made available in DSpace on 2021-06-13T16:52:37Z (GMT). No. of bitstreams: 1 ntu-94-R92725047-1.pdf: 940679 bytes, checksum: d9a803cc9031379db20321dfd8b83c4e (MD5) Previous issue date: 2005 | en |
| dc.description.tableofcontents | 1 Introduction 1
1.1 Motivation and Objectives . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Thesis Outline . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2 Background 4 2.1 Web Services . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1.1 WSDL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1.2 UDDI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2 Semantic Web Technology . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.1 RDF/RDF Schema . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.2 OWL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.2.3 SWRL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.3 Service Matching . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.4 Service Composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.4.1 Service Configuration in Description Logic . . . . . . . . . . . . . 15 2.4.2 OWL-S . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3 Preliminaries 19 3.1 Description Logics and Reasoning Services . . . . . . . . . . . . . . . . . 19 3.1.1 Description Logic Syntax and Semantics . . . . . . . . . . . . . . 20 3.1.2 Description Logic Reasoning Services . . . . . . . . . . . . . . . . 22 3.2 Reasoners for Description Logic . . . . . . . . . . . . . . . . . . . . . . . 24 3.2.1 RACER: A Semantic Web Inference Engine . . . . . . . . . . . . 25 3.2.2 Query Language . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 3.3 Description Logic Programs . . . . . . . . . . . . . . . . . . . . . . . . . 27 4 A Semantic-Based Service Composition Framework 30 4.1 Service Composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 4.2 Framework Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 4.3 The Presentation Layer . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 4.4 Service Modeling in the Ontology Layer . . . . . . . . . . . . . . . . . . . 34 4.4.1 Formulating Services . . . . . . . . . . . . . . . . . . . . . . . . . 34 4.4.2 Representing Service Attributes in Ontologies . . . . . . . . . . . 36 4.5 Inference Services in the Logic Layer . . . . . . . . . . . . . . . . . . . . 37 4.5.1 The Service Matchmaker . . . . . . . . . . . . . . . . . . . . . . . 39 4.5.2 The Service Composer . . . . . . . . . . . . . . . . . . . . . . . . 40 4.6 Service Execution in the Grounding Layer . . . . . . . . . . . . . . . . . 40 5 An Application: The Trip Planner 41 5.1 Modeling a Trip Service . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 5.2 Tourism Domain Ontologies . . . . . . . . . . . . . . . . . . . . . . . . . 43 5.2.1 Trip Requirements . . . . . . . . . . . . . . . . . . . . . . . . . . 44 5.2.2 Trip Advertisements . . . . . . . . . . . . . . . . . . . . . . . . . 48 5.3 Upper Ontologies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 5.3.1 The Location Ontology . . . . . . . . . . . . . . . . . . . . . . . . 56 5.3.2 The ValuePartition Ontology . . . . . . . . . . . . . . . . . . . . 57 5.3.3 The Time Ontology . . . . . . . . . . . . . . . . . . . . . . . . . . 58 5.4 Applying SWRL Rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 5.4.1 Extending Ontologies Semantics . . . . . . . . . . . . . . . . . . . 60 5.4.2 Arranging Services in Proper Order . . . . . . . . . . . . . . . . . 62 5.4.3 Checking Consistency . . . . . . . . . . . . . . . . . . . . . . . . . 64 5.5 The Trip Planner Application . . . . . . . . . . . . . . . . . . . . . . . . 67 5.5.1 The Trip Planner Plugin . . . . . . . . . . . . . . . . . . . . . . . 68 6 Conclusion 71 6.1 Contributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 6.2 Future Work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 | |
| dc.language.iso | en | |
| dc.title | 以語意網技術為基礎之網路服務組裝架構 | zh_TW |
| dc.title | A Semantic-Based Framework for Web Services Composition | en |
| dc.type | Thesis | |
| dc.date.schoolyear | 93-2 | |
| dc.description.degree | 碩士 | |
| dc.contributor.oralexamcommittee | 莊裕澤(Yuh-Jzer Joung),許永真(Yung-jen Hsu) | |
| dc.subject.keyword | 描述邏輯,本體論,網路本體論語言,法則,語意網,服務組裝,語意網法則語言,網路服務, | zh_TW |
| dc.subject.keyword | Description Logic,Ontology,OWL,Rules,Semantic Web,Service Composition,SWRL,Web Services, | en |
| dc.relation.page | 79 | |
| dc.rights.note | 有償授權 | |
| dc.date.accepted | 2005-06-21 | |
| dc.contributor.author-college | 管理學院 | zh_TW |
| dc.contributor.author-dept | 資訊管理學研究所 | zh_TW |
| 顯示於系所單位： | 資訊管理學系 | |
文件中的檔案：
| 檔案 | 大小 | 格式 | |
|---|---|---|---|
| ntu-94-1.pdf 目前未授權公開取用 | 918.63 kB | Adobe PDF |
系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。