Using Tableau to Decide Expressive Description Logics with Role Negation.

Renate A. Schmidt Dmitry Tishkovsky

Published in: ISWC/ASWC (2007)

Keyphrases

expressive description logics
description logics
exptime complete
semantic web
logic programs
regular path queries
knowledge base
databases
machine learning
knowledge representation
domain specific
logic programming
deductive databases
reasoning systems
ontology languages
model theoretic