Publication:2782484
From MaRDI portal
zbMath1021.03007MaRDI QIDQ2782484
Luciano Serafini, Chiara Ghidini
Publication date: 5 August 2002
natural deduction; ontology; distributed reasoning; compatibility constraints; distributed knowledge representation; distributed first-order logic; multilanguage systems
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T30: Knowledge representation
Related Items
Embodied Context Semantics, Local Models Semantics, or contextual reasoning = locality + compatibility, Revision in networks of ontologies, Distributed first order logic, Formal and Conceptual Comparison of Ontology Mapping Languages, Composing Modular Ontologies with Distributed Description Logics