From Description Logic Provers to Knowledge Representation Systems - researchr publication

researchr

You are not signed in
Sign in
Sign up

Deborah L. McGuinness, Peter F. Patel-Schneider. From Description Logic Provers to Knowledge Representation Systems. In Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications. pages 265-281, Cambridge University Press, 2003.

Abstract is missing.

runs on WebDSL