1184 search results - page 141 / 237 » Description Logics for the Semantic Web |
174
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This paper presents a design methodology that deals with the presentation aspects involved in the development of a Semantic Web Information System. The methodology is driven by tw...
153
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
152
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
The integration of heterogenous data sources is a crucial step for the upcoming semantic web – if existing information is not integrated, where will the data come from that the s...
160
click to vote
ESWS
2007
Springer
16 years 16 days ago
2007
Springer
This paper provides an overview of the Web Mashup Scripting Language (WMSL) and discusses the WMSL-Profile. It specifies the HTML encoding that is used to import Web Service Descri...
199
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...