There are two different approaches to meaning formalization: one logical, another cognitive. The logical approach, going back to Frege and developed and explicitly applied to natural language semantics by Montague, is characterized by establishing semantics from primitive semantic structures of sentential type. This approach is most consistently represented by type logical grammars (see collect...

By capturing common structures of successful arguments, safety case patterns provide an approach for reusing strategies for reasoning about safety. In the current state of the practice, patterns exist as descriptive specifications with informal semantics, which not only offer little opportunity for more sophisticated usage such as automated instantiation, composition and manipulation, but also ...

In two previous papers we have investigates the problem of computing the least common subsumer (lcs) and the most specific concept (msc) for the description logic EL in the presence of terminological cycles that are interpreted with descriptive semantics, which is the usual first-order semantics for description logics. In this setting, neither the lcs nor the msc needs to exist. We were able to...

In this paper, we present the tools standardized by MPEG-7 for describing the semantics of multimedia. In particular, we focus on the Abstraction Model, entities, attributes and relations of MPEG-7 semantic descriptions. MPEG-7 tools can describe the semantics of specific instances of multimedia such as one image or one video segment but can also generalize these descriptions either to multiple...

Sadler and Nordlinger (2001) provides a descriptive overview of the phenomenon of independent nominal tense, whereby tense marking on a nominal temporally situates the nominal itself, independent of the tense of the proposition. In this paper we build on this descriptive work by exploring the lines along which an lfg analysis might be developed of the syntax and semantics of different types of ...

This paper presents a novel semantic regularized matrix factorization method for learning descriptive visual bag-of-words (BOW) representation. Although very influential in image classification, the traditional visual BOW representation has one distinct drawback. That is, for efficiency purposes, this visual representation is often generated by directly clustering the low-level visual feature v...