Semantic Web technologies are bring increasingly employed to solve knowledge management issues in traditional Web technologies. This paper follows that trend and proposes using Se...
Brian Shields, Owen Molloy, Gerard Lyons, Jim Dugg...
Although a wide range of medical ontologies has already been deployed in the last decade, most of them follow design principles different to those required by Semantic Web applica...
Elena Paslaru Bontas, David Schlangen, Sonja Niepa...
In this paper we describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug [1]. W...
This paper describes a method to enhance the performance ofa unification-style bottom-up chart parser by means oftop-down filtering techniques. The filter developed consists of a s...
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...