Sciweavers

1184 search results - page 69 / 237
» Description Logics for the Semantic Web
Sort
View
ESWS
2007
Springer
15 years 10 months ago
Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
Uwe Keller
ECOWS
2006
Springer
15 years 8 months ago
Semantic Web Service Composition through a Matchmaking of Domain
The automated composition of Web services is one of the most promising ideas and at the same time one of the most challenging research area for the taking off of serviceoriented a...
Freddy Lécué, Alain Léger
WISE
2007
Springer
16 years 18 days ago
Goal-Based Visualization and Browsing for Semantic Web Services
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...
Michael Stollberg, Mick Kerrigan
IS
2006
15 years 6 months ago
Composition of Semantic Web services using Linear Logic theorem proving
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
Jinghai Rao, Peep Küngas, Mihhail Matskin
ESWS
2004
Springer
15 years 11 months ago
Approaches to Semantic Web Services: an Overview and Comparisons
The next Web generation promises to deliver Semantic Web Services (SWS); services that are self-described and amenable to automated discovery, composition and invocation. A prerequ...
Liliana Cabral, John Domingue, Enrico Motta, Terry...