Sciweavers

423 search results - page 24 / 85
» Service Specification and Matchmaking Using Description Logi...
Sort
View
ECAI
2010
Springer
13 years 8 months ago
Parallel TBox Classification in Description Logics - First Experimental Results
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
Mina Aslani, Volker Haarslev
SEBD
2007
101views Database» more  SEBD 2007»
13 years 9 months ago
Service Matching and Discovery in P2P Semantic Community
Abstract. Recently, more and more web services are being made available and their use can potentially highly increase cooperation in P2P systems, where different partners intend t...
Devis Bianchini, Valeria De Antonellis, Michele Me...
DALT
2009
Springer
13 years 11 months ago
Computing Utility from Weighted Description Logic Preference Formulas
We propose a framework to compute the utility of a proposal w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formulas ...
Azzurra Ragone, Tommaso Di Noia, Francesco M. Doni...
GECON
2009
Springer
125views Business» more  GECON 2009»
14 years 8 days ago
Message Protocols for Provisioning and Usage of Computing Services
Abstract. The commercial availability of computational resources enable consumers to scale their applications on-demand. However, it is necessary for both consumers and providers o...
Nikolay Borissov, Simon Caton, Omer F. Rana, Aharo...
FLAIRS
2006
13 years 9 months ago
Uncertainty Reasoning in Description Logics: A Generic Approach
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri