116 search results - page 14 / 24 » Intensional Formalization of Conceptual Structures |
SSD
1999
Springer
14 years 2 months ago
1999
Springer
This work is a contribution to the developing literature on multi-resolution data models. It considers operations for model-oriented generalization in the case where the underlying...
ESWS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Social bookmark tools are rapidly emerging on the Web. In such systems users are setting up lightweight conceptual structures called folksonomies. The reason for their im...
APLAS
2006
ACM
14 years 3 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
ESWS
2007
Springer
14 years 4 months ago
2007
Springer
The Semantic Web seems to be evolving into a property-linked web of RDF data, conceptually divorced from (but physically housed in) the hyperlinked web of HTML documents. We discus...
CIKM
2007
Springer
14 years 4 months ago
2007
Springer
The rapid growth of available data arises the need for more sophisticated techniques for semantic access to information. It has been proved that using conceptual model or ontology...