4212 search results - page 565 / 843 » Rights Expression Languages |
197
click to vote
ISPA
2005
Springer
16 years 3 days 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 ...
134
click to vote
SEMWEB
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
158
click to vote
TGC
2005
Springer
16 years 2 days ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
149
click to vote
TLCA
2005
Springer
16 years 2 days ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
152
click to vote
WEBDB
2005
Springer
16 years 2 days ago
2005
Springer
Semantic mapping is one of the important components underlying the data sharing systems. As is known, constructing and maintaining such mappings both are necessary yet extremely h...