1791 search results - page 41 / 359 » Semantics and Complexity of SPARQL |
TYPES
1993
Springer
15 years 4 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
108
click to vote
ECBS
2000
IEEE
15 years 4 months ago
2000
IEEE
The integration of software tools used in an engineering process is a problem that arises frequently in large-scale engineering projects. Traditional approaches are insufficient f...
OTM
2005
Springer
15 years 5 months ago
2005
Springer
UDDI is not suitable for handling semantic markups for Web services due to its flat data model and limited search capabilities. In this paper, we introduce an approach to allow for...
AO
2008
15 years 11 hour ago
2008
Abstract. We address what is still a scarcity of general mathematical foundations for ontology-based semantic integration underlying current knowledge engineering methodologies in ...
113
click to vote
DLOG
2008
15 years 2 months ago
2008
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...