Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes

DOI10.1007/978-3-642-40537-2_13zbMath1401.68315arXiv1405.1192OpenAlexW1662583753MaRDI QIDQ2851940

Claudia Schon, Ulrich Furbach

Publication date: 4 October 2013

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

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

Mathematics Subject Classification ID

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

Related Items (1)

On First-Order Model-Based Reasoning

Uses Software

• E-KRHyper

This page was built for publication: Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes