ALCRA - ALC with Role Axioms.

Michael Wessel Volker Haarslev Ralf Möller

Published in: Description Logics (2000)

Keyphrases

description logics
knowledge base
first order logic
databases
database
learning algorithm
artificial intelligence
expert systems
user interface
logic programs