Sciweavers

1568 search results - page 166 / 314
» Fusions of Description Logics
Sort
View
PERCOM
2006
ACM
15 years 9 months ago
Pushing Doors for Modeling Contexts with OWL DL a Case Study
In this paper we present an integrated view for modeling and reasoning for context applications using OWL DL. In our case study, we describe a task driven approach to model typica...
Anni-Yasmin Turhan, Thomas Springer, Michael Berge...
ICLP
2007
Springer
15 years 4 months ago
Multivalued Action Languages with Constraints in CLP(FD)
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
KR
2004
Springer
15 years 3 months ago
Complex Preferences for Answer Set Optimization
The main contribution of this paper is the definition of the preference description language  ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...
Gerhard Brewka
WICSA
2004
14 years 11 months ago
An Externalized Infrastructure for Self-Healing Systems
Software architecture descriptions can play a wide variety of roles in the software lifecycle, from requirements specification, to logical design, to implementation architectures....
David S. Wile, Alexander Egyed
SAC
2006
ACM
14 years 10 months ago
Hybrid ontology-based matchmaking for service discovery
The paper presents an ontology-based approach to service discovery, apt to support flexible and efficient matchmaking between service descriptions. We propose a hybrid approach th...
Devis Bianchini, Valeria De Antonellis, Michele Me...