``Reducing classic to practice: Knowledge representation theory meets reality

DOI10.1016/S0004-3702(99)00078-8MaRDI QIDQ1978452zbMATHOpenAlexFDO

Authors R. J. Brachman, D. L. McGuinness, A. Borgida, Peter F. Patel-Schneider

Publication date 4 June 2000

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0004-3702(99)00078-8

zbMATH Keywords

description logicsknowledge representationtechnology transferAI applicationscLASSICKL-one

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites work

• scientific article; zbMATH DE number 4166932 (Why is no real title available?)
• scientific article; zbMATH DE number 67502 (Why is no real title available?)
• scientific article; zbMATH DE number 1315582 (Why is no real title available?)
• scientific article; zbMATH DE number 1149436 (Why is no real title available?)
• An epistemic operator for description logics
• Matching in description logics
• Terminological reasoning is inherently intractable
• ``Reducing classic to practice: Knowledge representation theory meets reality

Cited in

(7)

• The KL-ONE family
• An alternative proof method for possibilistic logic and its application to terminological logics
• Sound and efficient closed-world reasoning for planning
• Reductions and saturation reductions of (abstract) knowledge bases
• ``Reducing classic to practice: Knowledge representation theory meets reality
• Tractable reasoning via approximation
• The complexity of concept languages

This page was built for publication: ``Reducing classic to practice: Knowledge representation theory meets reality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1978452)