Tableau Systems for SHIO and SHIQ.

Jan Hladik Jörg Model

Published in: Description Logics (2004)

Keyphrases

description logics
information retrieval
artificial intelligence
case study
decision making
metadata
digital libraries
query language
distributed systems