Reasoning Support for Mapping Revision

DOI10.1093/logcom/exn047zbMath1194.68227OpenAlexW2148216955MaRDI QIDQ3184237

Andrei Tamilin, Heiner Stuckenschmidt, Christian Meilicke

Publication date: 14 October 2009

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn047

zbMATH Keywords

ontologiesontology mappingsdistributed description logicsmapping revision

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

Distributed first order logic ⋮ Revision in networks of ontologies ⋮ Reasoning with Uncertain and Inconsistent OWL Ontologies