Tableau-based revision for expressive description logics with individuals.

Thinh Dong Chan Le Duc Myriam Lamolle

Published in: J. Web Semant. (2017)

Keyphrases

expressive description logics
description logics
knowledge base
exptime complete
knowledge representation
semantic web
owl dl
belief revision
belief change
reasoning systems
ontology languages
expert systems
data types
owl ontologies
model theoretic