The design of relational databases
The design of relational databases
Identifying the Minimal Transversals of a Hypergraph and Related Problems
SIAM Journal on Computing
On the complexity of dualization of monotone disjunctive normal forms
Journal of Algorithms
Rewriting queries using views in description logics
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reasoning in description logics
Principles of knowledge representation
Dynamic and adaptive composition of e-services
Information Systems - The 12th international conference on advanced information systems engineering (CAiSE 00)
IEEE Intelligent Systems
The semantic web: yet another hip?
Data & Knowledge Engineering - DKE 40
DAML+OIL: A Reason-able Web Ontology Language
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Computing Least Common Subsumers in Description Logics with Existential Restrictions
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Semantic Web Enabled Web Services
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Discovering Services: Towards High-Precision Service Retrieval
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
Reviewing the design of DAML+OIL: an ontology language for the semantic web
Eighteenth national conference on Artificial intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Structural Subsumption for cal ALN
Structural Subsumption for cal ALN
Interactive exploration and discovery of e-government services
dg.o '07 Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains
WS-CatalogNet: an infrastructure for creating, peering, and querying e-catalog communities
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Automatic annotation of Web services based on workflow definitions
ACM Transactions on the Web (TWEB)
Correctness-aware high-level functional matching approaches for semantic Web services
ACM Transactions on the Web (TWEB)
Using case-based reasoning for improving precision and recall in web services selection
International Journal of Web and Grid Services
NBDT: an efficient P2P indexing scheme for web service discovery
International Journal of Web Engineering and Technology
A framework for web service discovery: service's reuse, quality, evolution and user's data handling
Proceedings of the 2nd SIGMOD PhD workshop on Innovative database research
Two-Phase Web Service Discovery Based on Rich Functional Descriptions
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Semantic Composition of Lecture Subparts for a Personalized e-Learning
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Discovering Service Compositions That Feature a Desired Behaviour
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Flexible provisioning of web service workflows
ACM Transactions on Internet Technology (TOIT)
A Flexible Model for Locating Services on the Web
International Journal of Electronic Commerce
Variability-Driven Selection of Services for Service Compositions
Service-Oriented Computing - ICSOC 2007 Workshops
Web services provision: solutions, challenges and opportunities (invited paper)
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
Dynamic Web Service discovery architecture based on a novel peer based overlay network
Journal of Systems and Software
A dual-layered model for web services representation and composition
Journal of Intelligent Information Systems
Web service clustering using multidimensional angles as proximity measures
ACM Transactions on Internet Technology (TOIT)
A formal model for Web service composition
Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
SOAF --- Design and Implementation of a Service-Enriched Social Network
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
A tableaux-based method for computing least common subsumers for expressive description logics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Deriving similarity graphs from open linked data on semantic web
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
On embedding task memory in services composition frameworks
ICWE'07 Proceedings of the 7th international conference on Web engineering
SAM: a semantic web service discovery system
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part III
Web service composition: a reality check
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
Web service search: who, when, what, and how
WISE'07 Proceedings of the 2007 international conference on Web information systems engineering
Web service composition based on message schema analysis
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
On the aggregation problem for synthesized web services
Proceedings of the 13th International Conference on Database Theory
Service matchmaking revisited: An approach based on model checking
Web Semantics: Science, Services and Agents on the World Wide Web
Facilitating enterprise service discovery for non-technical business users
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Automatic Web service composition based on Horn clauses and Petri nets
Expert Systems with Applications: An International Journal
Using a semantically enhanced database for business service and process modelling and integration
International Journal of Intelligent Information and Database Systems
Agent-based semantic composition of web services using distributed description logics
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
On the computational complexity of behavioral description-based web service composition
Theoretical Computer Science
Towards Semantics-Based Instantiation of Services
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
On identifying knowledge processing requirements
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Towards scalability of reputation and QoS based web services discovery using agents and ontologies
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Semantic operation composition according to user tasks in ubiquitous environment
Proceedings of the 4th International Conference on Uniquitous Information Management and Communication
A formal model for semantic web service composition
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Searching and selecting web services using case based reasoning
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV
Service matchmaking based on semantics and interface dependencies
WAIM '06 Proceedings of the 7th international conference on Advances in Web-Age Information Management
Towards practical semantic web service discovery
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
WTCluster: utilizing tags for web services clustering
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Bootstrapping domain ontology for semantic web services from source web sites
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
Self-adaptive semantic web service matching method
Knowledge-Based Systems
A Survey of Web Services Provision
International Journal of Systems and Service-Oriented Engineering
Efficient anytime algorithm for large-scale QoS-aware web service composition
International Journal of Web and Grid Services
KES'12 Proceedings of the 16th international conference on Knowledge Engineering, Machine Learning and Lattice Computing with Applications
On the aggregation problem for synthesized Web services
Journal of Computer and System Sciences
Quality of service ontology languages for web services discovery: an overview and limitations
HCI International'13 Proceedings of the 15th international conference on Human Interface and the Management of Information: information and interaction design - Volume Part I
Scalable discovery of Linked APIs
International Journal of Metadata, Semantics and Ontologies
Form-Based Web Service Composition for Domain Experts
ACM Transactions on the Web (TWEB)
Recomposing an ontological representation of services to reduce its size
International Journal of Knowledge-based and Intelligent Engineering Systems - Selected papers of KES2012-Part 1 of 2
Service net algebra based on logic Petri nets
Information Sciences: an International Journal
Hi-index | 0.00 |
One of the challenging problems that Web service technology faces is the ability to effectively discover services based on their capabilities. We present an approach to tackling this problem in the context of description logics (DLs). We formalize service discovery as a new instance of the problem of rewriting concepts using terminologies. We call this new instance the best covering problem. We provide a formalization of the best covering problem in the framework of DL-based ontologies and propose a hypergraph-based algorithm to effectively compute best covers of a given request. We propose a novel matchmaking algorithm that takes as input a service request (or query) Q and an ontology $\mathcal{T}$ of services and finds a set of services called a “best cover” of Q whose descriptions contain as much common information with Q as possible and as little extra information with respect to Q as possible. We have implemented the proposed discovery technique and used the developed prototype in the context of the Multilingual Knowledge Based European Electronic Marketplace (MKBEEM) project.