2570 search results - page 370 / 514 » The Semantic Web And Its Languages |
219
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
168
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Web searches tend to be short and ambiguous. It is therefore not surprising that Web query disambiguation is an actively researched topic. To provide a personalized experience for ...
205
click to vote
WIDM
1999
ACM
15 years 11 months ago
1999
ACM
Recent work on information integration has yielded novel and efficient solutions for gathering data from the World Wide Web. However, there has been little attention given to the ...
171
click to vote
QSIC
2005
IEEE
16 years 13 days ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
206
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...