438 search results - page 26 / 88 » Representing Contextualized Data using Semantic Web Tools |
127
click to vote
JUCS
2006
15 years 4 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
136
click to vote
KES
2008
Springer
15 years 4 months ago
2008
Springer
A great deal of work has been carried out in recent years to facilitate access to data and information available on the Web. Proposals converge in two additional areas which consis...
147
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
The semantic web represents meta-data as a relation of triples using the RDF data model. We have developed a virtual repository system that enables to process queries to RDF views...
109
click to vote
EXTREME
2004
ACM
15 years 9 months ago
2004
ACM
It’s hard to argue against the concepts of self-describing data, contextual interfaces, and richer metadata for content that eventually will make up the Semantic Web. The need i...
221
click to vote
DOCENG
2011
ACM
14 years 4 months ago
2011
ACM
A use case involving integrating results from search engines illustrates how the meta-metadata language facilitates interoperable metadata semantics. Formal semantics can be hard ...