Login / Signup
A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics.
Francesco M. Donini
Simona Colucci
Tommaso Di Noia
Eugenio Di Sciascio
Published in:
IJCAI (2009)
Keyphrases
</>
machine learning
databases
artificial intelligence
knowledge representation
data management
expressive description logics