Semantically Guided Evolution of SHI ABoxes.

Ulrich Furbach Claudia Schon

Published in: CoRR (2014)

Keyphrases

description logics
transitive closure of roles
knowledge base
classical logic
dl lite
knowledge representation
semantic information
artificial intelligence
query language
reasoning tasks
expressive description logics