Embracing Change by Abstraction Materialization Maintenance for Large ABoxes.

Markus Brenner Birte Glimm

Published in: IJCAI (2018)

Keyphrases

description logics
incremental maintenance
classical logic
high level
materialized views
dl lite
knowledge representation
distributed databases
machine learning
database systems
relational databases
logic programming
computational properties
model theoretic
view maintenance
expressive description logics