Login / Signup
Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results.
Jocelyne Faddoul
Volker Haarslev
Published in:
Description Logics (2010)
Keyphrases
</>
description logics
machine learning
knowledge base
real world
domain knowledge
experimental data
neural network
decision trees
expert systems
higher order
meta level