Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

DLOG
2003

favoriteEmaildiscussreport

101views Automated Reasoning» more DLOG 2003»

e-Service Composition by Description Logics Based Reasoning

13 years 6 months ago

e-Service Composition by Description Logics Based Reasoning

Download sunsite.informatik.rwth-aachen.de

Daniela Berardi, Diego Calvanese, Giuseppe De Giac

Real-time Traffic

Automated Reasoning | DLOG 2003 |

claim paper

Related Content

» A Lightweight ModelDriven Orchestration Engine for eServices

» A grammar for hierarchical object descriptions in logic programs

» Using Description Logics in Relation Based Access Control

» Mapping Data to HigherOrder Description Logic Knowledge Bases

» Introducing Compositionality in Web Service Descriptions

» A Technique for Handling the Right Hand Side of Complex RIAs

» A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description LogicBase...

» A Reasoning Framework for RuleBased WSML

» Binary Absorption in TableauxBased Reasoning for Description Logics

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2003
Where	DLOG
Authors	Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella

Comments (0)