539 search results - page 54 / 108 » The Semantic Gap of Formalized Meaning |
179
Voted
IS
2006
15 years 6 months ago
2006
The Semantic Web is being designed to enable automated reasoners to be used as core components in a wide variety of Web applications and services. In order for a client to accept ...
196
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
192
click to vote
NMR
2004
Springer
16 years 3 days ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
199
click to vote
ISPA
2005
Springer
16 years 8 days ago
2005
Springer
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...
183
click to vote
COOPIS
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient ...