Description logics for matchmaking of services

Published 1 January 2001

Javier González-Castillo, David Trastour, Claudio Bartolini

Citations155

TL;DR

This paper describes the experience in building a matchmaking prototype, based on a Description Logic (DL) reasoner, operating on service descriptions in DAML+OIL, and reports on the investigation and experience on existing DL reasoners, in particular assessing RACER and FACT.

Abstract

Matchmaking is an important aspect of E-Commerce interactions. The current trend in B2B E-Commerce automation is towards complex interactions for service provision. In this context, matchmaking services require rich and flexible metadata as well as matching algorithms. The Semantic Web initiative at W3C is gaining momentum and generating suitable technologies and tools to cover both the metadata and the algorithmic aspects. In this paper we describe our experience in building a matchmaking prototype. We chose to base our prototype on a Description Logic (DL) reasoner, operating on service descriptions in DAML+OIL. We report on our investigation of DAML+OIL to express service descriptions and on our experience on existing DL reasoners, in particular assessing RACER and FACT.

Keywords

Computer ScienceBusiness, Management and Accounting

DAML-S: semantic markup for web services

2,411 Citations2001Anupriya Ankolekar, Mark Burstein +9 more

The overall structure of the ontology, the service profile for advertising services, and the process model for the detailed description of the operation of services are described, which compare DAML-S with several industry efforts to define standards for characterizing services on the Web.

ACM SIGKDD Explorations NewsletterResource description framework

1,073 Citations2001K. Selçuk Candan, Huan Liu +1 more

This survey aims at providing a glimpse at the past, present, and future of this upcoming technology and highlights why it is expected that knowledge discovery and data mining can benefit from RDF and the Semantic Web.

Lecture notes in computer scienceRACER System Description

903 Citations2001Volker Haarslev, Ralf Möller

RACER implements a TBox and ABox reasoner for the logic SHIQ, the first full-fledged ABox description logic system for a very expressive logic and is based on optimized sound and complete algorithms.

Lecture notes in computer sciencePractical Reasoning for Expressive Description Logics

534 Citations1999Ian Horrocks, Ulrike Sattler +1 more

An algorithm is presented that decides satisfiability of the DL ACC extended with transitive eind inverse roles, role hierarchies, and quaJifying number restrictions, and early experiments indicate that this algorithm is well-suited for implementation.

The ICS-FORTH RDFsuite: managing voluminous RDF description bases

239 Citations2001Sofia Alexaki, Vassilis Christophides +3 more

This paper advocate the use of database technology to support declarative access, as well as, logical and physical independence for voluminous RDF description bases, and presents RDFSuite, a suite of tools for RDF validation, storage and querying.

A semantic web approach to service description for matchmaking of services

175 Citations2001David Trastour, Claudio Bartolini +1 more

Lecture notes in computer scienceA concept language extended with different kinds of transitive roles

88 Citations1996Ulrike Sattler

Insight is given into the diverse alternatives for the representation of transitive relations such as part-whole relations, family relations or partial orders in general in terminological knowledge representation systems.

RACE User's Guide and Reference Manual Version 1.1

78 Citations1999Volker Haarslev, Moeller Ralf +1 more

The RACE system is a knowledge representation system that implements a highly optimized tableaux calculus for an expressive description logic that offers reasoning services for multiple TBoxes and for multiple ABoxes as well.

Computer NetworksDynamic service aggregation in electronic marketplaces

60 Citations2001Giacomo Piccinelli, Giuliano Di Vitantonio +1 more

The concept of e-services as electronic virtualisation of standard business services is introduced and DySCo (Dynamic Service Composer), which includes a model and a reference infrastructure for e-service management and composition, is presented.

A Framework for Automated Negotiation

21 Citations2001Claudio Bartolini, Chris Preist

The interest in automated negotiation and to the production of enabling software infrastructure has soared with the increasing importance of business-to-business electronic trading.