Semantically Guided Evolution of ABoxes.

Ulrich Furbach Claudia Schon

Published in: TABLEAUX (2013)

Keyphrases

description logics
dl lite
knowledge base
reasoning tasks
classical logic
database systems
knowledge representation
natural language
semantic information
xml documents
special case
expressive power
computational properties
expressive description logics