An epistemic operator for description logics
Artificial Intelligence
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Semantic web support for the business-to-business e-commerce lifecycle
Proceedings of the 11th international conference on World Wide Web
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A software framework for matchmaking based on semantic web technology
WWW '03 Proceedings of the 12th international conference on World Wide Web
The Description Logic Handbook
The Description Logic Handbook
Autoepistemic Description Logics
AI Communications
A System for Principled Matchmaking in an Electronic Marketplace
International Journal of Electronic Commerce
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
The web service modeling language WSML: an overview
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Automatic location of services
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Service Specification and Matchmaking Using Description Logic
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning
International Journal of Electronic Commerce
A Nonmonotonic Approach to Semantic Matchmaking and Request Refinement in E-Marketplaces
International Journal of Electronic Commerce
Web Semantics: Science, Services and Agents on the World Wide Web
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading
Declarative Agent Languages and Technologies VI
Semantic Service Discovery by Consistency-Based Matchmaking
APWeb/WAIM '09 Proceedings of the Joint International Conferences on Advances in Data and Web Management
Semantic matchmaking as non-monotonic reasoning: a description logic approach
Journal of Artificial Intelligence Research
Reasoning about Web Services with Local Closed World Assumption
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Towards tractable local closed world reasoning for the semantic web
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Conceptual modeling approaches for dynamic web service composition
The evolution of conceptual modeling
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
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
Ontology-based feature mapping and verification between CAD systems
Advanced Engineering Informatics
Hi-index | 0.00 |
Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the services explicitly, using semantic annotations. Such annotations can, for example, be used for service discovery—the task of locating a service capable of fulfilling a business request. In this paper, we present a framework for annotating Web Services using description logics (DLs), a family of knowledge representation formalisms widely used in the Semantic Web.We show how to realise service discovery by matching semantic service descriptions, applying DL inferencing. Building on our previous work, we identify problems that occur in the matchmaking process due to the open-world assumption when handling incomplete service descriptions. We propose to use autoepistemic extensions to DLs (ADLs) to overcome these problems. ADLs allow for non-monotonic reasoning and for querying DL knowledge bases under local closed-world assumption. We investigate the use of epistemic operators of ADLs in service descriptions, and show how they affect DL inferences in the context of semantic matchmaking.