Back to Search Start Over

Towards Implementing Finite Model Reasoning in Description Logics

Authors :
Cadoli, Marco
Calvanese, D.
DE GIACOMO, Giuseppe
Publication Year :
2004

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.od......3686..f62089cf678504f7bac6ba33c95870dd

Tools

Authors Abstract Subjects Details