In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
We review the many different definitions of symmetry for constraint satisfaction problems (CSPs) that have appeared in the literature, and show that a symmetry can be defined in tw...
David A. Cohen, Peter Jeavons, Christopher Jeffers...
Ontology modeling requires modeling languages expressive enough to represent various definition types. A definition type which seems to be of particular significance is that provid...
Let Sn be the group of permutations of [n] = {1, . . . , n}. The Bruhat order on Sn is a partial order relation, for which there are several equivalent definitions. Three well-kno...
In this paper, we discuss long-term digital preservation from an information perspective, rather than the predominant approaches; the Archival and the Technocratic Approach. Inform...