Local models semantics, or contextual reasoning = locality + compatibility (2001)

Cached

Download Links

by Chiara Ghidini , Fausto Giunchiglia
Venue:Artificial Intelligence
Citations:186 - 24 self

Documents Related by Co-Citation

348 Notes On Formalizing Context – John McCarthy - 1993
59 Distributed First Order Logics – C. Ghidini, L. Serafini - 1998
194 C-OWL: Contextualizing Ontologies – Paolo Bouquet, Luciano Serafini, Heiner Stuckenschmidt, et al. - 2003
113 Distributed Description Logics: Assimilating Information from Peer Sources – Alex Borgida, Luciano Serafini - 2003
41 Partitioned Representations – J Dinsmore - 1991
45 Enabling Distributed Knowledge Management: Managerial and Technological Implications – Matteo Bonifacio, Paolo Bouquet, Paolo Traverso - 2002
411 Sorting Things Out: Classification and Its Consequences – Geoffrey C Bowker, Susan L Star - 1999
43 Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources – Alex Borgida, Luciano Serafini - 2002
178 Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics) – Fausto Giunchiglia, Luciano Serafini - 1994
191 Contexts: a formalization and some applications – Ramanathan V Guha - 1992
50 Working with multiple ontologies on the semantic web – Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin - 2004
95 E-connections of abstract description systems – Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
163 Mental Spaces: Aspects of Meaning Construction in Natural Language – Gilles Fauconnier - 1994
9 Contesti e ragionamento contestuale. Il ruolo del contesto in una teoria della rappresentazione della conoscenza. Pantograph – P Bouquet - 1998
30 A Distributed Intelligence Paradigm for Knowledge Management – M. Bonifacio, P. Bouquet, A. Manzardo - 2000
423 Information integration using logical views – Jeffrey D. Ullman - 1997
145 On the Relative Expressiveness of Description Logics and Predicate Logics – Alex Borgida - 1996
2663 WordNet: An Electronic Lexical Database – Christiane Fellbaum, ed - 1998
275 Basic Description Logics – Franz Baader, Werner Nutt - 2003