Searching for "Mona as a DL Reasoner." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

unknown title
by Mona Dl, Reasoner Eldar Karabaev, Carsten Lutz, Computer Science
… Mona as a DL Reasoner Eldar Karabaev and Carsten Lutz Institute for Theoretical Computer Science…
Add To MetaCart

Also electronically available as CEUR Publication at
by Volker Haarslev, Ralf Möller, Volker Haarslev, Ralf Möller, Carlos Areces, Diego Calvanese, Enrico Franconi, Volker Haarslev, Ian Horrocks, Ralf Küsters, Carsten Lutz, Deborah L. Mcguinness, Ralf Möller, Peter Patel-schneider — 2004
… Mona as a DL Reasoner…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB