421 search results - page 32 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
121
click to vote
ADBIS
2006
Springer
15 years 2 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
115
Voted
DLOG
2008
15 years 1 months ago
2008
Abstract. Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extension...
RR
2007
Springer
15 years 5 months ago
2007
Springer
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
128
click to vote
CL
2000
Springer
15 years 3 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
124
click to vote
RR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This essay describes fuzzy CARIN, a knowledge representation language combining fuzzy description logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy l...