Extending Description Logic for Reasoning about Ontology Evolution.

Chuming Chen Manton M. Matthews

Published in: Web Intelligence (2007)

Keyphrases

description logics
ontology evolution
reasoning problems
semantic web
knowledge base
knowledge representation
user involvement
reasoning tasks
computational properties
ontology languages
belief change
modal operators
dl lite
model theoretic
semantic web technologies
decision procedures
expert systems