-
1
-
-
17744365680
-
Ontologies in F-logic
-
S. Staab, R. Studer, eds, Springer
-
J. Angele and G. Lausen, Ontologies in F-logic, In: Handbook on Ontologies, S. Staab, R. Studer, eds., Springer, 2004.
-
(2004)
Handbook on Ontologies
-
-
Angele, J.1
Lausen, G.2
-
3
-
-
84876806665
-
Semantic-enriched Service Discovery
-
Atlanta, Georgia, USA
-
D. Bianehini, V. De Antonellis, M. Melchiori and D. Salvi, Semantic-enriched Service Discovery, in: Proceedings of IEEE ICDE 2nd International Workshop on Challenges in Web Information Retrieval and Integration (WIRI06), Atlanta, Georgia, USA, 2006.
-
(2006)
Proceedings of IEEE ICDE 2nd International Workshop on Challenges in Web Information Retrieval and Integration (WIRI06)
-
-
Bianehini, D.1
De Antonellis, V.2
Melchiori, M.3
Salvi, D.4
-
4
-
-
33751024094
-
Towards Generic Retrieval in Ontologies Using Similarity Joins
-
Imprecise RDQL:, Dijon, France, ACM Press
-
A. Bernstein and C. Kiefer, Imprecise RDQL: Towards Generic Retrieval in Ontologies Using Similarity Joins, in: Proceedings ACM Symposium on Applied Computing, Dijon, France, ACM Press, 2006.
-
(2006)
Proceedings ACM Symposium on Applied Computing
-
-
Bernstein, A.1
Kiefer, C.2
-
5
-
-
62449106844
-
-
L. Botelho, A. Fernandez, B. Fries, M. Klusch, L. Pereira, T. Santos, P. Pais and M. Vasirani, Service Discovery, in: CAS- COM - Intelligent Service Coordination in the Semantic Web, M. Schumacher, H. Helin, eds., Chapter 10, Birkhauser Verlag, Springer, 2008.
-
L. Botelho, A. Fernandez, B. Fries, M. Klusch, L. Pereira, T. Santos, P. Pais and M. Vasirani, Service Discovery, in: CAS- COM - Intelligent Service Coordination in the Semantic Web, M. Schumacher, H. Helin, eds., Chapter 10, Birkhauser Verlag, Springer, 2008.
-
-
-
-
6
-
-
38149114597
-
Decidability Under the Weil-Founded Semantics
-
Proceedings of the First International Conference on Web Reasoning and Rule Systems, RR2007, Massimo Marchiori. Jeff Z. Pan, Christian de Sainte Marie, Innsbruck, Austria, June, of, Springer, June
-
Natalia Cherchago, Pascal Hitzler and Steffen Holldobler, Decidability Under the Weil-Founded Semantics, in: Proceedings of the First International Conference on Web Reasoning and Rule Systems, RR2007, Massimo Marchiori. Jeff Z. Pan, Christian de Sainte Marie, Innsbruck, Austria, June 2007, volume 4524 of Lecture Notes in Computer Science, Springer, June 2007, pp. 269-278.
-
(2007)
Lecture Notes in Computer Science
, vol.4524
, pp. 269-278
-
-
Cherchago, N.1
Hitzler, P.2
Holldobler, S.3
-
7
-
-
0038062314
-
Complexity and expressive power of logic programming
-
E. Dantsin, T. Eiter, G. Gottlob and A. Voronkov, Complexity and expressive power of logic programming, ACM Computing Surveys 33(3) (2001).
-
(2001)
ACM Computing Surveys
, vol.33
, Issue.3
-
-
Dantsin, E.1
Eiter, T.2
Gottlob, G.3
Voronkov, A.4
-
8
-
-
84883787384
-
The Mediators Centtic Approach to Automatic Web Service Discovery of GLUE
-
E. Delia Valle, D. Cerizza and I. Celino, The Mediators Centtic Approach to Automatic Web Service Discovery of GLUE, in: Proceedings of 1st International Workshop on Mediation in Semantic Web Services (MEDIATE), CEUR Workshop proceedings, 2005, pp. 168.
-
(2005)
Proceedings of 1st International Workshop on Mediation in Semantic Web Services (MEDIATE), CEUR Workshop proceedings
, pp. 168
-
-
Delia Valle, E.1
Cerizza, D.2
Celino, I.3
-
11
-
-
38149026368
-
A role-based support mechanism for service description and discovery
-
Service-Oriented Computing: Agents, Semantics, and Engineering, Huang et al. eds, Springer
-
A. Fernandez, M. Vasirani, C. Caceres and S. Ossowski, A role-based support mechanism for service description and discovery, in: Service-Oriented Computing: Agents, Semantics, and Engineering, Huang et al. eds., LNCS 4504, Springer, 2007.
-
(2007)
LNCS
, vol.4504
-
-
Fernandez, A.1
Vasirani, M.2
Caceres, C.3
Ossowski, S.4
-
12
-
-
0022044036
-
On the efficiency of subsumption algorithms
-
G. Gottlob and A. Leitsch, On the efficiency of subsumption algorithms, Journal of the ACM 32(2) (1985).
-
(1985)
Journal of the ACM
, vol.32
, Issue.2
-
-
Gottlob, G.1
Leitsch, A.2
-
13
-
-
84945708698
-
An axiomatic basis for computer programming
-
C.A.R. Hoare, An axiomatic basis for computer programming, Communications of the ACM 12(10) (1969).
-
(1969)
Communications of the ACM
, vol.12
, Issue.10
-
-
Hoare, C.A.R.1
-
14
-
-
38649134191
-
A Logic Programming Based Hybrid Service Matchmaker
-
WSMO-MX:, Zurich, Switzerland
-
F. Kaufer and M. Klusch, WSMO-MX: A Logic Programming Based Hybrid Service Matchmaker, in: Proceedings of the 4th IEEE European Conference on Web Services (ECOWS 2006), IEEE CS Press, Zurich, Switzerland, 2006.
-
(2006)
Proceedings of the 4th IEEE European Conference on Web Services (ECOWS 2006), IEEE CS Press
-
-
Kaufer, F.1
Klusch, M.2
-
16
-
-
62449326549
-
-
M. Klusch, Semantic Web Service Coordination, in: CAS- COM- Intelligent Service Coordination in the Semantic Web, M. Schumacher, H. Helin, H. Schuldt, eds., Chapter 4, Birkhäuser Verlag, Springer, 2008.
-
M. Klusch, Semantic Web Service Coordination, in: CAS- COM- Intelligent Service Coordination in the Semantic Web, M. Schumacher, H. Helin, H. Schuldt, eds., Chapter 4, Birkhäuser Verlag, Springer, 2008.
-
-
-
-
17
-
-
57749177714
-
Preliminary Results
-
Performance of Hybrid WSML Service Matching with WSMO-MX:, Busan, Korea
-
M. Klusch and F. Kaufer, Performance of Hybrid WSML Service Matching with WSMO-MX: Preliminary Results, in: Proceedings of the 1st Intl. Joint Workshop on Semantic Matchmaking and Resource Retrieval, at Intl. Semantic Web Conference, Busan, Korea, 2007.
-
(2007)
Proceedings of the 1st Intl. Joint Workshop on Semantic Matchmaking and Resource Retrieval, at Intl. Semantic Web Conference
-
-
Klusch, M.1
Kaufer, F.2
-
18
-
-
26444438178
-
Automatic Location of Services
-
Proceedings of the 2nd European Semantic Web Conference ESWC, Heraklion, Crete, Springer
-
U. Keller, R. Lara, H. Lausen, A. Polleres and D. Fensel, Automatic Location of Services, in: Proceedings of the 2nd European Semantic Web Conference (ESWC), Heraklion, Crete, LNCS 3532, Springer, 2005.
-
(2005)
LNCS
, vol.3532
-
-
Keller, U.1
Lara, R.2
Lausen, H.3
Polleres, A.4
Fensel, D.5
-
19
-
-
0029333530
-
Logical Foundations of Object- Oriented and Frame-Based Languages
-
M. Kifer, G. Lausen and J. Wu, Logical Foundations of Object- Oriented and Frame-Based Languages, Journal of the ACM 42(4) (1995).
-
(1995)
Journal of the ACM
, vol.42
, Issue.4
-
-
Kifer, M.1
Lausen, G.2
Wu, J.3
-
20
-
-
34547525597
-
A Logical Framework for Web Service Discovery
-
M. Kifer, R. Lara, A. Polleres, C. Zhao, U. Keller, H. Lausen and D. Fensel, A Logical Framework for Web Service Discovery, in: Proceedings of the ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, CEUR Workshop Proceedings, 2004, pp. 119.
-
(2004)
Proceedings of the ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, CEUR Workshop Proceedings
, pp. 119
-
-
Kifer, M.1
Lara, R.2
Polleres, A.3
Zhao, C.4
Keller, U.5
Lausen, H.6
Fensel, D.7
-
21
-
-
35348879972
-
DIANE: An integrated approach to automated service discovery, matchmaking and composition
-
Banff, Alberta, Canada, May 8-12, ACM 2007
-
U. Küster, B. König-Ries, M. Stern and M. Klein, DIANE: an integrated approach to automated service discovery, matchmaking and composition, in: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007, ACM 2007.
-
(2007)
Proceedings of the 16th International Conference on World Wide Web, WWW
-
-
Küster, U.1
König-Ries, B.2
Stern, M.3
Klein, M.4
-
24
-
-
52149106208
-
A Case Study with OWLS-MX
-
Hybrid Semantic Web Service Retrieval:, IEEE Press, USA
-
M. Klusch, B. Fries and P. Kapahnke, Hybrid Semantic Web Service Retrieval: A Case Study with OWLS-MX, in: Proceedings of 2nd IEEE International Conference on Semantic Computing, IEEE Press, USA, 2008.
-
(2008)
Proceedings of 2nd IEEE International Conference on Semantic Computing
-
-
Klusch, M.1
Fries, B.2
Kapahnke, P.3
-
25
-
-
33845426597
-
Automated Semantic Web Service Discovery with OWLS-MX
-
Japan, ACM Press
-
M. Klusch, B. Fries and K. Sycara, Automated Semantic Web Service Discovery with OWLS-MX, in: Proc. 5th Intl. Conference on Autonomous Agents and Multi-Agent Systems (AA-MAS), Hakodate, Japan, ACM Press, 2006.
-
(2006)
Proc. 5th Intl. Conference on Autonomous Agents and Multi-Agent Systems (AA-MAS), Hakodate
-
-
Klusch, M.1
Fries, B.2
Sycara, K.3
-
26
-
-
57149129145
-
A flexible model for Web service discovery
-
Seoul, South Korea
-
R. Lara, M. Angel Corella and P. Castells, A flexible model for Web service discovery, in: Proceedings of the 1st International Workshop on Semantic Matchmaking and Resource Retrieval: Issues and Perspectives, Seoul, South Korea, 2006.
-
(2006)
Proceedings of the 1st International Workshop on Semantic Matchmaking and Resource Retrieval: Issues and Perspectives
-
-
Lara, R.1
Angel Corella, M.2
Castells, P.3
-
28
-
-
0028429573
-
Inductive Logic Programming: Theory and Applications
-
S. Muggleton and L. De Raedt, Inductive Logic Programming: Theory and Applications, Logic Programming 19(20) (1994).
-
(1994)
Logic Programming
, vol.19
, Issue.20
-
-
Muggleton, S.1
De Raedt, L.2
-
29
-
-
84918983692
-
A machine-oriented logic based on the resolution principle
-
J.A. Robinson, A machine-oriented logic based on the resolution principle, Journal of the ACM 12(1) (1965).
-
(1965)
Journal of the ACM
, vol.12
, Issue.1
-
-
Robinson, J.A.1
-
30
-
-
62449237647
-
Efficient Algorithms for theta-Subsumption
-
Inductive Logic Programming, 6th International Workshop, Selected Papers, Springer Verlag Berlin
-
T. Scheffer, R. Herbrich and F. Wysotzki, Efficient Algorithms for theta-Subsumption, in: Inductive Logic Programming, 6th International Workshop, Selected Papers, LNAI 1314, Springer Verlag Berlin, 1996, pp. 212-228.
-
(1996)
LNAI
, vol.1314
, pp. 212-228
-
-
Scheffer, T.1
Herbrich, R.2
Wysotzki, F.3
-
31
-
-
34548083451
-
Two-phase web service discovery based on rich functional descriptions
-
Proceedings of European Semantic Web Conference, Buda, Montenegro, Springer
-
M. Stollberg, U. Keller, H. Lausen and S. Heymans, Two-phase web service discovery based on rich functional descriptions, in: Proceedings of European Semantic Web Conference, Buda, Montenegro, LNCS, Springer, 2007.
-
(2007)
LNCS
-
-
Stollberg, M.1
Keller, U.2
Lausen, H.3
Heymans, S.4
-
32
-
-
0036271789
-
Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
-
LARKS
-
K. Sycara, S. Widoff, M. Klusch and J. Lu, LARKS: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace, Autonomous Agents and Multi-Agent Systems 5(2) (2002).
-
(2002)
Autonomous Agents and Multi-Agent Systems
, vol.5
, Issue.2
-
-
Sycara, K.1
Widoff, S.2
Klusch, M.3
Lu, J.4
-
33
-
-
71149116148
-
The well-founded semantics for general logic programs
-
A. van Gelder, K. Ross and J.S. Schlipf, The well-founded semantics for general logic programs, Journal of the ACM 38(3) (1991)620-650.
-
(1991)
Journal of the ACM
, vol.38
, Issue.3
, pp. 620-650
-
-
van Gelder, A.1
Ross, K.2
Schlipf, J.S.3
-
34
-
-
62449177793
-
-
L.H. Vu, M. Hauswirth, F. Porto and K. Aberer, A Search Engine for QoS-enabled Discovery of Semantic Web Services, Ecole Politechnique Federal de Lausanne, LSIR-REPORT-2006-002, Switzerland, 2006. Also available in the Special Issue of the International Journal of Business Process Integration and Management (IJBPIM) (2006).
-
L.H. Vu, M. Hauswirth, F. Porto and K. Aberer, A Search Engine for QoS-enabled Discovery of Semantic Web Services, Ecole Politechnique Federal de Lausanne, LSIR-REPORT-2006-002, Switzerland, 2006. Also available in the Special Issue of the International Journal of Business Process Integration and Management (IJBPIM) (2006).
-
-
-
-
35
-
-
26444609912
-
Weil-Founded Optimism: Inheritance in Frame-Based Knowledge Bases
-
Irvine, California
-
G. Yang and M. Kifer, Weil-Founded Optimism: Inheritance in Frame-Based Knowledge Bases, in: Proceedings of 1st International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Irvine, California, 2002.
-
(2002)
Proceedings of 1st International Conference on Ontologies, Databases and Applications of Semantics (ODBASE)
-
-
Yang, G.1
Kifer, M.2
|