137 search results - page 2 / 28 » Proofnets and Context Semantics for the Additives |
DLOG
2011
13 years 2 months ago
2011
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
CG
2007
Springer
13 years 11 months ago
2007
Springer
We propose a novel method to support analytical processes by visually integrating context information directly into web pages. The context information is obtained from knowledge b...
SEMWIKI
2008
14 years 8 days ago
2008
Abstract. For document-centric work, meta-information in form of annotations has proven useful to enhance search and other retrieval tasks. Since creating annotations manually is a...
KCAP
2009
ACM
14 years 5 months ago
2009
ACM
In this paper we give an overview of a multiontology disambiguation method, targeted to discover the intended meaning of words in unstructured web contexts. It receives an ambiguo...
CALCO
2005
Springer
14 years 4 months ago
2005
Springer
In this paper we identify context-free grammars as coalgebras. To obtain the associated context-free languages (consisting of only finite-length strings) we introduce a general a...