Towards Consistency Checking over Evolving Ontologies.

Jiewen Wu Freddy Lécué

Published in: CIKM (2014)

Keyphrases

consistency checking
stochastic search
query answering
temporal constraints
semantic web
domain specific
domain ontology
semantic web technologies
knowledge base
constraint satisfaction problems
temporal reasoning
np hard
knowledge representation
databases
case study
semi automatic