Semantical considerations on nonmonotonic logic
Artificial Intelligence
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
Towards Service Description Logics
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
Autoepistemic Description Logics
AI Communications
Intersection-Based Matchmaking for Semantic Web Service Discovery
ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
A System for Principled Matchmaking in an Electronic Marketplace
International Journal of Electronic Commerce
A Software Framework for Matchmaking Based on Semantic Web Technology
International Journal of Electronic Commerce
Deciding semantic matching of stateless services
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Effective integration of declarative rules with external evaluations for semantic-web reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Matching semantic service descriptions with local closed-world reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Web Semantics: Science, Services and Agents on the World Wide Web
A Preferential Tableaux Calculus for Circumscriptive ${\mathcal ALCO}$
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Expert Systems with Applications: An International Journal
Reconciling description logics and rules
Journal of the ACM (JACM)
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
Editorial: Using OWL and SWRL to represent and reason with situation-based access control policies
Data & Knowledge Engineering
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Local closed world semantics: grounded circumscription for description logics
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Reasoning support for flexible task resourcing
Expert Systems with Applications: An International Journal
Local closed world semantics: grounded circumscription for OWL
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
A logical geo-ontology design pattern for quantifying over types
Proceedings of the 20th International Conference on Advances in Geographic Information Systems
Ontology-based feature mapping and verification between CAD systems
Advanced Engineering Informatics
| Hi-index | 0.00 |
Ontology languages like OWL allow for semantically rich annotation of resources (e.g., products advertised at on-line electronic marketplaces). The description logic (DL) formalism underlying OWL provides reasoning techniques that perform match-making on such annotations. This paper identifies peculiarities in the use of DL inferences for matchmaking that derive from OWL's open-world semantics, analyzes local closed-world reasoning for its applicability to matchmaking, and investigates the suitability of two nonmonotonic extensions to DL, autoepistemic DLs and DLs with circumscription, for local closed-world reasoning in the matchmaking context. An elaborate example of an electronic marketplace for PC product catalogs from the e-commerce domain demonstrates how these formalisms can be used to realize such scenarios.