A Refinement Operator for Description Logics.

Liviu Badea Shan-Hwei Nienhuys-Cheng

Published in: ILP (2000)

Keyphrases

refinement operators
description logics
knowledge base
knowledge representation
semantic web
dl lite
information extraction
inductive logic programming
number restrictions
knowledge representation languages
computing least common subsumers
learning algorithm
data management
logic programs