Adding and removing links carries great rhetorical weight. Modern hypertext tools often treat links as metadata and use metadata to provide navigational access. To view links or m...
Abstract. We discuss how ontologies can be used to facilitate the construction of transformations between XML documents. We introduced a method to compose transformations for XML d...
Johann Eder, Christian Koncilia, Marek Lehmann, Ho...
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...