-
1
-
-
58049216628
-
-
S. Agarwal, Formal description of Web services for expressive matchmaking, Ph.D. Thesis, University of Karlsruhe (TH), May 2007.
-
S. Agarwal, Formal description of Web services for expressive matchmaking, Ph.D. Thesis, University of Karlsruhe (TH), May 2007.
-
-
-
-
2
-
-
0003727420
-
-
Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P.F. (Eds), Cambridge University Press
-
In: Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P.F. (Eds). The Description Logic Handbook: Theory Implemenation and Applications (2003), Cambridge University Press
-
(2003)
The Description Logic Handbook: Theory Implemenation and Applications
-
-
-
3
-
-
0002546896
-
Graphical models for preference and utility
-
Besnard P., and Hanks S. (Eds). Morgan Kaufmann, Montreal, Quebec, Canada
-
Bacchus F., and Grove A. Graphical models for preference and utility. In: Besnard P., and Hanks S. (Eds). Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence. Morgan Kaufmann, Montreal, Quebec, Canada (1995)
-
(1995)
Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence
-
-
Bacchus, F.1
Grove, A.2
-
4
-
-
33745587348
-
Automatic composition of transition-based semantic Web services with messaging
-
Böhm K., Jensen C.S., Haas L.M., Kersten M.L., Larson P.-A., and Ooi B.C. (Eds), ACM, Trondheim, Norway
-
Berardi D., Calvanese D., Giacomo G.D., Hull R., and Mecella M. Automatic composition of transition-based semantic Web services with messaging. In: Böhm K., Jensen C.S., Haas L.M., Kersten M.L., Larson P.-A., and Ooi B.C. (Eds). VLDB'05: Proceedings of the 31st International Conference on Very Large Databases (2005), ACM, Trondheim, Norway
-
(2005)
VLDB'05: Proceedings of the 31st International Conference on Very Large Databases
-
-
Berardi, D.1
Calvanese, D.2
Giacomo, G.D.3
Hull, R.4
Mecella, M.5
-
5
-
-
84860561066
-
Planning with qualitative temporal preferences
-
Doherty P., Mylopoulos J., and Welty C.A. (Eds). AAAI Press, Lake District of the United Kingdom
-
Bienvenu M., Fritz C., and McIlraith S.A. Planning with qualitative temporal preferences. In: Doherty P., Mylopoulos J., and Welty C.A. (Eds). Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning. AAAI Press, Lake District of the United Kingdom (2006)
-
(2006)
Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning
-
-
Bienvenu, M.1
Fritz, C.2
McIlraith, S.A.3
-
6
-
-
0035483245
-
Fuzzy service selection in a distributed object-oriented environment
-
Bosc P., Damiani E., and Fugini M. Fuzzy service selection in a distributed object-oriented environment. IEEE Trans. Fuzzy Syst. 9 (2001) 682-698
-
(2001)
IEEE Trans. Fuzzy Syst.
, vol.9
, pp. 682-698
-
-
Bosc, P.1
Damiani, E.2
Fugini, M.3
-
7
-
-
58049208013
-
-
J. de Bruijn, H. Lausen, R. Krummenacher, A. Polleres, L. Predoiu, M. Kifer, D. Fensel, The Web Service Modeling Language WSML, WSML Final Draft WSMO Deliverable D16, DERI, http://www.wsmo.org/TR/d16/d16.1(October 2005).
-
J. de Bruijn, H. Lausen, R. Krummenacher, A. Polleres, L. Predoiu, M. Kifer, D. Fensel, The Web Service Modeling Language WSML, WSML Final Draft WSMO Deliverable D16, DERI, http://www.wsmo.org/TR/d16/d16.1(October 2005).
-
-
-
-
8
-
-
0037866797
-
Configuration knowledge representations for semantic Web applications
-
Felfernig A., Friedrich G., Jannach D., Stumptner M., and Zanker M. Configuration knowledge representations for semantic Web applications. Artif. Intell. Eng. Des. Anal. Manuf. 17 1 (2003) 31-50
-
(2003)
Artif. Intell. Eng. Des. Anal. Manuf.
, vol.17
, Issue.1
, pp. 31-50
-
-
Felfernig, A.1
Friedrich, G.2
Jannach, D.3
Stumptner, M.4
Zanker, M.5
-
10
-
-
33845461961
-
-
R. García, R. Gil, An OWL copyright ontology for semantic digital rights management, in: OTM, Workshops 2006: Workshop on Reliability in Decentralized Distributed Systems (RDDS), vol. 4278 of Lecture Notes in Computer Science, Springer, Montpellier, France, 2006.
-
R. García, R. Gil, An OWL copyright ontology for semantic digital rights management, in: OTM, Workshops 2006: Workshop on Reliability in Decentralized Distributed Systems (RDDS), vol. 4278 of Lecture Notes in Computer Science, Springer, Montpellier, France, 2006.
-
-
-
-
11
-
-
21144443897
-
Representing business contracts in RuleML
-
Governatori G. Representing business contracts in RuleML. Int. J. Cooper. Inform. Syst. 14 (2005) 181-216
-
(2005)
Int. J. Cooper. Inform. Syst.
, vol.14
, pp. 181-216
-
-
Governatori, G.1
-
13
-
-
38949128354
-
-
S. Grimm, P. Hitzler, Semantic matchmaking of resources with local closed-world reasoning, J. Electron. Commerce 12 (2), 89-126.
-
S. Grimm, P. Hitzler, Semantic matchmaking of resources with local closed-world reasoning, J. Electron. Commerce 12 (2), 89-126.
-
-
-
-
14
-
-
33746094615
-
Matching semantic service descriptions with local closed-world reasoning
-
Springer, Budva, Montenegro
-
Grimm S., Motik B., and Preist C. Matching semantic service descriptions with local closed-world reasoning. Proceedings of the Third European Semantic Web Conference (ESWC 2006), vol. 4011 of Lecture Notes in Computer Science. Springer, Budva, Montenegro (2006)
-
(2006)
Proceedings of the Third European Semantic Web Conference (ESWC 2006), vol. 4011 of Lecture Notes in Computer Science
-
-
Grimm, S.1
Motik, B.2
Preist, C.3
-
15
-
-
0442330459
-
SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions
-
Budapest, Hungary
-
Grosof B., and Poon T.C. SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. Proceedings of the 12th World Wide Web Conference. Budapest, Hungary (2003)
-
(2003)
Proceedings of the 12th World Wide Web Conference
-
-
Grosof, B.1
Poon, T.C.2
-
16
-
-
33749011446
-
A mapping system for the integration of OWL-DL ontologies
-
Hahn A., Abels S., and Haak L. (Eds), ACM Press, Bremen, Germany
-
Haase P., and Motik B. A mapping system for the integration of OWL-DL ontologies. In: Hahn A., Abels S., and Haak L. (Eds). IHIS 05: Proceedings of the First International Workshop on Interoperability of Heterogeneous Information Systems (2005), ACM Press, Bremen, Germany
-
(2005)
IHIS 05: Proceedings of the First International Workshop on Interoperability of Heterogeneous Information Systems
-
-
Haase, P.1
Motik, B.2
-
17
-
-
19944372098
-
A Proposal for an OWL rules language
-
ACM Press, New York, NY, USA
-
Horrocks I., and Patel-Schneider P.F. A Proposal for an OWL rules language. WWW '04: Proceedings of the 13th International Conference on World Wide Web (2004), ACM Press, New York, NY, USA
-
(2004)
WWW '04: Proceedings of the 13th International Conference on World Wide Web
-
-
Horrocks, I.1
Patel-Schneider, P.F.2
-
18
-
-
58049216625
-
-
I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, M. Dean, SWRL: A Semantic Web Rule Language Combining OWL and RuleML, W3C Submission, Available at http://www.w3.org/Submission/SWRL (May 2004).
-
I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, M. Dean, SWRL: A Semantic Web Rule Language Combining OWL and RuleML, W3C Submission, Available at http://www.w3.org/Submission/SWRL (May 2004).
-
-
-
-
19
-
-
85137613344
-
-
L. Hurwicz, The design of mechanisms for resource allocation, Am. Econ. Rev. 63 (2) (1973) 1-30.
-
L. Hurwicz, The design of mechanisms for resource allocation, Am. Econ. Rev. 63 (2) (1973) 1-30.
-
-
-
-
20
-
-
58049213638
-
-
L. Kagal, A policy-based approach to governing autonomous behavior in distributed environments, Ph.D. Thesis, University of Maryland Baltimore County, Baltimore, MD, November 2004.
-
L. Kagal, A policy-based approach to governing autonomous behavior in distributed environments, Ph.D. Thesis, University of Maryland Baltimore County, Baltimore, MD, November 2004.
-
-
-
-
21
-
-
58049218738
-
-
L. Kagal, T. Finin, A. Joshi, Declarative policies for describing Web service capabilities and constraints, in: W3C, Workshop on Constraints, Capabilities for Web services, W3C, Oracle Conference Center, Redwood Shores, CA, USA, 2004.
-
L. Kagal, T. Finin, A. Joshi, Declarative policies for describing Web service capabilities and constraints, in: W3C, Workshop on Constraints, Capabilities for Web services, W3C, Oracle Conference Center, Redwood Shores, CA, USA, 2004.
-
-
-
-
24
-
-
58049213637
-
-
W. Kiessling, Foundations of preferences in database systems, in: Proceedings of the 28th International Conference on Very Large Data Bases (VLDB'02), Hong Kong, China, 2002
-
W. Kiessling, Foundations of preferences in database systems, in: Proceedings of the 28th International Conference on Very Large Data Bases (VLDB'02), Hong Kong, China, 2002
-
-
-
-
27
-
-
33646426093
-
-
V. Kolovski, B. Parsia, Y. Katz, J.A. Hendler, Representing Web service policies in OWL-DL, in: Y. Gil, E. Motta, V.R. Benjamins M.A. Musen (Eds.), The Semantic Web-ISWC 2005, Fourth International Semantic Web Conference (ISWC 2005), vol. 3729 of Lecture Notes in Computer Science, Springer, Galway, Ireland, 2005
-
V. Kolovski, B. Parsia, Y. Katz, J.A. Hendler, Representing Web service policies in OWL-DL, in: Y. Gil, E. Motta, V.R. Benjamins M.A. Musen (Eds.), The Semantic Web-ISWC 2005, Fourth International Semantic Web Conference (ISWC 2005), vol. 3729 of Lecture Notes in Computer Science, Springer, Galway, Ireland, 2005
-
-
-
-
28
-
-
49049126479
-
Results on the propositional mu-calculus
-
Kozen D. Results on the propositional mu-calculus. Theor. Comput. Sci. 27 (1983) 333-354
-
(1983)
Theor. Comput. Sci.
, vol.27
, pp. 333-354
-
-
Kozen, D.1
-
29
-
-
58049215173
-
-
S. Lamparter, Policy-based contracting in semantic Web service markets, Ph.D. Thesis, University of Karlsruhe (TH), July 2007.
-
S. Lamparter, Policy-based contracting in semantic Web service markets, Ph.D. Thesis, University of Karlsruhe (TH), July 2007.
-
-
-
-
31
-
-
34547339717
-
A policy framework for trading configurable goods and services in open electronic markets
-
New Brunswick, Frederiction, Canada
-
Lamparter S., Ankolekar A., Oberle D., Studer R., and Weinhardt C. A policy framework for trading configurable goods and services in open electronic markets. Proceedings of the Eighth International Conference on Electronic Commerce (ICEC'06). New Brunswick, Frederiction, Canada (2006)
-
(2006)
Proceedings of the Eighth International Conference on Electronic Commerce (ICEC'06)
-
-
Lamparter, S.1
Ankolekar, A.2
Oberle, D.3
Studer, R.4
Weinhardt, C.5
-
32
-
-
58049216623
-
-
S. Lamparter, A. Ankolekar, D. Oberle, R. Studer, C. Weinhardt, Semantic specification and evaluation of bids in Web-based markets, Electron. Commerce Res. Appl. (ECRA) 8 (1), 2009.
-
S. Lamparter, A. Ankolekar, D. Oberle, R. Studer, C. Weinhardt, Semantic specification and evaluation of bids in Web-based markets, Electron. Commerce Res. Appl. (ECRA) 8 (1), 2009.
-
-
-
-
33
-
-
2442724029
-
A Description logic-based Configurator on the Web
-
McGuinness D.L., Isbell C., Parker M., Patel-Schneider P., Resnick L.A., and Welty C. A Description logic-based Configurator on the Web. SIGART Bull. 9 2 (1998) 20-22
-
(1998)
SIGART Bull.
, vol.9
, Issue.2
, pp. 20-22
-
-
McGuinness, D.L.1
Isbell, C.2
Parker, M.3
Patel-Schneider, P.4
Resnick, L.A.5
Welty, C.6
-
36
-
-
34250687582
-
Semantic WS-agreement partner selection
-
ACM Press, Edinburgh, Scotland
-
Oldham N., Verma K., Sheth A., and Hakimpour F. Semantic WS-agreement partner selection. WWW '06: Proceedings of the 15th International Conference on World Wide Web (2006), ACM Press, Edinburgh, Scotland
-
(2006)
WWW '06: Proceedings of the 15th International Conference on World Wide Web
-
-
Oldham, N.1
Verma, K.2
Sheth, A.3
Hakimpour, F.4
-
37
-
-
84864486684
-
Semantic matching of Web services capabilities
-
Horrocks I., and Hendler J.A. (Eds). Springer, Sardinia, Italy
-
Paolucci M., Kawamura T., Payne T.R., and Sycara K.P. Semantic matching of Web services capabilities. In: Horrocks I., and Hendler J.A. (Eds). The Semantic Web-ISWC 2002, First International Semantic Web Conference, vol. 2342 of LNCS. Springer, Sardinia, Italy (2002)
-
(2002)
The Semantic Web-ISWC 2002, First International Semantic Web Conference, vol. 2342 of LNCS
-
-
Paolucci, M.1
Kawamura, T.2
Payne, T.R.3
Sycara, K.P.4
-
38
-
-
58049213632
-
Verification, validation and integrity of distributed and interchanged rule based policies and contracts in the semantic Web
-
Athens, Georgia, USA
-
Paschke A. Verification, validation and integrity of distributed and interchanged rule based policies and contracts in the semantic Web. International Semantic Web and Policy Workshop (SWPW'06) at ISWC'06. Athens, Georgia, USA (2006)
-
(2006)
International Semantic Web and Policy Workshop (SWPW'06) at ISWC'06
-
-
Paschke, A.1
-
39
-
-
85013606047
-
Web service modeling ontology
-
Roman D., Keller U., Lausen H., de Bruijn J., Lara R., Stollberg M., Pollers A., Feier C., Bussler C., and Fensel D. Web service modeling ontology. Appl. Ontol. 1 1 (2005) 77-106
-
(2005)
Appl. Ontol.
, vol.1
, Issue.1
, pp. 77-106
-
-
Roman, D.1
Keller, U.2
Lausen, H.3
de Bruijn, J.4
Lara, R.5
Stollberg, M.6
Pollers, A.7
Feier, C.8
Bussler, C.9
Fensel, D.10
-
40
-
-
30944452380
-
DR-NEGOTIATE-a system for automated agent negotiation with defeasible logic-based strategies
-
IEEE Computer Society, Washington, DC, USA
-
Skylogiannis T., Antoniou G., Bassiliades N., and Governatori G. DR-NEGOTIATE-a system for automated agent negotiation with defeasible logic-based strategies. EEE '05: Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05). IEEE Computer Society, Washington, DC, USA (2005)
-
(2005)
EEE '05: Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05)
-
-
Skylogiannis, T.1
Antoniou, G.2
Bassiliades, N.3
Governatori, G.4
-
41
-
-
0001132880
-
Local model checking in the modal mu-calculus
-
Stirling C., and Walker D. Local model checking in the modal mu-calculus. Theor. Comput. Sci. 89 1 (1991) 161-177
-
(1991)
Theor. Comput. Sci.
, vol.89
, Issue.1
, pp. 161-177
-
-
Stirling, C.1
Walker, D.2
-
42
-
-
33749080579
-
Automated discovery, interaction and composition of semantic Web services
-
Sycara K., Paolucci M., Ankolekar A., and Srinivasan N. Automated discovery, interaction and composition of semantic Web services. J. Web Semant. 1 1 (2003) 27-46
-
(2003)
J. Web Semant.
, vol.1
, Issue.1
, pp. 27-46
-
-
Sycara, K.1
Paolucci, M.2
Ankolekar, A.3
Srinivasan, N.4
-
43
-
-
14344269579
-
The complexity of reasoning with cardinality restrictions and nominals in expressive description logics
-
Tobies S. The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. J. Artif. Intell. Res. (JAIR) 12 (2000) 199-217
-
(2000)
J. Artif. Intell. Res. (JAIR)
, vol.12
, pp. 199-217
-
-
Tobies, S.1
-
45
-
-
4344696700
-
KAoS policy management for semantic Web services
-
Uszok A., Bradshaw J.M., Johnson M., Jeffers R., Tate A., Dalton J., and Aitken S. KAoS policy management for semantic Web services. IEEE Intell. Syst. 19 4 (2004) 32-41
-
(2004)
IEEE Intell. Syst.
, vol.19
, Issue.4
, pp. 32-41
-
-
Uszok, A.1
Bradshaw, J.M.2
Johnson, M.3
Jeffers, R.4
Tate, A.5
Dalton, J.6
Aitken, S.7
-
47
-
-
58049213631
-
-
W3C, Web Ontology Language (OWL), http://www.w3.org/2004/OWL/, 2004.
-
W3C, Web Ontology Language (OWL), http://www.w3.org/2004/OWL/, 2004.
-
-
-
|