2377 search results - page 349 / 476 » Hera: Development of Semantic Web Information Systems |
173
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
152
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
We describe an approach designed to reduce the costs of ontology development through the use of untrained, volunteer knowledge engineers. Results are provided from an experiment i...
176
click to vote
SWAP
2007
15 years 7 months ago
2007
Chronic heart failure is a severe clinical syndrome among the most remarkable for prevalence and morbidity in the developed western countries. The European STREP project HEARTFAID ...
171
click to vote
HICSS
2008
IEEE
16 years 13 days ago
2008
IEEE
Service Management controls how business services are developed and delivered to customers. Business services must be flexible negotiable between customer and provider. Temporal a...
177
click to vote
WCRE
2008
IEEE
16 years 11 days ago
2008
IEEE
High-level software artifacts, such as requirements, domain-specific requirements, and so on, are an important source of information that is often neglected during the reverse- an...