Sciweavers

427 search results - page 13 / 86
» e-Service Composition by Description Logics Based Reasoning
Sort
View
LPAR
1999
Springer
15 years 8 months ago
Practical Reasoning for Expressive Description Logics
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...
Ian Horrocks, Ulrike Sattler, Stephan Tobies
WSC
2007
15 years 6 months ago
Exploiting web service techniques for composing simulation models
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...
Mathias Röhl, Florian Marquardt, Adelinde M. ...
JLP
2007
159views more  JLP 2007»
15 years 3 months ago
Reasoning about interaction protocols for customizing web service selection and composition
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
ESWS
2005
Springer
15 years 9 months ago
Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
191
Voted
DLOG
2011
14 years 7 months ago
On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling
Abstract. For a number of problems, such as ontology learning or image labeling, we need to handle uncertainty and inconsistencies in an appropriate way. Fuzzy and Probabilistic De...
Stefan Scheglmann, Carsten Saathoff, Steffen Staab