MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Reasoning with Expressive Description Logics Theory and Practice." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Reasoning with Expressive Description Logics: Theory and Practice
by Ian Horrocks — 2002 — In: Andrei Voronkov, (ed) Proc. 18th Int. Conf. on Automated Deduction (CADE-18
…Reasoning with Expressive Description Logics: Theory and Practice Ian Horrocks Department…
Cited by 15 (1 self) – Add To MetaCart

Reasoning with Expressive DLs – p.1/39 Talk Outline
by Ian Horrocks
…Reasoning with Expressive Description Logics: Theory and Practice Ian Horrocks horrocks…
Add To MetaCart

Introduction to Description Logics Logical Foundations for the Semantic Web – p. 2/37 Talk Outline
by Ian Horrocks, Logical Foundations, Semantic Web
…Logical Foundations for the Semantic Web Reasoning with Expressive Description Logics: Theory…
Add To MetaCart

Talk Outline Introduction to Description Logics
by Ian Horrocks
…Logical Foundations for the Semantic Web Reasoning with Expressive Description Logics: Theory…
Add To MetaCart

Showing 1 through 4.

ATOM

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