Composition of semantic web services in a constructive description logic

Authors:
Loris Bozzato;Mauro Ferrari
Affiliations:
Dipartimento di Informatica e Comunicazione, Università degli Studi dell'Insubria, Varese, Italy;Dipartimento di Informatica e Comunicazione, Università degli Studi dell'Insubria, Varese, Italy
Venue:
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Year:
2010

Citing 4
Cited 0

The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Bringing Semantics to Web Services with OWL-S

World Wide Web
$\boldsymbol {\cal BC\!D\!L}$: Basic Constructive Description Logic

Journal of Automated Reasoning
A decidable constructive description logic

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We formalize the problem of service composition in the framework of a constructive description logic. We propose a declarative service specification language and a calculus for service composition.