Login / Signup
Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0.
Francis Gasse
Viorica Sofronie-Stokkermans
Published in:
Description Logics (2011)
Keyphrases
</>
description logics
knowledge base
fuzzy logic
reasoning tasks
information systems
decision making
information retrieval
genetic algorithm
np hard
knowledge representation