539 search results - page 54 / 108 » The Semantic Gap of Formalized Meaning |
IS
2006
14 years 11 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 ...
CORR
2002
Springer
14 years 11 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...
NMR
2004
Springer
15 years 5 months 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...
105
click to vote
ISPA
2005
Springer
15 years 5 months 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 ...
101
click to vote
COOPIS
2003
IEEE
15 years 5 months 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 ...