We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
In this paper, author proposes a solution to make URI Resolver class available in different programming languages. The Semantic Resolver derived from a corresponding .NET or Java ...
The most important recent development in Grid systems is the adoption of the Web services model as a basic architecture for Grid services. The result is called the Open Grid Servi...
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...
The vision of Semantic Web services promises a network of interoperable Web services over different sources. A major challenge to the realization of this vision is the lack of aut...
Wensheng Wu, AnHai Doan, Clement T. Yu, Weiyi Meng