Sciweavers

1435 search results - page 178 / 287
» Description Logics
Sort
View
122
Voted
ADC
2004
Springer
90views Database» more  ADC 2004»
15 years 9 months ago
Representing and Reasoning on XForms Document
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...
Peng Yew Cheow, Guido Governatori
134
Voted
AGENTS
2001
Springer
15 years 8 months ago
PHOSPHORUS: a task-based agent matchmaker
PHOSPHORUS is an agent matchmaking service that exploits domain ontologies, description logic, and a highly declarative language to reason about task-related agent capabilities. P...
Yolanda Gil, Surya Ramachandran
127
Voted
AI
2000
Springer
15 years 8 months ago
On the Integration of Recursive ALN-Theories
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
Aida Vitória, Margarida Mamede
ECAI
2000
Springer
15 years 8 months ago
Explaining ALC Subsumption
Knowledge representation systems, including ones based on Description Logics (DLs), use explanation facilities to, among others, debug knowledge bases. Until now, such facilities w...
Alexander Borgida, Enrico Franconi, Ian Horrocks
ECOOPW
2000
Springer
15 years 7 months ago
Objects and Classification
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...
Marianne Huchard, Robert Godin, Amedeo Napoli