From OntologPSMW
(Difference between revisions)
(→Abstract) |
(→Abstract) |
||
| Line 31: | Line 31: | ||
http://www.mitre.org/publications/technical-papers/context-and-ontologies-contextual-indexing-of-ontological-expressions. | http://www.mitre.org/publications/technical-papers/context-and-ontologies-contextual-indexing-of-ontological-expressions. | ||
| − | Blackburn, P. 2000. "Internalizing Labelled Deduction", Journal of Logic and Computation, 10: 137-168. Available at | + | Blackburn, P. 2000. "Internalizing Labelled Deduction", Journal of Logic and Computation, 10: 137-168. Available at http://hylo.loria.fr/content/papers/files/blackburn.Internalizing.pdf |
== Agenda == | == Agenda == | ||
Revision as of 11:25, 12 September 2017
| Session | Planning |
|---|---|
| Duration | 1.5 hour |
| Date/Time | Sep 13 2017 16:00 GMT |
| 9:00am PDT/12:00pm EDT | |
| 6:00pm CEST/5:00pm BST | |
| Convener | KenBaclawski |
Contents |
In this session, we cover the following papers:
(2A1)
"Contexts in Context" by Patrick J. Hayes
https://www.ihmc.us/users/phayes/Pub/ContextsInContext.pdf
(2A2)
Obrst, L, D. Nichols. 2005. Context and Ontologies: Contextual Indexing of
Ontological Expressions. AAAI 2005 Workshop on Context and Ontologies, poster,
AAAI 2005, July 9-13, Pittsburgh, PA.
http://www.mitre.org/publications/technical-papers/context-and-ontologies-contextual-indexing-of-ontological-expressions.
(2A3)
Blackburn, P. 2000. "Internalizing Labelled Deduction", Journal of Logic and Computation, 10: 137-168. Available at http://hylo.loria.fr/content/papers/files/blackburn.Internalizing.pdf
(2A4)
- Date: Wednesday, 13-September-2017 (2C1)
- Start Time: 9:00am PDT / 12:00pm EDT / 6:00pm CEST / 5:00pm BST / 1600 UTC (2C2)
- Expected Call Duration: ~1.5 hours (2C3)
- If you have not used BlueJeans before, then connect to the URL above before the meeting time so that the required plug-in can be installed. (2C4A)
- You can indicate that you want to ask a question verbally by clicking on the "hand" button, and wait for the moderator to call on you; or, type and send your question into the chat window at the bottom of the screen. (2C5B)
- This session, like all other Ontolog events, is open to the public. Information relating to this session is shared on this wiki page. (2C6)
- Please note that this session may be recorded, and if so, the audio archive is expected to be made available as open content, along with the proceedings of the call to our community membership and the public at-large under our prevailing open IPR policy. (2C7)
