A SAT-based algorithm for context matching

DOI10.1007/3-540-44958-2_6MaRDI QIDQ3550854zbMATH OpenOpenAlexFDO

Authors Paolo Bouquet, Bernardo Magnini, Luciano Serafini, Stefano Zanobini

Publication date 6 April 2010

Published in Modeling and Using Context (Search for Journal in Brave)

Full work available at URL http://eprints.biblio.unitn.it/350/1/005.pdf

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Semantic Matching: Algorithms and Implementation
• An algebraic framework for schema matching
• scientific article; zbMATH DE number 1952108
• Matching in description logics
• Ontology Matching

Cited in

(2)

• Semantic Matching: Algorithms and Implementation
• Algorithms for rule generation and matchmaking in context-aware systems

This page was built for publication: A SAT-based algorithm for context matching

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3550854)