Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Abstract:

I will present standard tableaux algorithms for satisfiability in ALC, a fragment of OWL, without and with background knowledge. The interest in this lies in the potential use of the tableaux algorithm for model finding within in ALC-based logical neural networks – a form of neural-symbolic integration.