-
1
-
-
33744949899
-
Web Service Semantics-WSDL-S
-
Technical note, April 2005. Available at
-
Akkiraju R, Farrell J, Miller J, Nagarajan M, Schmidt M, Sheth A, Verma, K. 2005.Web Service Semantics - WSDL-S. Technical note, April 2005. Available at http://lsdis.cs.uga.edu/library/download/WSDL-S-V1.html.
-
(2005)
-
-
Akkiraju, R.1
Farrell, J.2
Miller, J.3
Nagarajan, M.4
Schmidt, M.5
Sheth, A.6
Verma, K.7
-
2
-
-
1642298252
-
Web Services: Concepts, Architecture and Applications
-
Springer-Verlag
-
Alonso G, Casati F, Kuno H, Machiraju V. 2004. Web Services: Concepts, Architecture and Applications. Springer-Verlag.
-
(2004)
-
-
Alonso, G.1
Casati, F.2
Kuno, H.3
Machiraju, V.4
-
3
-
-
0142131371
-
Web Services Choreography Interface 1.0
-
June 2002. Available at
-
Arkin A, Askary S, Fordin S, Jekeli W, Kawaguchi K, Orchard D, Pogliani S, Riemer K, Struble S, Takacsi-Nagy P, Trickovic I, Zimek S. 2002. Web Services Choreography Interface 1.0, June 2002. Available at http://www.w3.org/ TR/wsci/.
-
(2002)
-
-
Arkin, A.1
Askary, S.2
Fordin, S.3
Jekeli, W.4
Kawaguchi, K.5
Orchard, D.6
Pogliani, S.7
Riemer, K.8
Struble, S.9
Takacsi-Nagy, P.10
Trickovic, I.11
Zimek, S.12
-
4
-
-
19944367379
-
A shared service terminology for online service provisioning
-
In ICEC '04: Proceedings of the 6th international conference on Electronic commerce
-
Baida Z, Gordijn J, Omelayenko B, Akkermans H. 2005. A shared service terminology for online service provisioning. In ICEC '04: Proceedings of the 6th international conference on Electronic commerce.
-
(2005)
-
-
Baida, Z.1
Gordijn, J.2
Omelayenko, B.3
Akkermans, H.4
-
6
-
-
0000733226
-
HiLog: A foundation for higher-order Logic Programming
-
Chen W, Kifer M, Warren DS. 2003. HiLog: A foundation for higher-order Logic Programming. Journal of Logic Programming 15:3, 187-230.
-
(2003)
Journal of Logic Programming
, vol.15
, Issue.3
, pp. 187-230
-
-
Chen, W.1
Kifer, M.2
Warren, D.S.3
-
7
-
-
33745161253
-
Overview and Scope of WSMX
-
Technical report, WSMX Working Draft, February 2005
-
Cimpian E, Moran M, Oren E, Vitvar T, Zaremba M. 2005. Overview and Scope of WSMX. Technical report, WSMX Working Draft, http://www.wsmo.org/TR/ d13/d13.0/v0.2/, February 2005.
-
(2005)
-
-
Cimpian, E.1
Moran, M.2
Oren, E.3
Vitvar, T.4
Zaremba, M.5
-
8
-
-
33749044714
-
The Web Service Modeling Language WSML
-
WSMO Deliverable D16, WSMO Final Draft v0.2, 2005
-
de Bruijn J, editor. 2005. The Web Service Modeling Language WSML. WSMO Deliverable D16, WSMO Final Draft v0.2, 2005, http://www.wsmo.org/TR/ d16/d16.1/v0.2/.
-
(2005)
-
-
De Bruijn, J.1
-
9
-
-
33646180839
-
OWL FLight: Conceptual modeling and reasoning for the semantic web
-
In Proceedings of the 14th International World Wide Web Conference
-
de Bruijn J, Polleres A, Lara R, Fensel D. 2005a Owl DL vs. OWL FLight: Conceptual modeling and reasoning for the semantic web. In Proceedings of the 14th International World Wide Web Conference.
-
(2005)
-
-
de Bruijn, J.1
Polleres, A.2
Lara, R.3
Fensel, D.4
-
10
-
-
0344303397
-
OWL Web Ontology Language Reference
-
W3C Recommendation 10 February 2004
-
Dean M, Schreiber G, editors. 2004. OWL Web Ontology Language Reference. W3C Recommendation 10 February 2004.
-
(2004)
-
-
Dean, M.1
Schreiber, G.2
-
11
-
-
84889274670
-
Irs-iii: A platform and infrastructure for creating WSMO-based semantic web services
-
In Proceedings of the Workshop on WSMO Implementations (WIW 2004), Frankfurt, Germany, September 2004. CEUR
-
Domingue J, Cabral L, Hakimpour F, Sell D, Motta E. 2004. Irs-iii: A platform and infrastructure for creating WSMO-based semantic web services. In Proceedings of the Workshop on WSMO Implementations (WIW 2004), Frankfurt, Germany, September 2004. CEUR.
-
(2004)
-
-
Domingue, J.1
Cabral, L.2
Hakimpour, F.3
Sell, D.4
Motta, E.5
-
12
-
-
33646391915
-
Choreography in IRS-III- Coping with Heterogeneous Interaction Patterns in Web Services
-
In Proceedings of 4th International Semantic Web Conference (ISWC 2005), 6-10 November, Galway, Ireland. 16
-
Domingue J, Galizia S, Cabral L. 2005. Choreography in IRS-III- Coping with Heterogeneous Interaction Patterns in Web Services. In Proceedings of 4th International Semantic Web Conference (ISWC 2005), 6-10 November, Galway, Ireland. 16 http://www.w3.org/
-
(2005)
-
-
Domingue, J.1
Galizia, S.2
Cabral, L.3
-
14
-
-
0442314878
-
A Courteous Compiler From Generalized Courteous Logic Programs To Ordinary Logic Programs
-
July, IBM Report included as part of documentation in the IBM CommonRules 1.0 software toolkit and documentation, released on, Also available at
-
Grosof BN. July 1999. A Courteous Compiler From Generalized Courteous Logic Programs To Ordinary Logic Programs. IBM Report included as part of documentation in the IBM CommonRules 1.0 software toolkit and documentation, released on http://alphaworks.ibm.com. Also available at: http://ebusiness. mit.edu/bgrosof/#gclp-rr-99k.
-
(1999)
-
-
Grosof, B.N.1
-
15
-
-
84880493386
-
Description logic programs: Combining logic programs with description logic
-
In Proceedings of International Conference on the World Wide Web (WWW-2003), Budapest, Hungary. Gruninger M. 2003. A guide to the ontology of the process specification language. In Handbook on Ontologies in Information Systems, Studer R, Staab S (eds). Springer-Verlag
-
Grosof BN, Horrocks I, Volz R, Decker S. 2003. Description logic programs: Combining logic programs with description logic. In Proceedings of International Conference on the World Wide Web (WWW-2003), Budapest, Hungary. Gruninger M. 2003. A guide to the ontology of the process specification language. In Handbook on Ontologies in Information Systems, Studer R, Staab S (eds). Springer-Verlag.
-
(2003)
-
-
Grosof, B.N.1
Horrocks, I.2
Volz, R.3
Decker, S.4
-
16
-
-
84889478796
-
Integration of OWL-S into IRS-III
-
In Proceedings of the first AKT Workshop on Semantic Web Services
-
Hakimpour F, Domingue J, Motta E, Cabral L, Lei Y. 2004. Integration of OWL-S into IRS-III. In Proceedings of the first AKT Workshop on Semantic Web Services.
-
(2004)
-
-
Hakimpour, F.1
Domingue, J.2
Motta, E.3
Cabral, L.4
Lei, Y.5
-
17
-
-
84945708698
-
An axiomatic basis for computer programming
-
Hoare CAR. 1969. An axiomatic basis for computer programming. Communications of the ACM 12(10):576-580.
-
(1969)
Communications of the ACM
, vol.12
, Issue.10
, pp. 576-580
-
-
Hoare, C.A.R.1
-
18
-
-
18744404327
-
Swrl: A semantic web rule language combining owl and ruleml
-
Available at
-
Horrocks I, Patel-Schneider PF, Boley H, Tabet S, Grosof B, Dean M. 2003. Swrl: A semantic web rule language combining owl and ruleml. Available at http:// www.daml.org/2003/11/swrl/.
-
(2003)
-
-
Horrocks, I.1
Patel-Schneider, P.F.2
Boley, H.3
Tabet, S.4
Grosof, B.5
Dean, M.6
-
19
-
-
26444607883
-
WSMO Web Service Discovery
-
WSMO Deliverable D5.1, WSMO Working Draft, latest version available at
-
Keller U, Lara R, Polleres A, editors. 2004. WSMO Web Service Discovery. WSMO Deliverable D5.1, WSMO Working Draft, latest version available at http:// www.wsmo.org/2004/d5/d5.1/.
-
(2004)
-
-
Keller, U.1
Lara, R.2
Polleres, A.3
-
20
-
-
84889319137
-
Draft proposed American National Standard (dpans)
-
Knowledge Interchange Format (KIF) Technical Report 2/98-004, ANS. Also at
-
Knowledge Interchange Format (KIF). 1998. Draft proposed American National Standard (dpans). Technical Report 2/98-004, ANS. Also at http://logic.stanford. edu/kif/dpans.html.
-
(1998)
-
-
-
21
-
-
34547525597
-
A logical framework for web service discovery
-
In ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, Hiroshima, Japan, November 2004
-
Kifer M, Lara R, Polleres A, Zhao C, Keller U, Lausen H, Fensel D. 2004. A logical framework for web service discovery. In ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, Hiroshima, Japan, November 2004.
-
(2004)
-
-
Kifer, M.1
Lara, R.2
Polleres, A.3
Zhao, C.4
Keller, U.5
Lausen, H.6
Fensel, D.7
-
22
-
-
0029333530
-
Logical foundations of object-oriented and framebased languages
-
Kifer M, Lausen G, Wu J. 1995. Logical foundations of object-oriented and framebased languages. JACM 42(4):741-843.
-
(1995)
JACM
, vol.42
, Issue.4
, pp. 741-843
-
-
Kifer, M.1
Lausen, G.2
Wu, J.3
-
23
-
-
3543137973
-
Resource description framework (rdf): Concepts and abstract syntax
-
W3C Recommendation. Available at
-
Klyne G, Carroll JJ. 2004. Resource description framework (rdf): Concepts and abstract syntax. W3C Recommendation. Available at http://www.w3.org/TR/ 2004/REC-rdf-concepts-20040210.
-
(2004)
-
-
Klyne, G.1
Carroll, J.J.2
-
24
-
-
0003453263
-
Foundations of Logic Programming (second, extended edition)
-
Springer series in symbolic computation. Springer-Verlag: New York
-
Lloyd JW. 1987. Foundations of Logic Programming (second, extended edition). Springer series in symbolic computation. Springer-Verlag: New York.
-
(1987)
-
-
Lloyd, J.W.1
-
25
-
-
0035269007
-
Semantic Web Services
-
Special Issue on the Semantic Web
-
McIlraith S, Son TC, Zeng H. 2001. Semantic Web Services. In IEEE Intelligent Systems. Special Issue on the Semantic Web 16(2):46-53.
-
(2001)
In IEEE Intelligent Systems
, vol.16
, Issue.2
, pp. 46-53
-
-
McIlraith, S.1
Son, T.C.2
Zeng, H.3
-
26
-
-
0039931119
-
An Overview of the OCML Modelling Language
-
In proceedings of the 8th Workshop on Knowledge Engineering Methods and Languages (KEML '98)
-
Motta E. 1998. An Overview of the OCML Modelling Language. In proceedings of the 8th Workshop on Knowledge Engineering Methods and Languages (KEML '98).
-
(1998)
-
-
Motta, E.1
-
27
-
-
84902609284
-
Automated Planning: Theory & Practice
-
Morgan Kaufmann Publishers Inc.: San Francisco, CA, USA
-
Nau D, Ghallab M, Traverso P. 2004. Automated Planning: Theory & Practice. Morgan Kaufmann Publishers Inc.: San Francisco, CA, USA.
-
(2004)
-
-
Nau, D.1
Ghallab, M.2
Traverso, P.3
-
28
-
-
26444563348
-
The OWL Services Coalition
-
OWL-S 1.1 Available from November 2004
-
The OWL Services Coalition. OWL-S 1.1. 2004. Available from http://www.daml.org/services/owl-s/1.1/, November 2004.
-
(2004)
-
-
-
29
-
-
0037753394
-
Meta object facility (MOF) specification v1.4
-
Object Management Group Inc. (OMG), PDDL-The Planning Domain Definition Language V. 2. 1998, Technical Report, report CVC TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control
-
Object Management Group Inc. (OMG). 2002. Meta object facility (MOF) specification v1.4. PDDL-The Planning Domain Definition Language V. 2. 1998. Technical Report, report CVC TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control.
-
(2002)
-
-
-
30
-
-
26444537428
-
A conceptual architecture for semantic web services
-
In 3rd International Semantic Web Conference (ISWC2004). Springer Verlag: XX, November 2004
-
Preist C. 2004. A conceptual architecture for semantic web services. In 3rd International Semantic Web Conference (ISWC2004). Springer Verlag: XX, November 2004.
-
(2004)
-
-
Preist, C.1
-
31
-
-
0001226965
-
LispWeb: A Specialised HTTP Server for Distributed AI Applications
-
Riva A, Ramoni M. 1996. LispWeb: A Specialised HTTP Server for Distributed AI Applications. Computer Networks and ISDN Systems 28: 7-11, 953-961.
-
(1996)
Computer Networks and ISDN Systems
, vol.28
-
-
Riva, A.1
Ramoni, M.2
-
32
-
-
31544477011
-
Web Service Modeling Ontology (WSMO)
-
WSMO Working Draft D2v1.2, April 2005. Available from
-
Roman D, Lausen H, Keller U, editors. 2005. Web Service Modeling Ontology (WSMO). WSMO Working Draft D2v1.2, April 2005. Available from http:// www.wsmo.org/TR/d2/v1.2/.
-
(2005)
-
-
Roman, D.1
Lausen, H.2
Keller, U.3
-
33
-
-
35148867351
-
Semantic Web Services Framework
-
SWSF Version 1.0, Available from
-
Semantic Web Services Framework. SWSF Version 1.0. 2005. Available from http://www.daml.org/services/swsf/1.0/.
-
(2005)
-
-
-
34
-
-
77950277662
-
UDDI Version 3.0.2
-
October 2004. Available at
-
UDDI Version 3.0.2. 2004. OASIS Standard, October 2004. Available at http:// www.oasis-pen.org/committees/uddi-spec/doc/spec/v3/uddi-v3.0.2- 20041019.htm.
-
(2004)
OASIS Standard
-
-
-
35
-
-
0003733221
-
Dublin core metadata for resource discovery
-
RFC 2413, IETF, September 1998
-
Weibel S, Kunze J, Lagoze C, Wolf M. 1998. Dublin core metadata for resource discovery. RFC 2413, IETF, September 1998.
-
(1998)
-
-
Weibel, S.1
Kunze, J.2
Lagoze, C.3
Wolf, M.4
-
36
-
-
10444235367
-
Web Services Choreography Description Language (WS-CDL) Version 1.0
-
Working Draft, W3C, December 2004. Available at
-
Web Services Choreography Description Language (WS-CDL) Version 1.0. 2004. Working Draft, W3C, December 2004. Available at http://www.w3.org/TR/ 2004/WD-ws-cdl-10-20041217/.
-
(2004)
-
-
-
37
-
-
10444255768
-
Web Services Description Language (WSDL) Version 2.0
-
Last Call Working Draft, W3C WS Description Working Group, August 2005. Available at
-
Web Services Description Language (WSDL) Version 2.0. 2005. Last Call Working Draft, W3C WS Description Working Group, August 2005. Available at http:// www.w3.org/TR/2005/WD-wsdl20-20050803.
-
(2005)
-
-
-
38
-
-
84889481127
-
XML Protocol Working Group
-
Technical report, June 2003. W3C Recommendation. Available from
-
XML Protocol Working Group. 2003. Soap version 1.2. Technical report, June 2003. W3C Recommendation. Available from http://www.w3.org/TR/2003/RECsoap12- part0-20030624/
-
(2003)
Soap version 1.2
-
-
-
39
-
-
84889310894
-
Structures Recommendation
-
XML Schema Part 1, W3C, October 2004. Available at
-
XML Schema Part 1. 2004. Structures Recommendation, W3C, October 2004. Available at http://www.w3.org/TR/xmlschema-1/.
-
(2004)
-
-
-
40
-
-
84889314356
-
XSL Transformations
-
W3C, November 1999. Available at
-
XSL Transformations. 1999. Recommendation, W3C, November 1999. Available at http://www.w3.org/TR/xslt.
-
(1999)
Recommendation
-
-
-
41
-
-
84871020933
-
WSMX Execution Semantics
-
Technical report, WSMX Working Draft, April 2005
-
Zaremba M, Oren E. 2005. WSMX Execution Semantics. Technical report, WSMX Working Draft, http://www.wsmo.org/TR/d13/d13.2/v0.2/, April 2005.
-
(2005)
-
-
Zaremba, M.1
Oren, E.2
-
42
-
-
33745154367
-
WSMX Architecture
-
Technical report, WSMX Working Draft, April 2005
-
Zaremba M, Moran M, Haselwanter T. 2005. WSMX Architecture. Technical report, WSMX Working Draft, http://www.wsmo.org/TR/d13/d13.4/v0.2/, April 2005.
-
(2005)
-
-
Zaremba, M.1
Moran, M.2
Haselwanter, T.3
|