324 search results - page 4 / 65 » Towards a Paradoxical Description Logic for the Semantic Web |
FUIN
2008
13 years 5 months ago
2008
SEMWEB
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we take a view from the bottom to RDF(S) reasoning. We discuss some issues and requirements on reasoning towards effectively building Semantic Web Pipes, aggregating...
STEP
2003
IEEE
13 years 10 months ago
2003
IEEE
Currently we are experiencing the emergence of the fourth generation of the World Wide Web which is geared towards service and data provision using semantic and ontological inform...
IEEEHPCS
2010
13 years 3 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
SEMWEB
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...