Foundations of Information and Knowledge Systems

DOI10.1007/11663881zbMath1177.68179OpenAlexW4212786759MaRDI QIDQ5898545

Andrei Voronkov, Ian Horrocks

Publication date: 12 February 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11663881

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (2)

On the Saturation of YAGO ⋮ Flat matching

Uses Software

• OilEd
• OTTER
• VAMPIRE
• TPTP
• Mace4
• Racer
• TeMP
• Protege

This page was built for publication: Foundations of Information and Knowledge Systems