2005 Context and Ontologies: Contextual Indexing of Ontological Expressions (2005)
| Venue: | Submission to Context and Ontologies Workshop, AAAI 2005 |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Obrst052005context,
author = {Leo Obrst and Deborah Nichols},
title = {2005 Context and Ontologies: Contextual Indexing of Ontological Expressions},
booktitle = {Submission to Context and Ontologies Workshop, AAAI 2005},
year = {2005}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper discusses aspects of context as applied to ontologies. In particular, we note some formalizations of context that have been applied to ontologies such as Menzel (1999) and Akman & Surov (1996, 1997), that have largely been framed in terms of theories such as Situation Theory (Barwise & Perry, 1983) which originated in natural language semantics. We also mention the notion of labeled deduction (Gabbay, 1996) and speculate on its prospective use in the contextualizing of ontologies. The latter can be viewed as a mechanism for annotating ontological assertions and proofs with contextual information about provenance, security, strength/confidence of assertion, and aspects of policy. Labeled deduction correlates one or more logics, with one logic addressing the primary assertion or
