Automatic white-box testing of first-order logic ontologies

DOI10.1093/LOGCOM/EXZ001zbMath1442.68225arXiv1705.10219OpenAlexW2963139092WikidataQ128467466 ScholiaQ128467466MaRDI QIDQ5213392

Paqui Lucio, German Rigau, Montserrat Hermo, Javier Álvez

Publication date: 3 February 2020

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

Full work available at URL: https://arxiv.org/abs/1705.10219

zbMATH Keywords

first-order logicknowledge representationautomated theorem provingontologywhite-box testing

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in computer science (03B70) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Names are not just sound and smoke: word embeddings for axiom selection

Uses Software

• Adimen-SUMO

This page was built for publication: Automatic white-box testing of first-order logic ontologies